{"entities":{"Q2942878":{"pageid":2953598,"ns":120,"title":"Item:Q2942878","lastrevid":52343354,"modified":"2026-01-22T09:45:29Z","type":"item","id":"Q2942878","labels":{"en":{"language":"en","value":"Playing in the grey area of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481253"}},"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":"Q2942878$C64B65FC-6916-4DCC-B167-A0FA3002937B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1021fb1d768ed53da004ec050a5e038716eebe89","datavalue":{"value":{"text":"Playing in the grey area of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942878$DA7A0415-2698-48FD-B993-2C96DB0AC038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65ce3a67b1feed42f2f41eb9059c3fc0bc8648d6","datavalue":{"value":"1321.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$7BBE9546-35C2-415D-B7E1-385911B0FFD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcdbfbaf5cdb4367e220f70b3bdf1a257da77a7c","datavalue":{"value":"10.1145/2103656.2103689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$574282C0-BC5E-4502-9D9C-E7F4AFE7D877","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3be5b3c67c998dfa04f0460b39f1c19d2f459b3","datavalue":{"value":{"entity-type":"item","numeric-id":2817930,"id":"Q2817930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$BCF32222-CFF9-4593-B906-1DC1C92E5D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$0C83E4C2-F8E6-455D-8A59-02C88C065F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$6857264E-A01E-4E95-93BA-7449CDA33BCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$F15EB4E2-C380-4015-A657-5CC9C5E8EA68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942878$DF22406C-960C-4615-A166-E264EF25D711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$DAD02DB2-5192-495E-8354-9B000E2D9DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$E49073E0-21CC-4C91-B831-EE13433CEA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f34514e347da4568a35449f5c3b847fdbed142d6","datavalue":{"value":"6481253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$08865066-038F-41A6-B7FC-75AA04F517D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942878$E598AC03-98D9-40FD-9CF9-DC1CD3E34FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942878$104FFB4A-BF3A-4AF7-937A-A6D0F993CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942878$6F870A22-8B9F-40C2-AA8F-3C3E2082CBEB","rank":"normal"}],"P1463":[{"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":"Q2942878$A4FB80D0-C993-49C1-9363-931AF7C9745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$DD888744-D803-4BDE-A48E-38E9BCA87A0F","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":"Q2942878$9AB97105-B19C-4B20-ABB1-897533EF24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$C777F44E-AA81-4D7C-9C9B-8D329A999B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f98c4b564db6ae968690eb76e4f4bd2b5bc5739","datavalue":{"value":{"entity-type":"item","numeric-id":19825,"id":"Q19825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942878$0463E611-13F3-4B38-905D-F34FAFD5829B","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":"Q2942878$AD5AD86A-E990-4E21-844E-8788B57503A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cb533b693c2d4932a5731ed8c81aaff3ebfd0a2","datavalue":{"value":"https://doi.org/10.1145/2103656.2103689","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942878$742F11F3-D291-4087-AA1E-BDDCAA758535","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"470ee4f1387cf1a2e0ad81f1d668e5f68068842f","datavalue":{"value":"W4238770053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942878$7DAB230A-FDA0-4CFD-8A1D-D7534280BD4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e34b0c20288b3099b2e33d6d5d3751e01de186","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2319167f1b639e277e00c7fd67c72352a85aa34","datavalue":{"value":{"amount":"+0.8370733261108398","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":"Q2942878$CD73C94E-4804-40F4-B29D-D5B592B63943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81410d7cef4243b01b2bca13c49685b20f1692f9","datavalue":{"value":{"amount":"+0.8220188021659851","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":"Q2942878$3168CC7F-C022-41C6-B6DB-1701DDE4785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8f4b788d73742a765e682febfcf3bf914ad03f","datavalue":{"value":{"amount":"+0.8217946887016296","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":"Q2942878$9C3D6701-E1A7-4AB6-BF4D-2E319DE1EE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2459163a62c8ec7d589da5f80f75c183c5f014e3","datavalue":{"value":{"amount":"+0.8095902800559998","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":"Q2942878$2589082F-1CAA-4B3E-AB82-02902B94C115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d74ba86bdf04170909d1c28f0f420e2e7275c7","datavalue":{"value":{"amount":"+0.8087635636329651","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":"Q2942878$C0D8AF17-43FA-466B-A478-847C5B357F01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942878"}}}}}