{"entities":{"Q2947574":{"pageid":2958294,"ns":120,"title":"Item:Q2947574","lastrevid":55932403,"modified":"2026-02-21T06:47:49Z","type":"item","id":"Q2947574","labels":{"en":{"language":"en","value":"Verifying proofs in constant depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485184"}},"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":"Q2947574$9A3285E0-BEEC-4C44-ADDE-25B50F6F66C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e78cd071d4653883f86c8497f80d68a0a103c010","datavalue":{"value":{"text":"Verifying proofs in constant depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947574$20656A50-18CF-4F0F-890C-3E9A67746E6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b10d7e4c0542d73f4179675327d93028f43dfa4b","datavalue":{"value":"1322.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$632D3404-4EAB-4EBB-B56B-6D4168B5B4A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"206660e503962ffe7f8d133028e29f8f7a596086","datavalue":{"value":"10.1145/2462896.2462898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$DF917A76-D4E3-43C0-9CC9-1172965E495B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947574$3785C82C-454A-4AC7-B24B-9B620B0CFE18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947574$6FE6EE0A-8087-4D5A-AD72-02300847AD8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"374ede05e32be327f65e32226fa804f84b2fd0cb","datavalue":{"value":"http://eprints.whiterose.ac.uk/79314/8/JournalRevision.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947574$D7CBB1A6-90B7-4709-927D-E52ABDA44FFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$B61F368F-901C-458E-B7FB-6C94D16429AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$ADB79436-66C7-4479-A109-FEA1EC04C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$E705D0A4-41FE-4070-A2D3-0335FFEC485A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69e81e3389879b929ad9fdbc07a9f5407203ef55","datavalue":{"value":"6485184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$045817FE-464C-468A-8C77-569937DF51DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9180c95ed2d965dfab9b20c39ccccd47e88a4be1","datavalue":{"value":"proof circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947574$3AB528B6-37F4-4EF8-AECB-4A6AA145D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947574$239A486E-E61A-4BA9-A35D-3E595A75F7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947574$5B2076FF-0C32-4671-9FB2-6FBA17363FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d2c74920b526b9bc075941de672b7ecfabcb4d","datavalue":{"value":"small depth proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947574$B4831351-487A-4A3E-972A-E52D11749349","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"16b443f693eb9a8d2b56a6ebb8d563ff526d0aea","datavalue":{"value":"Q59901839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$D85187DB-CE5B-4A67-9FBB-2DF015647AF5","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":"Q2947574$23A20772-086B-4D6E-8E13-F4C1D97D3C56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdd7e9f6324dc2aeaac204f976b862319e821271","datavalue":{"value":"W2106155109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$DC386A56-DD94-4775-8AE6-8F2E629D75A8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2b8a57c9cfc37c29d564384145a6c7f2c2df7dc4","datavalue":{"value":"journals/toct/BeyersdorffDKMSSTV13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947574$E147799F-2A2E-40DB-9790-2A2D5C701A2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bb0b3756c9b1cf12f12e5de7c37230b07d7d15","datavalue":{"value":{"entity-type":"item","numeric-id":3088031,"id":"Q3088031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5445237cfc21b4aeec42d5c7a34a68f19e69da","datavalue":{"value":{"amount":"+0.9901021718978882","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":"Q2947574$E5107429-F1D1-4A44-AC69-2621AB54885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104932e16a9743cea27ea152d9ce309e96b00082","datavalue":{"value":{"entity-type":"item","numeric-id":2963912,"id":"Q2963912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e923f2a38da17c499b37dbaa0c59c1343395d72","datavalue":{"value":{"amount":"+0.7576053738594055","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":"Q2947574$837B6EAF-9F39-4793-928B-0BA5D44F0C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab722b0061c3556457fbc46f085c90f763d396a3","datavalue":{"value":{"entity-type":"item","numeric-id":6487945,"id":"Q6487945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4639d73bba0755ffbc805eed5dd587de7cc10cfd","datavalue":{"value":{"amount":"+0.751549243927002","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":"Q2947574$3AD65A7F-69DA-4180-BBCB-F5F3269D1D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947574"}}}}}