{"entities":{"Q1040010":{"pageid":1041858,"ns":120,"title":"Item:Q1040010","lastrevid":66874950,"modified":"2026-04-12T13:27:02Z","type":"item","id":"Q1040010","labels":{"en":{"language":"en","value":"Formalizing Arrow's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637283"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$70FFD92F-7ABD-4FF8-B3FD-D9A909C4453E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"961ca0341f1af3ab19af09131f7147d1ed288722","datavalue":{"value":{"text":"Formalizing Arrow's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040010$FC83EF9C-3CB4-474D-853A-248F0C76C6E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"902074b7f67e53a9cc1dec9377faf024c2d36897","datavalue":{"value":"1176.91039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$7D383EA7-4086-4289-A804-F2E894C6944D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$5667093C-1BDD-48CD-9996-47E00B141DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a947b5002a2baceed42c066548d81c4b38b3fdc","datavalue":{"value":{"entity-type":"item","numeric-id":229978,"id":"Q229978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$CFA0FED5-6514-4C37-91F2-2F50AF3E8180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040010$79EC05D2-4CE1-4881-B80E-7F88C68ABF8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3e7c74a3daa0838df00fc0671831a687b977db2","datavalue":{"value":"https://www.ias.ac.in/describe/article/sadh/034/01/0193-0220","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040010$788F05AF-1686-42CF-9F47-9BDE415BA219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$F76C8CE8-85E0-450B-AE35-0889628B3D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"171703f47ce64adcb3970699f9fb2f2086a56799","datavalue":{"value":"91-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$EC316062-C3E8-47A9-B87F-95CD61809BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$F4E8FAEA-906F-463C-B53D-6607CDE1E2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$B258CAF1-DDF0-4DCF-BCF0-1ACEAC90B52C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"814e471fd455775a85dcae0400b1c6b088117e31","datavalue":{"value":"5637283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$18914FE2-F172-4F3F-ACAA-AEFFCBB180F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$CA5FED1F-58CA-4555-8A73-FE677449D9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$D3C941BF-965C-4C9F-8FAC-92451C4ED7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5a8e53ab4ead49dfe06d1de0a3c07dda0c4bf5","datavalue":{"value":"social choice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$FE598853-CFF6-41F6-B6E7-A41AED0D0077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e0d7026630e7bbfaf1eaa2039405ae89121e42c","datavalue":{"value":"Arrow's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$80426553-97B0-40C3-A969-5F3503ACD6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229e29517fcc38fa18f0c19f150fc0da7c72e8ee","datavalue":{"value":"Gibbard-Satterthwaite theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$35880E6F-FFB6-4BD4-9563-2CE958D65DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d876768b061b656b89f7bd5bae445918af0f3b","datavalue":{"value":"proof errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040010$55ADA5D5-79CA-42FE-89A1-979371478525","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"391557f190e67f1f44cc580cd3335683e3dfd753","datavalue":{"value":"Q56168713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$F01AA260-44D9-4DEF-91F3-EABF61809EC8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$2C6A8E51-26FE-4658-B862-3D78265D726E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$C290D659-3489-4968-B581-8730952CA830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$17CCA225-F343-4AD3-A3F8-DC6D4B24DD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4cce565bd7777cef9e0dddb44e664cf6955e93e3","datavalue":{"value":{"entity-type":"item","numeric-id":40361,"id":"Q40361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$3989845F-4400-4F8A-AB62-B4B93294D1B9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$79023FEA-5403-4EAA-9D59-36B64A377672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51aa291910978903db57757b6e03d5f88ca1c381","datavalue":{"value":"W2143444807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$5460379D-4216-4936-9517-054A30BD1238","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$10245AD5-0AF1-4301-BEFE-578DFF529B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739330a58a3c3aae77075c5fb847ca13d50160d0","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$D6A1B351-B364-4A6E-989A-C651AD0EBF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce4090e549831bfb440059339b2bc8ef9934b13","datavalue":{"value":{"entity-type":"item","numeric-id":1780915,"id":"Q1780915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$65BEBE6A-0AFD-4047-BE13-3408884701BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$8DA2B016-6A78-4199-9FC6-40B895CBAAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$2232E9F0-6C28-4CF9-9C92-FBAF838BBA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299da2cdaab4313c0718c773bd4fb2786347b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$D981FF1C-97B5-4622-B6AF-2F81AC983C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e41c98be6c925b3b244356e417e46d31e3f9865","datavalue":{"value":{"entity-type":"item","numeric-id":2655324,"id":"Q2655324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$AB6FE77D-7DD7-42FD-A4C6-3CBD2639BB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4d550950c9faea36c86047edcc664c8f310c09","datavalue":{"value":{"entity-type":"item","numeric-id":1589621,"id":"Q1589621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$1365F9B8-3952-4FC8-AE09-6F7EADF810CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bf9ad3dc632dc2417693e9dc7c83154fe92f02","datavalue":{"value":{"entity-type":"item","numeric-id":1142144,"id":"Q1142144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$33F225C8-8F58-41EE-A83D-9033D26176DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dded67c14271bb6e2fc79da94a7edc1141d77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4681553,"id":"Q4681553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$4B595230-7624-497D-B223-3BE310D1C4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502ad8224b7ee39a96e36cfcfba1b8b740baa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040010$83E4AC4D-877C-4AFC-B965-8D130ADDF8CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a50ed4dc88163332f6784e97b7da01199ffa2622","datavalue":{"value":"10.1007/S12046-009-0005-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040010$9C51386F-20DB-48ED-A9B6-08D0CEE0ABA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6f74f76a594f4c7071b3f91e1b28c2717fa87a","datavalue":{"value":{"entity-type":"item","numeric-id":3655224,"id":"Q3655224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e322c9e40aaa45c3faea880f9fc3ee53130813a","datavalue":{"value":{"amount":"+0.8289250731468201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040010$1428911A-66C9-4C12-87B6-4D419F7CD9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9a45ae46a34b1d555779bf6545791aae9e80d5","datavalue":{"value":{"entity-type":"item","numeric-id":840816,"id":"Q840816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb51e14d683c34c97be0af7e19abf947fb1dd18","datavalue":{"value":{"amount":"+0.8251327276229858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040010$325E27DD-71DC-4FFF-ADAF-74A20E4F386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85dbe63f18ec347f4418ff2fbec319dd1be6bce3","datavalue":{"value":{"entity-type":"item","numeric-id":2655324,"id":"Q2655324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aee96cfc4a22b12e60b675b3c789957beb3ff4f","datavalue":{"value":{"amount":"+0.8165577054023743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040010$9E535860-6107-494E-9961-B41994E618DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99269b077b9f02356cb0eb18abd451f15d92ec5","datavalue":{"value":{"entity-type":"item","numeric-id":373021,"id":"Q373021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7127bb469bb8d5c65ed0b895510683cedd3ba2","datavalue":{"value":{"amount":"+0.7738389372825623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040010$B4D6B113-F7AB-4CC3-870A-260595418EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265a570a8f937bbc23580b1c7b3188bbff96f316","datavalue":{"value":{"entity-type":"item","numeric-id":475377,"id":"Q475377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56a974e1fd61c30dc4c589cf06dc886610d333a","datavalue":{"value":{"amount":"+0.761342465877533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040010$69AEAF01-1B1B-4552-830D-80E9122C8426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Arrow's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Arrow%27s_theorem"}}}}}