{"entities":{"Q5872872":{"pageid":7902423,"ns":120,"title":"Item:Q5872872","lastrevid":55429270,"modified":"2026-02-17T16:11:53Z","type":"item","id":"Q5872872","labels":{"en":{"language":"en","value":"A logic of interactive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638205"}},"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":"Q5872872$30216ED1-DA43-4F9C-8F0A-2CFD763081C7","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":"Q5872872$693997E2-AA01-4199-A200-36A37265B432","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":"Q5872872$51EB534A-3F51-45AF-9F52-4FD529577294","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":"Q5872872$E0BD4C42-7A04-406B-B420-16198451F7B4","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":"Q5872872$4061325D-60CE-4F2C-AD2A-D293147B0C19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872872$8050D5D8-434D-4C94-AD47-3EBE5A2C900A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$BDB385B9-BD12-4905-8E4D-5DD75054EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$21C6087A-0243-4719-966A-6BFBA62D5078","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984932c42b9e363ef75208680510af2aa247d76d","datavalue":{"value":"7638205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$03A631EA-E7BC-42EB-AFDA-133B4078C3BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a9630c7b4eaa045098558da4a315bcc1a42ca9","datavalue":{"value":"interactive proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872872$E0AB5493-F436-4A2E-B1E2-F01760F94F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8d3edd09944f75249407bd940adbd5a84e4713","datavalue":{"value":"zero-knowledge proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872872$181EF2DB-760D-40A9-B9A9-FFBA15D76843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872872$FAA9C265-F4EA-44E8-904E-909101CA764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872872$59DA8A9D-21FD-4880-80DD-5933066A48B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872872$69697798-554D-46CC-A201-E97D7655B628","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":"Q5872872$472B035A-479E-429D-AB38-A7F293EFACE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d479b8c5a67fa783d8e620957d0767bebaa65741","datavalue":{"value":"https://doi.org/10.1093/logcom/exac071","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872872$6906626E-D233-4235-8BDF-DE1085C58198","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d72ee5eabfdcfcaf421bbc7f276e1939f7647857","datavalue":{"value":"W3198454556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$251ABADD-6A42-45F5-9428-BAA4F4E27AA2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e8a0d19ab304d2165ccb0e1e09d4fb5935ad75f0","datavalue":{"value":"Q115037471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$6E9CA0FB-F57A-4ACA-90CF-BE77881F5CD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5afd2392433e774b5f7ecd0ab3cc7eadc00abacf","datavalue":{"value":"10.1093/LOGCOM/EXAC071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872872$793E9F88-C2E8-47D4-8AED-9D498A9ACDDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872872$31AD27FA-CF37-43BA-B4D5-097F1D0DB50D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef476b6e9f92d21b9e2dd87111ddd904f4837c06","datavalue":{"value":{"entity-type":"item","numeric-id":2151405,"id":"Q2151405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4dfeb71ba2c217fd23dc63cf36a3b855330da9","datavalue":{"value":{"amount":"+0.999622642993927","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":"Q5872872$EC3C37B9-4056-4ACF-B6C3-464D297A4A4F","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":"68a8aa9613d75d52f49d1e609a8174ce6477060e","datavalue":{"value":{"amount":"+0.7780104279518127","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":"Q5872872$CCEE76FC-CB3D-4D2F-B7EE-6DF9E738CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958b1abf97932ff1d8b8717fd14c1e63df61cc89","datavalue":{"value":{"entity-type":"item","numeric-id":276034,"id":"Q276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5076749db422ee34cd113bcf8c7308f6c8965312","datavalue":{"value":{"amount":"+0.7615473866462708","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":"Q5872872$CBA8703B-93A7-47EA-A756-317EE7966FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8bc2e16c1947230d72705620d97d6bd00976af","datavalue":{"value":{"entity-type":"item","numeric-id":929292,"id":"Q929292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5926f2b8051917f8bfbaa27b8e42e4a1d10bba00","datavalue":{"value":{"amount":"+0.7593602538108826","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":"Q5872872$B2F43A1E-5535-4ED6-B044-592BB96FD5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8f1d29ba732289df6c0591fd9841679da33eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116922e72229921d0078e9cade453cd54dc42d30","datavalue":{"value":{"amount":"+0.7548915147781372","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":"Q5872872$A1798C4A-FD2A-419F-9BB3-A28275982786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872872"}}}}}