Foreword (Q5891934): Difference between revisions

@@ Property / describes a project that uses @@
+Arrow Gibbard Satterthwaite
@@ Property / describes a project that uses: Arrow Gibbard Satterthwaite / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-014-0178-9
+Normal rank
@@ Property / OpenAlex ID @@
+W4231124400
@@ Property / OpenAlex ID: W4231124400 / rank @@
+Normal rank
@@ Property / cites work @@
+Three brief proofs of Arrow's impossibility theorem
+Normal rank
@@ Property / cites work @@
+Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
+Normal rank
@@ Property / cites work @@
+Formalizing Arrow's theorem
@@ Property / cites work: Formalizing Arrow's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-aided proofs of Arrow's and other impossibility theorems
+Normal rank
@@ Property / cites work @@
+Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5891934