{"entities":{"Q4561492":{"pageid":6591082,"ns":120,"title":"Item:Q4561492","lastrevid":58265895,"modified":"2026-04-04T12:01:32Z","type":"item","id":"Q4561492","labels":{"en":{"language":"en","value":"Proving the incompatibility of efficiency and strategyproofness via SMT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6989802"}},"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":"Q4561492$0AA20C15-CECB-4DC8-86A9-8F08476F2D34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5379487c843581a24e4a16f2490ef0d9b53e547","datavalue":{"value":{"text":"Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4561492$0887961C-FFC3-487F-82A9-68A911C4D5D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f414a8f994d4e5626c34f0da2976df80365afe9","datavalue":{"value":"1425.68385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$268E4111-4921-4A14-A561-93E78F6B98FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fd8a563dad1e3258bff8461c2b39131d04f7e42","datavalue":{"value":"10.1145/3125642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$35951127-0DF8-4235-A934-9A8FFF4E7174","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6556d31b0f1723c99a3a6a0770c8ba15f904a520","datavalue":{"value":{"entity-type":"item","numeric-id":745014,"id":"Q745014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$5FC75465-52DD-47EE-A4A1-FE0E84EA8F5D","rank":"normal"},{"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":"Q4561492$BF56A427-7D9F-4A00-AEA7-E8CF9DA3D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3155209aecfa73c406ca3d6ea19dfb5eb798dd","datavalue":{"value":{"entity-type":"item","numeric-id":1791157,"id":"Q1791157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$EE74DEBA-F463-4125-946E-6F96C5DCDF65","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":"Q4561492$BB470803-7E13-4912-93AE-C0198ADA611F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$E59E30A0-6D10-4CFF-AA1C-F0667894916C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d792d11c9db1b3c1ce8b80dd0d5403f301c3f974","datavalue":{"value":{"time":"+2018-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4561492$EBBE05FD-5235-4882-8590-5DF8C80F4121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8175537fb67a7650347fb1334f909054c0ebd931","datavalue":{"value":"https://arxiv.org/abs/1604.05692","type":"string"},"datatype":"url"},"type":"statement","id":"Q4561492$BA6E782D-B0A9-4907-90F4-2283FBBFD8B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$B054A36B-7ED5-4D04-AFD1-DC6DE024CBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$D66B48B0-8838-4422-B9D5-4E27978FDBE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02da0962c7c4d01e28d17c3369858406a2919aad","datavalue":{"value":"6989802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$09B874B5-FA8B-49B3-B33F-210B820B9BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff9df1a6473b20894fa134a5875493866000b04","datavalue":{"value":"stochastic dominance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561492$A720FC98-8CFB-4EE3-9C7E-07996BFF6057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561492$129E2239-5416-4C79-BE01-BA34CD1280DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0339dda4f88c499261c270993284514b68cd27fa","datavalue":{"value":"strategyproofness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561492$33AD1620-1059-4A19-BA35-5482F858C845","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":"Q4561492$C495C81A-D983-4992-B2AC-33BE8802E419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$A8FF0267-1777-47E9-B741-C5D5C4A716F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e3517a104bffeb3335d8349276c0cc04b4ba10d","datavalue":{"value":{"entity-type":"item","numeric-id":43954,"id":"Q43954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$5F2C6DC7-8E88-4C93-B40D-67850081C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561492$BD5A7966-56F7-43A9-963E-E8C39246D0A3","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":"Q4561492$193DE02E-2AB3-40D7-B32E-3BE84C95C73D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"212a0fbd4381accb55ddde0d16783a1a83a93993","datavalue":{"value":"W2787389506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561492$5009E015-BAC6-422C-8B4A-1139C2F4A169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebeebe61a16d03eea49d05b93dc0c97a982ec13","datavalue":{"value":{"entity-type":"item","numeric-id":2794662,"id":"Q2794662"},"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":"Q4561492$8FB88D9C-B2BA-4E8A-801B-A20180D0D965","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":"86ad58a07b01aa3be1ced7a58121bef3827fe43b","datavalue":{"value":{"amount":"+0.7465815544128418","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":"Q4561492$C640F72B-7894-43B4-BB87-7EF638A76527","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":"0ee505b1f19a2a2b5538a4f0ce24c9a783250a8d","datavalue":{"value":{"amount":"+0.744638979434967","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":"Q4561492$DDA273B7-E4E2-47B9-A8DC-53CBEC7E3E69","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":"b6d1db432500fe7d3764e82d5acce095e5a3afc4","datavalue":{"value":{"amount":"+0.7414903044700623","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":"Q4561492$70C9BACE-128A-437C-AA56-93B74AA4C9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825979596c6987d2d83bfe3c66230ede7943571a","datavalue":{"value":{"entity-type":"item","numeric-id":1651219,"id":"Q1651219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc4cc1dc2c9a117459bc8fcdcd0bb5beed08ce8","datavalue":{"value":{"amount":"+0.7277162075042725","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":"Q4561492$A34C7BC0-2847-4D12-9CD2-E70CE6B34F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4561492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4561492"}}}}}