{"entities":{"Q6581784":{"pageid":14192939,"ns":120,"title":"Item:Q6581784","lastrevid":95787440,"modified":"2026-06-05T09:46:06Z","type":"item","id":"Q6581784","labels":{"en":{"language":"en","value":"Distributed-prover interactive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7890216"}},"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":"Q6581784$543FB8E3-17B1-4068-AAB4-6DA697DBA97E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a965911131068a9bf10d82a66d4faf21daaa4ec1","datavalue":{"value":{"text":"Distributed-prover interactive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6581784$120B7AED-C74B-47E6-8694-25FE975252AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0394c8356eef24d4384048e5459e333fab5af6a5","datavalue":{"value":"10.1007/978-3-031-48615-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581784$CA391B21-9268-4C49-AC47-E3402FDE65BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"107e41c003344d51a085522f847313867066fe43","datavalue":{"value":{"entity-type":"item","numeric-id":313555,"id":"Q313555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$5C16E3D0-AD7B-4963-994A-B7F47B9BC05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b40eeabb87e4ff9e520f967d38c38d79cf87143f","datavalue":{"value":{"entity-type":"item","numeric-id":1701445,"id":"Q1701445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$C61520D5-E91E-462F-B9A3-91F7A3E61344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1fc71e0edbd63622f03dab4885594367551ae32","datavalue":{"value":{"entity-type":"item","numeric-id":729896,"id":"Q729896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$B126011D-49D5-4899-A6DD-4EC4B1B1CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adb48c97a327d58f861efcdc36645ec8f0edf9af","datavalue":{"value":{"entity-type":"item","numeric-id":1629436,"id":"Q1629436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$48AB7773-FCD5-4D9C-AF3F-4FB9F8665D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43393f395a1ac1418aec84ce7c58be257447849d","datavalue":{"value":{"entity-type":"item","numeric-id":1653116,"id":"Q1653116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$BA4C53B8-3DC0-4355-8BC5-AC435C0DB86B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93497291d8ba3cd4ceda2bd397bb8743ea86f872","datavalue":{"value":{"time":"+2024-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6581784$096EC148-B8E8-4F7A-B782-FEA9216BFFA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581784$BEAF4CA5-E138-42C0-8517-07C40EB0FB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581784$E453A088-4A34-46DB-BBA2-3CE2366C689E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f592b85877d95010dc6e8c6d3a99a13bb61bf8","datavalue":{"value":"7890216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581784$09D06D74-3857-4095-9C16-E8A02DB9F333","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":"Q6581784$4614280B-9295-4E11-A3DB-4E798095C883","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e1ca06024955dc3f55018437345ac59343b714","datavalue":{"value":{"entity-type":"item","numeric-id":5259593,"id":"Q5259593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$5D9289EF-484C-4D84-9A40-DFA7819C18E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd96dc6cc857fbf6ee9a5c4ed6ad65a358ffc04","datavalue":{"value":{"entity-type":"item","numeric-id":5091162,"id":"Q5091162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$6B42B649-5E15-42EB-93CA-A253FACED5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$BCD99712-A5D8-402B-B56B-D6B994FEB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684ffd946be452f9f3fd10651e87d051e1fd2364","datavalue":{"value":{"entity-type":"item","numeric-id":6088998,"id":"Q6088998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$9B5042CA-DBC5-49B5-AD2E-E09AC0224ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cccee6d62a847ad81724e803e16df0941545373","datavalue":{"value":{"entity-type":"item","numeric-id":5236282,"id":"Q5236282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$8956C728-E7BD-4A55-9C76-040843168E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702189b47378fe095e0f80903f455faa47946949","datavalue":{"value":{"entity-type":"item","numeric-id":5145258,"id":"Q5145258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$23D1B3A8-ACF1-4AA5-BAC8-10D46E72FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5321cf483aab0fa6bee08b9510a1c268bf22de20","datavalue":{"value":{"entity-type":"item","numeric-id":685724,"id":"Q685724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$F6EAE83F-DC0B-4D79-A589-FA5C8F8F0122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c53f187a90a6ffed4f49591251693edaa1f91c","datavalue":{"value":{"entity-type":"item","numeric-id":5145260,"id":"Q5145260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$4D126FC2-5C56-499E-9F19-EF5B2FD1BED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbb557a6a3c467ee0e541d96f31ee14007f30fa","datavalue":{"value":{"entity-type":"item","numeric-id":5002680,"id":"Q5002680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$99DF68C5-E01D-4992-896B-680C036F0205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dedbe979d8cf9127281fb03205e8767f0d9b953","datavalue":{"value":{"entity-type":"item","numeric-id":2292641,"id":"Q2292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$5D2A8160-B725-4A6F-B5E9-66564097AE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6cbd216a82541b4dc14a205ab1b4e50217c68c","datavalue":{"value":{"entity-type":"item","numeric-id":5875697,"id":"Q5875697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$5B48E996-6C04-4B33-8873-DF20B54A7CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8150d2dfb76677850135b201e535819f70ee5b","datavalue":{"value":{"entity-type":"item","numeric-id":6575172,"id":"Q6575172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$827F4221-8B2A-4861-B6CB-35E74EADC156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00808852886689e3a2df636bd31341940704bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2119043,"id":"Q2119043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$41447F0C-3F68-4F4B-8241-52AC374E4982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9102a38956bc288ef92d5367e32fe64b7d6fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5739207,"id":"Q5739207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$A744BB36-2B69-45EA-9698-52885BE58E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5670f3f71f85976a22e8288327b491b0f5bfb9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2170056,"id":"Q2170056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$EE1532CD-4342-4CBD-A5CB-2C47683BE57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10ca531831957d8dee29d1aa13d81d1421ec19","datavalue":{"value":{"entity-type":"item","numeric-id":2055634,"id":"Q2055634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$96FEC8C3-C87F-4874-B62E-676D3CD51717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee8e6c79da3407656c24977710a958d99d68b6c","datavalue":{"value":{"entity-type":"item","numeric-id":5145259,"id":"Q5145259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$BAEC2B92-A606-4A8A-A657-F30CCA4B463F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a392816566ea396bd9a2f21a3571a115ceed6f","datavalue":{"value":{"entity-type":"item","numeric-id":2055641,"id":"Q2055641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$185BCD7A-E548-4164-A69F-04B9D8D85D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f339a5c7f2ce8b0aa5c2c77951cba4a0dbf1474","datavalue":{"value":{"entity-type":"item","numeric-id":5230311,"id":"Q5230311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$A34AF7B3-3959-4219-BAC3-71C7AB236D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02338cab56f898a7eee33955cb3a12836e8ed758","datavalue":{"value":{"entity-type":"item","numeric-id":6155275,"id":"Q6155275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$8F546645-39D9-4DC0-B2FC-4434FD359159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8afdef0b3206f246251e26b700f0bc3049c0883f","datavalue":{"value":{"entity-type":"item","numeric-id":2119053,"id":"Q2119053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$7A91995F-8153-40C7-BCE0-BBDA5D23B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2f6c65e5bd63271e258d598be91b63e918eb41","datavalue":{"value":{"entity-type":"item","numeric-id":5419079,"id":"Q5419079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$C0A95577-150B-40FE-ABC0-4FFBB2759061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$7B09D1B1-2D2A-4CF5-8F9D-A398F7D5533A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$EC8E21DC-F2F0-448D-B2BD-40F593D693DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25858f5b0d1e42fa6016cb6111836b33910bb91","datavalue":{"value":{"entity-type":"item","numeric-id":5417679,"id":"Q5417679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$BFC2C326-1EE5-47F0-AAD4-F73FE2E17345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96d128c90b6e18f0cbf616ceb41d863e36be9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3058656,"id":"Q3058656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$B728001B-44BC-415A-9E56-260E45C92CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530ecc962fbd9d669fa09327440e6da164aab307","datavalue":{"value":{"entity-type":"item","numeric-id":5197691,"id":"Q5197691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$C098E836-3742-4198-8F49-FC5EE0A061B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9514bed951c3d9eea02bd9a11343206c99c3e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2697847,"id":"Q2697847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$8C3CC70A-BE0F-4B12-8A08-619F7EE6EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9731b7e7ed4caeeed926a555ceae93379322aa73","datavalue":{"value":{"entity-type":"item","numeric-id":1402368,"id":"Q1402368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$F80A8A65-BD28-493F-A1E5-0F90B25505D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485b7c74a0d9e8450a1801a13298ca686c1d20ed","datavalue":{"value":{"entity-type":"item","numeric-id":5428113,"id":"Q5428113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$3AF7A1C8-DAD4-4E87-A03F-F29D1888735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca5c6fe40b0eb45523fbfcd53238450fafcf642","datavalue":{"value":{"entity-type":"item","numeric-id":5146838,"id":"Q5146838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$42158A0D-4D3D-40AA-9FAD-290510AB34F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a64afc9de9ecc9ff9392d3567493db8d08eccf","datavalue":{"value":{"entity-type":"item","numeric-id":4910280,"id":"Q4910280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$FC1CD7B2-FFB2-4706-BF8A-63D054180AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$7A95A5BB-07B8-45D6-A426-53B7A5E4CF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0413e2458a78c823169158977bfd4adae525c3","datavalue":{"value":{"entity-type":"item","numeric-id":4625662,"id":"Q4625662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$00FFF500-C680-4CDD-A2F7-4D7F14C769DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055774ead87dd8fc2071e716c23fb4f207a5d506","datavalue":{"value":{"entity-type":"item","numeric-id":5919019,"id":"Q5919019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581784$8188676E-9B59-4540-B88C-4B99307E9F31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db166f629f45581c985aa740a636ebe6bc7836b7","datavalue":{"value":{"entity-type":"item","numeric-id":5197691,"id":"Q5197691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a877e3ae2fa8ccb12d038a6dcca351f04700b8","datavalue":{"value":{"amount":"+0.8677459955215454","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":"Q6581784$4CF97276-B9F4-4504-8D39-5293857EC122","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":"4735eb6c8546abdd0f85d9c48809d72525585637","datavalue":{"value":{"amount":"+0.8346670269966125","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":"Q6581784$1FD3E90C-CEBA-4F22-AD47-19B47E059AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fc3e895aebb063cf590c56609da4fffffbc72b","datavalue":{"value":{"entity-type":"item","numeric-id":5495850,"id":"Q5495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa242bab05fcd77b3ff0108c0efb87af9336706d","datavalue":{"value":{"amount":"+0.8176907300949097","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":"Q6581784$2C6EBE89-C0CC-4C2B-ADA9-097CBE333891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b19d173d95d3c13cc5706d7ebdcb3ed100eb513","datavalue":{"value":{"entity-type":"item","numeric-id":4997311,"id":"Q4997311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b008b336cd847c6fa77219489ce70b03ff9c05","datavalue":{"value":{"amount":"+0.8112943768501282","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":"Q6581784$CAC784B6-E39B-485D-B606-81084203F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b3acfad7f99ebed4d32ae0a0d3a91fa444af1f","datavalue":{"value":{"entity-type":"item","numeric-id":5361818,"id":"Q5361818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0935102adcf15b7a78e29b6a1971969773727d29","datavalue":{"value":{"amount":"+0.8094651699066162","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":"Q6581784$C72B4D5F-F2CF-4A63-9629-0BF189D89907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed-prover interactive proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed-prover_interactive_proofs"}}}}}