{"entities":{"Q2655324":{"pageid":2666067,"ns":120,"title":"Item:Q2655324","lastrevid":50885741,"modified":"2026-01-15T14:19:43Z","type":"item","id":"Q2655324","labels":{"en":{"language":"en","value":"Social choice theory in HOL. Arrow and Gibbard-Satterthwaite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662155"}},"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":"Q2655324$DB1D6566-F482-4380-8CBA-B82216B8EA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6ea1a906dc588f3b0128d88ebebf23ed5ae1c70","datavalue":{"value":{"text":"Social choice theory in HOL. Arrow and Gibbard-Satterthwaite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655324$9BE37FB4-10F3-40FF-9BFB-7993351C75BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d4ac3119a33f27ee66bdd27fb64f547a200e49d","datavalue":{"value":"1185.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$F81AC961-13F2-4928-8BD1-7492143CACF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$C86259E1-59BC-4E60-9FD1-A375B8ABE8B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$F3855332-6082-47AE-85CF-312678AF2822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655324$6C7906AB-0291-4FFA-91FE-33CDE2117CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$04D22E2E-34AD-4F1D-B666-B66B61EB76B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$B6A19024-9ECD-495F-AA5E-144D42EF2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$99B20D75-A8F4-40D9-9BE7-B78BAAE2AF03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e6f21d81182a53efef85643f338765ddb99921","datavalue":{"value":"5662155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$5B665C36-E41B-4EF5-B934-1F766DE39FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5a8e53ab4ead49dfe06d1de0a3c07dda0c4bf5","datavalue":{"value":"social choice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655324$D7EF7CFE-A51F-4A2E-9B1D-714E9A6BF83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e0d7026630e7bbfaf1eaa2039405ae89121e42c","datavalue":{"value":"Arrow's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655324$99F57754-F984-47F5-99C8-3576F290A17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229e29517fcc38fa18f0c19f150fc0da7c72e8ee","datavalue":{"value":"Gibbard-Satterthwaite theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655324$EB537C01-9F22-48B3-8341-814877425059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655324$09959196-47DD-4FD3-801C-5C59AD58A0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655324$DFBA7EC4-2B21-4A0B-969D-8E71AC2985A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebe0808d6df82f0724e64f23a61f256e685990e5","datavalue":{"value":"Q56659149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$C0987022-1D2A-48AF-80E7-CB2BD15C4B91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$E36EBBEB-2B4B-4B43-B15F-22D1A999BD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$54E00025-483F-4B12-B311-C3ED0D7F3245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c713f48593fff79909a81d506ef5f9414979538a","datavalue":{"value":{"entity-type":"item","numeric-id":40323,"id":"Q40323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$ECFE435B-CCA3-4462-A5D9-4538514011A4","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":"Q2655324$6C90D60E-BF15-4D71-AA2C-C1CB44190B7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8645cde1810b1d5b18cb9ac0ab28acc3734e20d","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9147-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655324$EE5B2017-B49D-4C87-A3DE-61AD57C468C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f5a5b18999913e6be379eb53a16cf14069b7719","datavalue":{"value":"W1840672264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$81B06388-DFA5-408F-812D-4C6F39E200FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d093787d669b091c2e3a9dd916b22f1be82962","datavalue":{"value":{"entity-type":"item","numeric-id":2783476,"id":"Q2783476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$7FC0A8C6-C36E-47D9-975A-E086617BE836","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":"Q2655324$279E3189-7FA4-4A8D-9B51-3D296E9023EC","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":"Q2655324$F0FDE2CB-13EE-4BC4-872C-E0F1AB1E96CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$0AE14068-A174-4C53-9226-D062A0EB70E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1f8d70aa1cbe2c7f96204629f33c987aa2ca73","datavalue":{"value":{"entity-type":"item","numeric-id":3524718,"id":"Q3524718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$445BFDBA-4072-4C15-8F2F-6558CA6F2C40","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":"Q2655324$522F33AD-2B47-4A15-B084-472A523D7A0C","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":"Q2655324$DBE07C2E-9668-4159-8966-1A7476C9E9D1","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":"Q2655324$999055F9-F172-421A-87C8-9DDAA478F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f77aa8a1bbe2a83128ecfac79920af324b78427","datavalue":{"value":{"entity-type":"item","numeric-id":5635232,"id":"Q5635232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$177A6E72-41C1-4CA2-8E46-AB346DDC3477","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":"Q2655324$CC6E4E6A-AC29-4C30-8912-0D7F3E61398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27cc39aa2929ec53eafd10c831d1d68f45fdb83","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655324$5224DCA2-A10E-406D-A3B7-8A82FEEC1323","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ff47211de63ac45d11e473f44399640600799a0e","datavalue":{"value":"journals/jar/Nipkow09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$E65FEBA9-3FC1-4CAF-B381-F388AD2EB734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59dea8df30ebe65baf1295f191d92d7f01959c03","datavalue":{"value":"10.1007/S10817-009-9147-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655324$BC490946-EA0D-4FF8-8D04-E468E4E6459B","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":"dbe9edf2b5614d43fc73acaeaa6c711a0e2f8731","datavalue":{"value":{"amount":"+0.8380087614059448","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":"Q2655324$B3CEB87E-BE50-4C4C-98CD-83BE8E30950A","rank":"normal"},{"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":"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":"Q2655324$9C2F2F09-ED1E-44F7-B006-6861350028F7","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":"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":"Q2655324$9653F79F-957B-4A12-BB3B-D2237EECF138","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":"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":"Q2655324$145CE31A-E722-4FBD-B576-69C6A9F736D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a91b8759387dcd3e74b4febbab056bff071daa1","datavalue":{"value":{"entity-type":"item","numeric-id":2367165,"id":"Q2367165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a52f6f907120026a6624cac9dc00d09949aa1","datavalue":{"value":{"amount":"+0.8087033629417419","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":"Q2655324$0A86CDE6-9BF0-46D9-A166-5A9EC1A91C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655324"}}}}}