{"entities":{"Q6083591":{"pageid":13217898,"ns":120,"title":"Item:Q6083591","lastrevid":55526629,"modified":"2026-02-17T18:15:07Z","type":"item","id":"Q6083591","labels":{"en":{"language":"en","value":"Proving as fast as computing: succinct arguments with constant prover overhead"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774422"}},"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":"Q6083591$B24BD1DE-043A-4AAA-9376-28B6F2563A5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31135051ac5e5fcada8ad280d19b598b62aa7550","datavalue":{"value":{"text":"Proving as fast as computing: succinct arguments with constant prover overhead","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083591$11C5FF47-0ACD-423F-BB56-4CC8BC164278","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"587cbccd459ffa075270f36e07ca3261b168baae","datavalue":{"value":"10.1145/3519935.3519956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083591$347A28E3-99B9-4E66-8F6A-162F64FC90FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4fd533ced917d6a4c70ffdba90a2023dcab86ef","datavalue":{"value":{"entity-type":"item","numeric-id":6083453,"id":"Q6083453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083591$01F06957-60BB-4D4D-AD57-1CE7B6684B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083591$EB0A910B-8083-479A-9F9A-6FF421E05910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083591$77AC45BC-CB4F-4324-825F-12663098F6F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8cbaa073ea11146c644803c41b601ca98a58891","datavalue":{"value":"7774422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083591$7BA8ABEB-201A-43EA-BAA6-53F0E9A951A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c46dee863221e15a493c074103d11b45fab1bc6","datavalue":{"value":"IOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083591$B00FEB7B-B012-4229-BAAD-31C6E19FE4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7659074176ab1e8bb1d77625f6b271278a0d0a","datavalue":{"value":"interactive oracle proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083591$7B046639-BF8D-402A-A628-B29EFCCA738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8049a893f14f5d5ab39b055ef1a377315c2a048f","datavalue":{"value":"succinct arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083591$A2958F43-0B99-4394-9994-176A86639B57","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":"Q6083591$9BB50C12-B72C-47D2-B8EC-406C36FFC276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21db368e2928b2d531253b19bc7b29bdbc4e8a54","datavalue":{"value":{"entity-type":"item","numeric-id":6155264,"id":"Q6155264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb599e8b11e66fffebf25b2425b42f787a96f12","datavalue":{"value":{"amount":"+0.936742901802063","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":"Q6083591$3D22E948-AC20-454F-A7CA-1CB668D36520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e6fd1d01a13ad76c69786bc2ce4657f308c72b","datavalue":{"value":{"entity-type":"item","numeric-id":2119036,"id":"Q2119036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a4724175e58d98fc206f7ebd2bb4b66695c78a","datavalue":{"value":{"amount":"+0.8346012830734253","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":"Q6083591$2D972E16-4669-4F06-A941-9BD65DC5B47D","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":"e43b5a074365bca9244113161f621dea1cd28815","datavalue":{"value":{"amount":"+0.820537269115448","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":"Q6083591$BB269E89-8CEF-4743-9415-60CD8A7F40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f219a9eb361691c97d58cbbdd1d43b31ca109e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2119037,"id":"Q2119037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bf714c7331e51c04e6ee07029fdbec0adee290","datavalue":{"value":{"amount":"+0.8153642416000366","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":"Q6083591$DB414796-54EF-4ACA-86AF-1BC4CF06C017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2fe502609db35c70aa51c8ee0d64ef302405fb","datavalue":{"value":{"entity-type":"item","numeric-id":6637522,"id":"Q6637522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa093f6cc3e66e7c8796476e06981f9277613f80","datavalue":{"value":{"amount":"+0.8097103238105774","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":"Q6083591$32E08FAB-E67A-40AC-ACBD-25BF9A2C2F78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6083591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6083591"}}}}}