{"entities":{"Q840816":{"pageid":842664,"ns":120,"title":"Item:Q840816","lastrevid":64736778,"modified":"2026-04-11T21:53:15Z","type":"item","id":"Q840816","labels":{"en":{"language":"en","value":"Computer-aided proofs of Arrow's and other impossibility theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603680"}},"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":"Q840816$58546AE0-E5D9-4427-9E47-262C3FB611DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"804befd837c226f710349313c562933452a79783","datavalue":{"value":{"text":"Computer-aided proofs of Arrow's and other impossibility theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840816$BA158314-A6F2-4720-9AC6-FBA726A8322B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"941be6ec5ccfda5a22a1332aee33a3b5d666b5d1","datavalue":{"value":"1187.91061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$B4FAF3B6-0F2A-4CB2-8553-406C1168C3D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9ad9bce741d59da9d8e16fe07bbe6420a929f53","datavalue":{"value":{"entity-type":"item","numeric-id":420789,"id":"Q420789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$0C51FE57-9598-4C19-AE6C-4D3091DDAD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$16D98FB0-A6E7-47A7-BF47-9CDB2F3AE2B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$8943AA8F-E45A-4AEC-90DE-6346628B378E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840816$59CFDFAF-37C9-4249-AEE5-70F038B91C24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$34751147-3B26-468F-B65E-64A675612E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$90485842-9A08-432A-93A7-12C8A18116AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$3C9288C2-9348-4E8C-B3D6-D5BC7432FFAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98d27e28db2668ae39c9855cea7143145714e58e","datavalue":{"value":"5603680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$7AB529FF-5501-46EF-9796-E92734714B2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5a8e53ab4ead49dfe06d1de0a3c07dda0c4bf5","datavalue":{"value":"social choice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$5365188A-6373-4C3C-8758-D2DE504C813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e0d7026630e7bbfaf1eaa2039405ae89121e42c","datavalue":{"value":"Arrow's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$3396BD9D-C44C-45BB-BE29-1C3413951732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8775fb5bd52083683ad2ffe3e3cea1a01b6a39a6","datavalue":{"value":"Muller-Satterthwaite theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$4A57C7C0-7CA5-4F89-AC46-8F5AF7920B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4572d768af1aac52a5cd3ba571216404fc4c88fe","datavalue":{"value":"Sen's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$29B874B7-7567-48D7-9C9E-63AA281B4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$65F70831-7BCD-47C3-9E04-01403F6C4EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab91551793c0bf2cf61b058c24f679b2e4bd8f21","datavalue":{"value":"computer-aided theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q840816$98262D71-1EC4-4DF7-AE18-EF5CBDC3111D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c7a89d09e662e7fe1269083f99693306bc79326c","datavalue":{"value":"Q56114312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$4308E3D9-68FB-467E-A3ED-1F9DC3F6168D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$9026C14A-D59A-4F95-9EFC-45A2AFEABBE4","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":"Q840816$61CEC7DD-C7A5-4024-AEB6-A05802B724DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c176222514da0624b6ae3bbb8ee098f91fb1ccc","datavalue":{"value":"https://doi.org/10.1016/j.artint.2009.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q840816$EEFE78F3-FF94-437E-919D-1AAD54D2537B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a99537ec3e6ad6d4b26def8df0c4863d849872bd","datavalue":{"value":"W2102219503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$38556DB1-C9A2-40D6-AEF6-81934A469AC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"530da08b797c74b1423d646bfbe005fe3a53449f","datavalue":{"value":{"entity-type":"item","numeric-id":2260878,"id":"Q2260878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$F6798C52-A79D-4612-9B79-C2BEE3C2FA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239cf1d15ce0d22872e0712010fd4ff5cb3809fc","datavalue":{"value":{"entity-type":"item","numeric-id":840816,"id":"Q840816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$57E4B61F-8D08-4E0C-9A75-316ECA1FC99F","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":"Q840816$84B1DA48-29BD-47CE-B766-069A1D57505D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c70fd9026cd6411e893674389783cb361acfa96","datavalue":{"value":{"entity-type":"item","numeric-id":4090165,"id":"Q4090165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$033C9032-EC67-4CE9-8DFE-DBE3C25802EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9061c5f8e928b165b3a3647aa8899a7c971be11b","datavalue":{"value":{"entity-type":"item","numeric-id":4902563,"id":"Q4902563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$EF503394-0C8A-4595-9C5D-6D24731C454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13ba0f811f730b749bcf2d3e9785d0ee1e3db5","datavalue":{"value":{"entity-type":"item","numeric-id":5578545,"id":"Q5578545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$4A45ECD1-2111-4EC7-A905-7D1B1CB3A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfae0c22261d3ac95da0d7a0011bde4504d13b7","datavalue":{"value":{"entity-type":"item","numeric-id":1255868,"id":"Q1255868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$FDDF1A85-26F8-42A1-9740-E157496A9983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$2B96D9D3-14BD-4065-B58D-0C741501939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2739206b76c02befb9f80c4ff7990435f1220e54","datavalue":{"value":{"entity-type":"item","numeric-id":1221568,"id":"Q1221568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840816$CB16CA8F-8DA8-4AE0-AB61-963EFFDF33E9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b29fc6cbde508dcf77bcc92ab76c46ec6c09631","datavalue":{"value":"journals/ai/TangL09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$389B7941-F54A-4E1E-8A5B-F4F8CC803AF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e6f866539f76c9ca772af4ac48dfe2cc4979137","datavalue":{"value":"10.1016/J.ARTINT.2009.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840816$CE300937-9F48-4DA3-B6E6-2CA9B4CE444A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abacfa83359496dcb0a18b788316944caff4d3b6","datavalue":{"value":{"entity-type":"item","numeric-id":989978,"id":"Q989978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add9ec8367b36a1377888457ac25de986174c69f","datavalue":{"value":{"amount":"+0.8318636417388916","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":"Q840816$D4066C31-76EA-4ACE-94DD-ABF368B6AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9224dc4967c90c9c272c1b8ae4cc85ee6cf821b5","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"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":"Q840816$BFC0B5FB-3C95-4263-BC3C-F17D71FCD01E","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":"aff135e28509b5ba55b77b1cf600ba1516e7443e","datavalue":{"value":{"amount":"+0.8221885561943054","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":"Q840816$AFC46B32-C699-4D4B-B623-4FCFC13EFC2F","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":"0c947ad620be3c3b6d8a984d46612920db5d6b47","datavalue":{"value":{"amount":"+0.8142518997192383","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":"Q840816$D16CF205-AE43-4E58-B6AE-291276A69B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f1b98a330d39378011d5effcd90471bcbcc577","datavalue":{"value":{"entity-type":"item","numeric-id":1780915,"id":"Q1780915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4f06c68202047e23024f7d405601faf1d11e9f","datavalue":{"value":{"amount":"+0.8016104102134705","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":"Q840816$696F7DE7-3285-4390-8B4C-E36BF15E69EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer-aided proofs of Arrow's and other impossibility theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer-aided_proofs_of_Arrow%27s_and_other_impossibility_theorems"}}}}}