{"entities":{"Q2151405":{"pageid":2162148,"ns":120,"title":"Item:Q2151405","lastrevid":73439244,"modified":"2026-04-14T15:59:31Z","type":"item","id":"Q2151405","labels":{"en":{"language":"en","value":"A logic of interactive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551716"}},"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":"Q2151405$1D98CFF1-310D-42F2-B8AC-8D6AF917B150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d812405bf2834c84f1cc03eb979c3778f272158","datavalue":{"value":{"text":"A logic of interactive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151405$B51AAE22-E2A0-49E6-891C-46764406A17D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c4d3cb2f5f5f53e5e4c11dcf5a9397337adff1","datavalue":{"value":"10.1007/978-3-030-93100-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151405$7AC9034B-DB85-450D-B239-14D16537433D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6027ced3e4bfd038a1eee18f28813011a7c2c18","datavalue":{"value":{"entity-type":"item","numeric-id":2151404,"id":"Q2151404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$30F98027-A32D-45CD-AA4C-B4E9FB42F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$372EB54A-9814-43DC-A815-F5ACA031D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$19E1D803-8092-410E-9EFE-1629710FF2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-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":"Q2151405$BFCBDF09-4DCB-4ADA-BC0E-AC5DF4D3E73B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ac5d672194dd46849be7f6dd760876cd4f7be41","datavalue":{"value":"https://arxiv.org/abs/2109.00775","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151405$B46A354A-635C-4081-B9BA-07A1C3BDEEBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151405$B72EE3FB-1606-4CC8-8526-EE199E7B29A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30bbc97c11b905a6d5805ef724bde10b390cc95d","datavalue":{"value":"7551716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151405$78ED9963-7F53-4099-A2BC-D094B17C79F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a9630c7b4eaa045098558da4a315bcc1a42ca9","datavalue":{"value":"interactive proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151405$99ED88C7-C2D0-4B94-BCD6-CEB71B96DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8d3edd09944f75249407bd940adbd5a84e4713","datavalue":{"value":"zero-knowledge proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151405$F95DF088-2911-48CF-B74E-B428FE1D4D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151405$1B666597-CB0A-4B0F-800D-F4B9DAE08017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151405$13BC1BF9-7AC0-4B09-85B8-6512D01F66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151405$235A0016-55EF-4E93-B624-2F70390E5BA4","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":"Q2151405$C1E32DE5-909E-4B3D-9269-0B04BBCD138B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49e2e102e6e38f498384fd1c1dac7a79a5918d21","datavalue":{"value":"W4205450054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151405$C258D5FC-555B-4373-BC37-0079E21F6A23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$4A99A627-35E0-45FA-9CA7-D1151925BA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$C647D8BD-06A9-4848-99A7-C94AA6237EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b811656f4ebb283e6c749d10483ecd50472fcb","datavalue":{"value":{"entity-type":"item","numeric-id":454364,"id":"Q454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$210D3F7B-F476-4817-8D59-7D4054F633BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$C1A9E789-1339-4F85-BA60-1E61585D1938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$FBB9C637-7DD9-463A-87DC-33D94ECE4D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$B95DBCDE-5978-4D80-9588-0CF0A593C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$4E8FD3CC-B3A3-4FA0-80EE-D9AF60DCA51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d48cd409aa93d564d3b486165a704f4a50dd04","datavalue":{"value":{"entity-type":"item","numeric-id":2291370,"id":"Q2291370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$A736F1DF-EE50-46B1-89D2-91FD83BFE4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc663d8f356b2d777028d1eef8411a8c764ccb7d","datavalue":{"value":{"entity-type":"item","numeric-id":4644527,"id":"Q4644527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$C19E3275-F2DF-484B-92B3-8C8BDCA018B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb479c5dd208af2a4b00786b74dfe8304f67a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5108025,"id":"Q5108025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$980B4C88-5D88-4C0C-B36E-4766A8063A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a1ebe3ea4f17fe38dbf72fbad328d4f878f48","datavalue":{"value":{"entity-type":"item","numeric-id":5419893,"id":"Q5419893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$18EDDBED-7811-47BD-BF69-765C2188FFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4370301cb48828f280d5b06a7d7b0be4f5299a","datavalue":{"value":{"entity-type":"item","numeric-id":4644547,"id":"Q4644547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$B090AF67-8B4D-45A5-991D-89D26B97CC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b3b2827002bc8d3e5b4e924d1e5ea74c5a2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$A12C359F-5387-42F6-923B-8C8CD7FB111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b89614af00bed4f96a6581d849d56f2d25f687","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$4A168792-B0FC-42B2-A5EF-73B5505BE79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c396ac7edac0b9eaff082788af12d8960d1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2832982,"id":"Q2832982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$B8C0E4A4-1E6D-4359-9044-D96CAE1B2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17deaa853d50d6ed8fe762b04109c738830727","datavalue":{"value":{"entity-type":"item","numeric-id":1679821,"id":"Q1679821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$335E89C5-3EEB-43B6-8045-D7B8E0CCD3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11b84dc227737a49d44351c1d031bfc5c62a407","datavalue":{"value":{"entity-type":"item","numeric-id":2379314,"id":"Q2379314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$A53C0A50-894D-46EE-8760-259291046CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7464923d81853deaa10ebf504925145345ff75","datavalue":{"value":{"entity-type":"item","numeric-id":4870980,"id":"Q4870980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$0015C8BF-CE46-4D8D-89E0-2789010BF3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594e1537c7fca0bed7f4d1cf6c5510ab27bcc08c","datavalue":{"value":{"entity-type":"item","numeric-id":929292,"id":"Q929292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151405$9E598E2F-D984-4FB4-A018-F221208001B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209e48917fd84091488eb19cfdff912f10b1e410","datavalue":{"value":{"entity-type":"item","numeric-id":5872872,"id":"Q5872872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q2151405$B8104166-C2C4-408C-8828-560881490FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df98aae22bb1683b064165c2fa3cf3b0d4f27c56","datavalue":{"value":{"entity-type":"item","numeric-id":5428268,"id":"Q5428268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0745b58a91bd753dab556a53ac09720bcc4e155","datavalue":{"value":{"amount":"+0.94743556","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":"Q2151405$A48A30D1-8341-4F0D-B78E-2F8754FF0D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9753d67bb44c3e85764be086f9ac5baf42f744","datavalue":{"value":{"entity-type":"item","numeric-id":2936240,"id":"Q2936240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753e751e30b481b344f29d1f2ba893866a2b6a12","datavalue":{"value":{"amount":"+0.9454272","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":"Q2151405$63259BC7-F7D1-453E-BB65-71A134C56A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553b4bd0272f1ba95dfda512b25f93be68fbdee3","datavalue":{"value":{"amount":"+0.92886376","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":"Q2151405$82E66FF4-B0C8-46FC-9FA3-9BCD9489DF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614487cb47e59cce59f524ce1224856b50debccd","datavalue":{"value":{"entity-type":"item","numeric-id":1413647,"id":"Q1413647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bce88b036c5364ce3e551071bfcb2a1a0a84b45","datavalue":{"value":{"amount":"+0.92608744","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":"Q2151405$20DC8A53-5382-4B9D-9723-CF7138B280EA","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":"ba76b4ab85b9306478729db38ab6eebbf4efdd50","datavalue":{"value":{"amount":"+0.92413855","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":"Q2151405$003D3EA8-0FC5-466F-BD1E-465555E9CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f43f83747fd6a09d40ba03c4910bb9cb956806","datavalue":{"value":{"entity-type":"item","numeric-id":5277900,"id":"Q5277900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda0942a7c7af473f5a10f7cfe1b29db31bf1141","datavalue":{"value":{"amount":"+0.92246115","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":"Q2151405$5C7366F4-3967-4A7D-A85E-A7E534DA14BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb07a55d65e4f95d6f280adf9b89a0c21536434d","datavalue":{"value":{"entity-type":"item","numeric-id":4535028,"id":"Q4535028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cced55a86bab408cada97643235817a336dc985e","datavalue":{"value":{"amount":"+0.92212677","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":"Q2151405$6A2BB4C4-B71A-4098-8004-D8E6B7D59E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bb54e0dd0faac2e5309faed1306a0a679ffa2","datavalue":{"value":{"entity-type":"item","numeric-id":3830531,"id":"Q3830531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4e25c0b27a9d9c05a83fa209039301f2c72b66","datavalue":{"value":{"amount":"+0.9185585","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":"Q2151405$BCE6931E-E457-4C22-B8E5-ACFA3697A6E0","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":"b84cd1ba37c1f7201e8fec4564a72ebca628ece3","datavalue":{"value":{"amount":"+0.9019582","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":"Q2151405$2BD17F9A-FE31-4D61-B0AB-DE62D8C446B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic of interactive proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_of_interactive_proofs"}}}}}