{"entities":{"Q3655224":{"pageid":5685130,"ns":120,"title":"Item:Q3655224","lastrevid":88720448,"modified":"2026-06-04T15:16:44Z","type":"item","id":"Q3655224","labels":{"en":{"language":"en","value":"First-order logic formalisation of Arrow's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654276"}},"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":"Q3655224$AB4A6523-11BD-4AF4-BE19-51A922F7F428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"482119c2168f1d04d8fb3738a035f3ac8bf8ed03","datavalue":{"value":{"text":"First-Order Logic Formalisation of Arrow\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655224$655F5ADE-B70B-4444-A1D8-DC6642384678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98053c809249ad4493cc7e131f08df39a113bc4a","datavalue":{"value":"1196.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$2F710520-F71E-4536-88C4-394089E06E3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"401fc98cb3f3cf665a21c5b3f3faa39bbfbb0b26","datavalue":{"value":"10.1007/978-3-642-04893-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$17AF2F82-874C-4A13-8940-916F47FC0DC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b5223eaa61378d64305d9edf2d9dc6a4c3f3236","datavalue":{"value":{"entity-type":"item","numeric-id":314428,"id":"Q314428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655224$9F9C4A88-860E-4A3C-A990-6C1505FE087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61069f52ef48d3884b63f819e0b444184765e386","datavalue":{"value":{"entity-type":"item","numeric-id":343900,"id":"Q343900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655224$3BCE15E7-150D-4F5F-BA7A-941BBA697FDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0efa7a10c57655b63387a94a7a3559817cfe126b","datavalue":{"value":{"entity-type":"item","numeric-id":2859088,"id":"Q2859088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655224$7B1F05BE-6339-4A8E-9FC3-D30D754F51A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655224$86C4C4D7-8F47-400D-B203-AEEBACFC5BC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$33C68EEE-B6BA-4981-B6FE-212C5FEB06B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$DDB41E43-E6EB-4CD0-AA70-87F39536F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$ABFA443A-89A3-47D2-979D-24F1DA6A1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$6DFC53FA-BBC0-4147-AEEE-8D80FEF4861E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$E9D16A56-A412-4A94-BB66-CEB229B16A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7cce7dd280b355c3f2509137e21da0f6a026a4d","datavalue":{"value":"5654276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$8D231D3A-741A-407B-9785-EAC0489E3759","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655224$4E49FF1F-C08D-4128-BB71-70B3CDF53C5E","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":"Q3655224$4620D335-5EB5-4059-B964-AA62D10DF48F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f1a76034894b2cecc7e528bb79160c9a898aaab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04893-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655224$2CA2E85D-AC85-46F7-A923-2BF0E721A65D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce869ea9d862c7c78b1d8e2a878c24a92b4658b0","datavalue":{"value":"W2289331648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655224$5D2A9DF1-9EC3-4E09-9DF4-6EE346CFE05E","rank":"normal"}],"P1643":[{"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":"f643d6d72de0c8f968f12cbcd4566667313897c9","datavalue":{"value":{"amount":"+0.916612982749939","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":"Q3655224$763F6F3E-A429-469A-B3C0-6F66305066E8","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":"d09561f3f9c1773b60db83436d9fa4a2c78d029c","datavalue":{"value":{"amount":"+0.8513167500495911","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":"Q3655224$5FDB4DAC-49D6-4549-9CBB-0104AFED7485","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":"27ede46412087f1610784d8faeafda4dce0bad64","datavalue":{"value":{"amount":"+0.8298441767692566","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":"Q3655224$C9F6EAA7-D464-4364-94A1-DA4C8EB7D04E","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":"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":"Q3655224$626FE561-4311-4DDB-8CD8-BEF895F1B259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b33304851fadeb32cfe46a18466a578cbfd0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5213648,"id":"Q5213648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a11c9da27fc2c7ad4a4a3f9fd599386e1d4d06f","datavalue":{"value":{"amount":"+0.7995326519012451","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":"Q3655224$1E67E360-E9F7-4961-9823-A6B6CE5EB7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logic formalisation of Arrow's theorem","badges":[]}}}}}