{"entities":{"Q3088031":{"pageid":3098746,"ns":120,"title":"Item:Q3088031","lastrevid":85746872,"modified":"2026-06-03T11:21:35Z","type":"item","id":"Q3088031","labels":{"en":{"language":"en","value":"Verifying proofs in constant depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940093"}},"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":"Q3088031$00EA9857-35DF-4D16-BE35-D974724EF92B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c5369901d84e8e2fce85a504e39aa8bba16b07b","datavalue":{"value":{"text":"Verifying Proofs in Constant Depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088031$C98CF0C3-A488-4486-9AF1-55F264E90B85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d7fd93bdb79affcf25d314996460fd0c491806b","datavalue":{"value":"1343.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$9872625D-3C0A-45C3-BBD4-858F5FF5EDFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8782b74890028a3cdde8b0aa687d7ee6028886a","datavalue":{"value":"10.1007/978-3-642-22993-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$AB8BE28C-CCB0-4346-AD82-7EAB0991D93A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088031$D991720D-1E1A-41ED-8304-E2E2132DE60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088031$C5BF8D9A-482C-44D6-B6D7-660D484B9410","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":"Q3088031$8ABDFED8-19C0-4A94-AFBE-75E50152BE70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$14DFC70B-5633-4524-AAAD-97919917A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$FBCEF406-DD10-4021-8D8C-3DB3C14F0F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$9D6694F0-008A-4561-8470-82B65B505C7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd4ef624ac7a1201042aee2aaff9eb61f8a7d81","datavalue":{"value":"5940093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$97B875A5-2413-42B8-9536-F1B75375AE0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"52ef834261990382d0ca8803e480d4e318f0381e","datavalue":{"value":"Q59903069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$341208CF-F366-4B27-9C1B-9F1891CDB73E","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":"Q3088031$91784C7C-C787-479F-BE72-E029C446A26F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f260fe429da2e78848b12fd1e4d36e2a3a198b19","datavalue":{"value":"W1533271350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088031$DFF98D44-EFB8-403E-B1DE-1073C63C1EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04b93a5dba603cc23d28bcf963b49d7679ae495","datavalue":{"value":{"entity-type":"item","numeric-id":2947574,"id":"Q2947574"},"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":"Q3088031$E71F7DC6-8825-4A38-805C-3D424A51AFEA","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":"729446c531adced31e8dd481896576fada1aafc8","datavalue":{"value":{"amount":"+0.759611189365387","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":"Q3088031$35C5E4A1-E71D-4B71-BD74-FFE0CF222195","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":"b7ebca8e357271cb7b475d1c81cc71b402975ebf","datavalue":{"value":{"amount":"+0.7588323354721069","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":"Q3088031$0E3AF340-5A9C-44A4-BB52-826D2BE283CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying proofs in constant depth (scientific article; zbMATH DE number 5940093)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_proofs_in_constant_depth_(scientific_article;_zbMATH_DE_number_5940093)"}}}}}