Tag Info

first-order-logic Questions

33	8	Bartosz Bednarczyk 1,3201 gold badge12 silver badges17 bronze badges
15	4	Emil Jeřábek 16.9k3 gold badges60 silver badges89 bronze badges
9	1	Daniil Musatov 5463 silver badges11 bronze badges
7	1	Denis 8,59828 silver badges53 bronze badges
7	2	cody 13.7k1 gold badge47 silver badges99 bronze badges
6	2	Reijo Jaakkola 9383 silver badges12 bronze badges
6	1	Andreas Blass 1611 bronze badge
5	1	Jake 1,2045 silver badges21 bronze badges
4	1	HolKann 1411 bronze badge
4	2	Nicola Gigante 1,58810 silver badges20 bronze badges
4	1	Andrej Bauer 28.3k1 gold badge80 silver badges130 bronze badges
3	2	Noah Schweber 6485 silver badges11 bronze badges
3	1	Johnny 2015 bronze badges
3	1	Neel Krishnaswami 32.4k1 gold badge100 silver badges165 bronze badges
2	1	Avi Tal 1,5961 gold badge8 silver badges13 bronze badges
2	1	NietzscheanAI 7734 silver badges11 bronze badges
1	1	D.W. 11.7k2 gold badges34 silver badges77 bronze badges
1	1	Monty Thibault 112 bronze badges

28	11	SagarM 7063 silver badges8 bronze badges
18	2	Joey Eremondi 2,83015 silver badges29 bronze badges
12	1	Samuel Schlesinger 1,5728 silver badges20 bronze badges
11	1	user3483902 1,1816 silver badges13 bronze badges
10	3	Evan Aad 3541 silver badge6 bronze badges
9	1	Reijo Jaakkola 9383 silver badges12 bronze badges
9	5	Nicola Gigante 1,58810 silver badges20 bronze badges
7	1	Faustus 1935 bronze badges
4	1	embie27 411 bronze badge
3	1	Hao S 1861 silver badge7 bronze badges
3	1	StefanH 2,03713 silver badges21 bronze badges
2	1	Bartosz Bednarczyk 1,3201 gold badge12 silver badges17 bronze badges
2	2	Johnny 2015 bronze badges
1	1	jpt4 814 bronze badges
1	1	Geckabor 213 bronze badges