{"entities":{"Q6155264":{"pageid":13289695,"ns":120,"title":"Item:Q6155264","lastrevid":55455832,"modified":"2026-02-17T16:48:35Z","type":"item","id":"Q6155264","labels":{"en":{"language":"en","value":"Faster sounder succinct arguments and \\textsf{IOP}s"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7694628"}},"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":"Q6155264$1D543335-313A-4185-AF75-067955A52CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e084e031e6cd5e0b3c1b2525d52ba3ff81ef2b5","datavalue":{"value":{"text":"Faster sounder succinct arguments and \\textsf{IOP}s","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6155264$AC50FA0A-DCB4-471B-B226-A4BCD36466A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba9d076cdeff1ddd88694265cb4aea4f6904bbfd","datavalue":{"value":"10.1007/978-3-031-15802-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155264$7B3AF12D-A582-4D70-9A3A-0370A2CCA238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f1e4677fcf1fc63271f2bfc358c8d6491378e46","datavalue":{"value":{"entity-type":"item","numeric-id":1690290,"id":"Q1690290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$34AA1D42-9EC4-466C-9BB9-4529475621A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd5ef419e9cb275a1574697f0ddd536422071d1","datavalue":{"value":{"entity-type":"item","numeric-id":776007,"id":"Q776007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$B73543FC-A39E-4BD7-907F-E82151829CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1639fe72cc7e2562e8a39dea9dec97d4f5cd38af","datavalue":{"value":{"entity-type":"item","numeric-id":6097254,"id":"Q6097254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$7CEBF92F-ABF5-4289-BC96-B152C240CCA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4620bd86abefef837721d712e51cc457b512df","datavalue":{"value":{"time":"+2023-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6155264$D6E2086A-DD26-4E4D-989D-F27AE833A083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155264$BA67E910-C05D-4E0E-96C9-E6CCD15AB992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155264$231F4A69-1777-469B-B5BE-73C48A45D3B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c29073c9a79554c22288e4db699c51b64b315a47","datavalue":{"value":"7694628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155264$1D7BF5E8-831A-4D52-B48B-804EC99CABC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8049a893f14f5d5ab39b055ef1a377315c2a048f","datavalue":{"value":"succinct arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155264$AF4F724F-DC89-4ADE-9DAF-7B6D89E037E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d7119e6b7e494d2b0d07493d0ab8fcf29cfaea","datavalue":{"value":"proof-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155264$922AA446-4190-43C2-AA0B-0EC6FBA9D819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d137b3022d8a649d586d714e22ccb18679bc75a8","datavalue":{"value":"zero-knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155264$C3D8D915-B491-43F1-812A-5C9FDD3CB226","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":"Q6155264$42372438-6FFE-4508-B192-C70222FDB85F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"106fd32e17d401c1bb21eef8d78e2e4af4134959","datavalue":{"value":{"entity-type":"item","numeric-id":4638056,"id":"Q4638056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$20095DCE-0777-453D-B10E-24D674B48CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abf1ade1ffb10967d9dc66cab7b03492a2b3cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2914264,"id":"Q2914264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$AA39B029-E887-4664-AB79-66BAA4A2765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e323ac101ae03a0692cb5fcc87c3630db88ed014","datavalue":{"value":{"entity-type":"item","numeric-id":1701451,"id":"Q1701451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$9BA8C7F2-705A-4F72-83AC-264689FD3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fb068de73c3faedf52f04f5015ad5e49f897fa","datavalue":{"value":{"entity-type":"item","numeric-id":2175951,"id":"Q2175951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$921DDC10-71E4-43EA-AE3A-81F3FB9E3333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b32da8953bce59f38b6a609e9f604897eb199d","datavalue":{"value":{"entity-type":"item","numeric-id":2119036,"id":"Q2119036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$FBE7B3C5-7E57-48FA-8274-2FFCC2758576","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":"Q6155264$C15BB8B0-DAF5-4360-9821-10F743BD0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3820353b7787c17d4f99270884bf8793668490fa","datavalue":{"value":{"entity-type":"item","numeric-id":3181021,"id":"Q3181021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$DC255811-7E2B-4E45-8563-CAADF2890673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e888fb78ba97027224f202b9ce76c32dcc8f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5750398,"id":"Q5750398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$8D1941DB-60B3-4AFD-83AE-DC7707591A44","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":"Q6155264$3D903909-D957-4E76-84D7-413E41649E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1321ffed99f319b0574b7d391288d103647adf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2139631,"id":"Q2139631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$58185EE2-EA19-4A6B-82B1-01FD232CC906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebfc91ebfe41d6cfe85c032c6c518ff16c378a83","datavalue":{"value":{"entity-type":"item","numeric-id":2139630,"id":"Q2139630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$080F0240-492A-4839-BF29-D84A87CD6AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4ee078439ff1303daa5e3d24c249552466e267","datavalue":{"value":{"entity-type":"item","numeric-id":3563850,"id":"Q3563850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$58818227-35FE-4709-8995-3CC5C1B09E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42d0bbcc896e580ccce4165ca5f222bef2d3731","datavalue":{"value":{"entity-type":"item","numeric-id":6107254,"id":"Q6107254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$D4983E65-483B-4009-9797-5DF5112184DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b9c674bb61f32829107ecd55d217a65a2fd0da","datavalue":{"value":{"entity-type":"item","numeric-id":3595411,"id":"Q3595411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$4A1A402D-B955-4DCF-B3E7-A92DB62E72FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bf07ccc97d78ab0f370511a42da2fe0f09ca68","datavalue":{"value":{"entity-type":"item","numeric-id":2055636,"id":"Q2055636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$F0B3EC2B-D765-4321-9A0A-8AF6935F7ADE","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":"Q6155264$8B727234-4AD6-4225-89D4-EF08679235CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219548f39be67fd54d015f2e813333901ae02117","datavalue":{"value":{"entity-type":"item","numeric-id":4993290,"id":"Q4993290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$86D3822E-B4DB-4EC5-BA94-6CD939EF2E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fa049918cc62c6b3a6807639993583ac1fdedc","datavalue":{"value":{"entity-type":"item","numeric-id":3549728,"id":"Q3549728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$335BBE4E-385B-4120-B4EA-E421F9970055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14275decf8e3e611a1e9608e87eae50417a42cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3575162,"id":"Q3575162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$313FC859-2663-4390-8979-3CE463200F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf34753e6286fdfb868e863f37180ebd7542525","datavalue":{"value":{"entity-type":"item","numeric-id":4507393,"id":"Q4507393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$5D4F7607-A16C-4A6A-A86A-044A387D0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109e52e0ec1b9fc3e72381f96ffd86ec7a199903","datavalue":{"value":{"entity-type":"item","numeric-id":4997311,"id":"Q4997311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$2A94D1D3-66CE-486F-82F3-5DE565D43DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1004c5d55757d58af0eedff2519fea2085d7506a","datavalue":{"value":{"entity-type":"item","numeric-id":3129458,"id":"Q3129458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$3A3BC352-6F9D-41C6-8EF0-EA67AFA44F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9b7737949234a025ac5603db2250c6e84060fb","datavalue":{"value":{"entity-type":"item","numeric-id":5252263,"id":"Q5252263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$AAC0BD86-8569-42A4-93D8-28A2C0A6A06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5a5bea3020c91ae28584e31f12221055298ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2304944,"id":"Q2304944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155264$F70F050A-AC6A-445B-9869-9C2C9D478C34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba070111c3efccfb56793082de5fd03606a2328","datavalue":{"value":{"entity-type":"item","numeric-id":6083591,"id":"Q6083591"},"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":"Q6155264$F316A56D-C32E-4098-AA9E-DA15B3482B15","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":"9ce85a3cb9f744af2b11b242ba38e8d3a8eb935a","datavalue":{"value":{"amount":"+0.7871087193489075","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":"Q6155264$61799BA5-8920-42E2-9DF8-631205515491","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":"ce863602ef6fcef88c7aa804c95b98a7d9534e9a","datavalue":{"value":{"amount":"+0.7869210839271545","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":"Q6155264$CF58F8F8-28A2-4C99-884D-FDCBBEBAF749","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":"ecfa7df97ab828234461d55736f3576ebae86823","datavalue":{"value":{"amount":"+0.7811196446418762","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":"Q6155264$C0CB77B1-C3E6-48EE-BF76-EB763384141B","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":"a3fac292e7bc320140b4a3e69bc47d1671c74416","datavalue":{"value":{"amount":"+0.774686872959137","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":"Q6155264$832E6AF0-7A78-44A4-B0A5-E20B80BC0A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6155264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6155264"}}}}}