{"entities":{"Q2412247":{"pageid":2422990,"ns":120,"title":"Item:Q2412247","lastrevid":44043492,"modified":"2025-11-19T07:25:57Z","type":"item","id":"Q2412247","labels":{"en":{"language":"en","value":"Multi-prover interactive proofs: unsound foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796548"}},"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":"Q2412247$7AC40E32-8784-4BE7-8F0E-76CD9A7D080A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5673c9d75e7c540c9ac6978c6c79bfe9c8e074ab","datavalue":{"value":{"text":"Multi-prover interactive proofs: unsound foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2412247$F713815F-AB22-49AC-ABFB-524795663661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8ef4a2407daafc2ac54d74ffcfc3104739f6d36","datavalue":{"value":"1410.94060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412247$57737F7A-64DE-46FA-BBA8-0A2DF8CCA364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a1ce831ddceb0d3cfcde7d60998f15e2d1db415","datavalue":{"value":"10.1007/978-3-319-61273-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412247$C1FDCE7B-7A43-4AC0-AFC5-08B8C5CB36C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8771a7f041363b4fbd8d551b49de55568d7b7c09","datavalue":{"value":{"entity-type":"item","numeric-id":808239,"id":"Q808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2412247$02CC4CF1-17DF-48E4-8241-ECBA406B03A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c723648d1ef681828b4647ea4a43380a523ba4cd","datavalue":{"value":{"entity-type":"item","numeric-id":379273,"id":"Q379273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2412247$42BCFB67-7F54-4AFC-AEB8-3B69A1BE5D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2412247$7B5BD6D0-F9BA-4861-9A9D-D1CE1D895080","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412247$8C7BDA7C-D18A-4977-831B-5BD9B3DD2863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b8ba829670a67002b7b70ca0391865f82d4a636","datavalue":{"value":"6796548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412247$47F491BF-A378-4181-9DD5-67FD16D999D0","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":"Q2412247$4E33BF51-97C1-446F-8604-4117E9D7BE43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a63f0b392fd6aae4ee49203aa840eb0acc3cb124","datavalue":{"value":"https://doi.org/10.1007/978-3-319-61273-7_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2412247$E8AEC164-6D71-4E7F-B373-71EAA7F0BD4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5ef5c0f61b2a8897f0022600df441aa99a9081","datavalue":{"value":"W2604424424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412247$A3550568-AE9E-42FB-AB59-E6E02D7EFE72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf96d302572d1dd395af42ff6ef5929df76d2cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4279589,"id":"Q4279589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b97acab3b8ca9f8984baee32ba8554bf828904","datavalue":{"value":{"amount":"+0.88836956","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":"Q2412247$F692F8AD-AF0A-4649-A463-75A00121E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c87d7511b811ce88027d34ab476b12ff014f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1341733,"id":"Q1341733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cc1f2e766ea967ff9f9f624e63bf08fea64eb4","datavalue":{"value":{"amount":"+0.88700855","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":"Q2412247$C1AF57D9-C21E-4D04-AB5A-09526B26D737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f13aee1b1b9049f646536e2fe35347157cb09d","datavalue":{"value":{"entity-type":"item","numeric-id":4281691,"id":"Q4281691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a640925f0bfc997ac3ca1694ec5672ef2474af32","datavalue":{"value":{"amount":"+0.8785058","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":"Q2412247$89F27847-ACC4-4ADD-85F6-90414F93A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef8e4e55b990731a01ec7a5d19671850c6ab01a","datavalue":{"value":{"entity-type":"item","numeric-id":5075766,"id":"Q5075766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6125ebdb7b6e3dbbbbbca7c9afaf1c72222fba8","datavalue":{"value":{"amount":"+0.8726003","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":"Q2412247$D1E10E3C-AC28-4137-AE1F-67C4C0F9BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da577f500b0678a014567313a30db937ba363396","datavalue":{"value":{"entity-type":"item","numeric-id":6135446,"id":"Q6135446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8aaa240959c05530e1012d33a6b9856a9c71df","datavalue":{"value":{"amount":"+0.8720521","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":"Q2412247$C800AB8B-7FD1-41EF-BA1C-E2CB6485C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63189e7c12160a02ffcf43fa9f0f2f41274ff4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2914264,"id":"Q2914264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b05bf0bda1dd8e834260cbeade6fbecf2d114a","datavalue":{"value":{"amount":"+0.8614857","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":"Q2412247$26BFBE18-9858-4591-8066-15390A152F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f6049adbdcc4050af851cae53e84b4a78c7f4a","datavalue":{"value":{"amount":"+0.8610778","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":"Q2412247$9DC596C3-C6A8-42AC-A6C0-C1CC04E46CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d51a44056561647607d5810925591d527483cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5146838,"id":"Q5146838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fd78996149c1d7f04622421c55ad92b70679b3","datavalue":{"value":{"amount":"+0.8602991","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":"Q2412247$49E56FA4-12C0-4B23-BBE5-B62EDB0C1935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2412247","badges":[]}}}}}