{"entities":{"Q2794662":{"pageid":2805400,"ns":120,"title":"Item:Q2794662","lastrevid":83276756,"modified":"2026-05-07T06:57:25Z","type":"item","id":"Q2794662","labels":{"en":{"language":"en","value":"Finding strategyproof social choice functions via SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6554162"}},"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":"Q2794662$6EB15785-C2A9-45AC-B016-FFF87D2385A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2656530722cd9c9747a7f873505d8af3ec202ef7","datavalue":{"value":"1352.91022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$4E2B83CE-271D-4EFC-AD4C-5A89FC6D8F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecac9e6eccb5837669e1403758ea819370179400","datavalue":{"value":{"entity-type":"item","numeric-id":250583,"id":"Q250583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794662$C18A171F-87F9-4255-86A4-EE4A4D02E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"babf134df621933258a272e6cb964494bc8b8f29","datavalue":{"value":{"entity-type":"item","numeric-id":250584,"id":"Q250584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794662$2553AA1B-0B86-46CB-8755-B173346BA82F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbe961c88086ff0a5b0c45dcc1e05b19ba68ed18","datavalue":{"value":{"time":"+2016-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2794662$FDDDE77D-3531-4F78-821E-5641AE64A9ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$A9C177ED-F1C6-4E3A-8A90-6811AE8E0599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$9001FF14-6105-46A7-832C-0BE205DA41DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6392aae80db3714cdf02ce1b4cdd45c7d6e94d45","datavalue":{"value":"6554162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$5F73DE45-E047-4F36-96D7-D6B56E801F6F","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":"Q2794662$F32018EE-FC89-4B5F-9308-F36E6A9164DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f8e93fdd763f641500714abd61e77ee240c60cf","datavalue":{"value":"https://doi.org/10.1613/jair.4959","type":"string"},"datatype":"url"},"type":"statement","id":"Q2794662$75CA0D3B-E6FF-49C4-95F1-5BF526A6ADE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69c89120151b013b102fd18dd13eb6e2b9487823","datavalue":{"value":"W3136440969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$8CACFD50-82AB-4426-B77B-D73E0080D34B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d24f9991c9ab5c7126e70a3143f211bbef002c7","datavalue":{"value":"Q129489384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$08712331-FF0B-4E3B-9926-E70F8ED17744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7671ee13a309e72b415b46b9255db888ecd376c9","datavalue":{"value":"10.1613/JAIR.4959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794662$5B711415-B7F0-4B2B-A3C0-45CF02C8F242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b730bd378877e2e1bca9a35b2fd0f1a888c384a1","datavalue":{"value":{"text":"Finding strategyproof social choice functions via SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2794662$EDEA7ED8-B61F-42CA-A4D4-E0F7F4D0485B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794662$6C313F3F-B563-482F-9EEF-F9235887A57B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e06f7ab747141bbe006fb9dbcdc67a3ed1718d7","datavalue":{"value":{"entity-type":"item","numeric-id":4561492,"id":"Q4561492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a76138e3af3feb3d3fc86e21135ff2fc160a73","datavalue":{"value":{"amount":"+0.7865609526634216","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":"Q2794662$AABED20E-4F89-4EE1-8144-E856043173D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7443313a4b04593209296fe70d4a840f9bc0f3bc","datavalue":{"value":{"entity-type":"item","numeric-id":3081450,"id":"Q3081450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03dd91396ba9f62d9fd7c4a98e67662f9c0931d","datavalue":{"value":{"amount":"+0.7797961831092834","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":"Q2794662$80076798-9B5F-405C-8857-3C45A8502C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd381284591506981a86e70dcb8bf44feef02ce","datavalue":{"value":{"entity-type":"item","numeric-id":2673159,"id":"Q2673159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a89e7d5d351d21c1f99c1df67a1b8657779c1a2","datavalue":{"value":{"amount":"+0.7694700956344604","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":"Q2794662$EBED935E-B410-4AFF-BBFA-E2F00959C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882b9262fb71514a7d497d4b8fb1c36feffe61c3","datavalue":{"value":{"entity-type":"item","numeric-id":1680092,"id":"Q1680092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ebdb9993c414387782c68b652a4e2a883293db","datavalue":{"value":{"amount":"+0.7684141993522644","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":"Q2794662$55F8154B-AE2B-487C-8D0F-8156BF700255","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":"e78b3d4d8e23fc020b574aada5cf25776eb1c768","datavalue":{"value":{"amount":"+0.758254885673523","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":"Q2794662$08B25F13-C10D-43C3-BEA7-2A166D26BA60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding strategyproof social choice functions via SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_strategyproof_social_choice_functions_via_SAT_solving"}}}}}