{"entities":{"Q2843015":{"pageid":2853735,"ns":120,"title":"Item:Q2843015","lastrevid":58043157,"modified":"2026-04-03T14:08:12Z","type":"item","id":"Q2843015","labels":{"en":{"language":"en","value":"A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197183"}},"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":"Q2843015$BD8E7463-6C16-4587-8DD4-F788387C926C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b12e346c7fb0f7a86f4e5538a3df5f2e0a83cb8f","datavalue":{"value":{"text":"A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843015$CC6D4017-4C49-4368-85D4-F220CF3DC223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50e227da9ee9b9568d229808bd75dad115353130","datavalue":{"value":"1390.68577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$86E0CBAD-A54D-4D2D-8FDE-18E73251E6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9b6b8504bb0cba3b0156a6c65ed1f2161a291a","datavalue":{"value":"10.1007/978-3-642-39320-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$AECF394F-25D3-485C-BBC8-9FC39A689DA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9e8b716e948fd9d393e4fbe3beafa79f032133","datavalue":{"value":{"entity-type":"item","numeric-id":504393,"id":"Q504393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$D2F231F6-564F-4486-8F94-38A4A8CC6586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$AC28BDCC-835C-4720-A2AD-A16E09CDA585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$04F7799C-98D5-4E4C-AB56-774A3251EDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d46f6e3a937a805e7d0d6facdabb7a0e1cff93","datavalue":{"value":{"entity-type":"item","numeric-id":392660,"id":"Q392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$6FF1621C-8F32-4C5F-84E9-9E463DE81AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a162d67ca0f0da05fadb758011f7efa5d1e07db6","datavalue":{"value":{"entity-type":"item","numeric-id":287364,"id":"Q287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$2109424C-3EDC-4F27-88F6-1CE024A6734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b050b9c871ba52ecd53588adcdf2650a7e82b19","datavalue":{"value":{"entity-type":"item","numeric-id":865645,"id":"Q865645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$290A189C-DA11-471E-BD4B-E7F94E0FC39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$F9059213-3AB4-4696-9516-9F990F09D0C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$52B01192-0665-426B-BD64-F593506A4DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381d46b885a4d4a1524f419ca9a0dc18cd8f863b","datavalue":{"value":{"time":"+2013-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843015$0989F4C1-7367-4C7C-AE31-6D6B1D440A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"645cf39d48b49ed21bb73f6e1273bb999c8e6f9f","datavalue":{"value":"https://arxiv.org/abs/1303.4193","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843015$17CF9ED2-327A-47D0-8F60-03A0E66CACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a61e0c8f80410d72e4990d3021f86450b4009c6","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/25241896/Lange_et_al_Qualitative_Comparison_Four_Theorem_Provers_2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843015$0F5B1D69-4522-4409-8338-159E9B13E6D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$61CEDA4A-2026-487B-BC3F-F6532B02E093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7934ef4478ec2eac0cb1f78f19b40005dde6f0c","datavalue":{"value":"91-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$061878EF-C197-468D-9012-443706CC2195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$1FA67C7A-DDA4-499C-8DBA-A7D7352A6E3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aca44d94a97e6279913037e744ec51c4e59f8f93","datavalue":{"value":"6197183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$94E8F2A7-20F0-4476-9466-727332EE61D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$C827F1A5-D8B0-47EA-A0D2-2B14030644C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$6D88D5F7-3903-4B98-844D-FE861F771129","rank":"normal"},{"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":"Q2843015$7BCE3B3A-4FD7-4894-970D-A0E0077AF6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$B7B4B7C4-F1A0-429B-A831-B4E6453AD572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$E1DB3259-D6B4-46DA-815B-76C198669465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$C3EEF91F-84F5-4194-A89A-98CA6FD435A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$A6C8C2DD-AF97-4982-8BE4-034EFDE2BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ea0f807e9dc1229f0a5e44480e85f8c5ae2877","datavalue":{"value":{"entity-type":"item","numeric-id":14521,"id":"Q14521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$FD94F513-AE75-4474-9D84-02D5A2DAA68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$9A090AD9-BA04-4CF7-B178-AE54E967953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843015$F653FDC9-98AD-4129-85BC-D52630CA01F5","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":"Q2843015$E5ED8A9F-59FF-4B72-A388-92161FBA6EA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75db0807d23dbbb4d48b5a5d91461d307b0001aa","datavalue":{"value":"W1521892088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843015$599962C9-4603-476E-BFED-BCACD362C39C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6783c0c8f460d6f2c56d0d161117b3bdeea72453","datavalue":{"value":{"entity-type":"item","numeric-id":2364696,"id":"Q2364696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfa8ec64776a11be30661217de95b637dd01c54","datavalue":{"value":{"amount":"+0.8963095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$9B3DDE12-BBF3-4088-A9F5-19E44387697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e3da64809ca2ceb798b0bb93f137e26c683a09","datavalue":{"value":{"entity-type":"item","numeric-id":3601792,"id":"Q3601792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeecfb6289439059c0fef3501711b9a496145d76","datavalue":{"value":{"amount":"+0.8699234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$277CFF93-538D-4E4E-8D1B-66684251206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb20aa97b47b7c096810d7e33a81f496c887e20","datavalue":{"value":{"entity-type":"item","numeric-id":4798009,"id":"Q4798009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e1e24e3305e876ea73def6d934f50108391ce2","datavalue":{"value":{"amount":"+0.83327603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$DEAD276D-BB14-4ABE-A9BF-4264A61CA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67ae514caaf72d6aeeb083672729e52fcb8fd03","datavalue":{"value":{"entity-type":"item","numeric-id":5282957,"id":"Q5282957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26db4eff391c448bde4ffb01129b2742269ef415","datavalue":{"value":{"amount":"+0.8312985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$E068F0B6-ADB2-40EE-8A1A-5640153C26DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527891384cef3fd07e0d65062446ff59930c2635","datavalue":{"value":{"entity-type":"item","numeric-id":2512655,"id":"Q2512655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1179c95ba1b33182c0cfc226a0ba6b474295ed6d","datavalue":{"value":{"amount":"+0.8266388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$48CCEC8F-3B83-4548-9FBC-29FEB61FD28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2789a2316ba8fa1e5f51456aa5607da124d9729","datavalue":{"value":{"entity-type":"item","numeric-id":3586382,"id":"Q3586382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1179c95ba1b33182c0cfc226a0ba6b474295ed6d","datavalue":{"value":{"amount":"+0.8266388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$874F15D3-3473-4355-A8C8-1FACE3C38F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d3559246b59c94e4d4d7594f31e3b085cfc010","datavalue":{"value":{"entity-type":"item","numeric-id":814434,"id":"Q814434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9e739ab3780a7e7ae06c8baeaa536c5f58b2ec","datavalue":{"value":{"amount":"+0.82201916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$684BB98C-5106-453D-9304-C33ECF3BEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f12e5128d08f0992dbf0a7561f3f153b5e74c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2494014,"id":"Q2494014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb78dc4199ddeebcd65606bc06572453e2b2cc9","datavalue":{"value":{"amount":"+0.82050985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$FB377520-3AC4-44C2-A8EB-817A10C81121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca04e2ff3a0e5cc3019addfb3ab6420facc72ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1330563,"id":"Q1330563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff10d8c096ec3cceeef3db847d5e288f88289fb","datavalue":{"value":{"amount":"+0.8188157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843015$59F9CB1B-50B8-41C5-9E97-6E5FA561BF57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843015"}}}}}