Voting by eliminating quantifiers (Q1037605): Difference between revisions

@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Q2783476
@@ Property / cites work: Q2783476 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of social choice and welfare. Vol. 1.
@@ Property / cites work: Handbook of social choice and welfare. Vol. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+The paradox of multiple elections
@@ Property / cites work: The paradox of multiple elections / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247261
@@ Property / cites work: Q4247261 / rank @@
+Normal rank
@@ Property / cites work @@
+The state of SAT
@@ Property / cites work: The state of SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Tournament solutions and majority voting
@@ Property / cites work: Tournament solutions and majority voting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429159
@@ Property / cites work: Q3429159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Fixpoint Theory of Equality and Its Applications
+Normal rank