{"entities":{"Q4507393":{"pageid":6536986,"ns":120,"title":"Item:Q4507393","lastrevid":47518033,"modified":"2026-01-01T23:19:01Z","type":"item","id":"Q4507393","labels":{"en":{"language":"en","value":"Computationally Sound Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519295"}},"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":"Q4507393$32B48AFA-8B47-4748-AECA-37BFF7DE2211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b720edac6e919c16e12a2e73c549b8d65f18cbbb","datavalue":{"value":{"text":"Computationally Sound Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507393$DF801E6D-36CE-4263-9425-3B2AF5A280E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"903d0745cdb946a5645671f71e864ef7c1bc0fc5","datavalue":{"value":"1009.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507393$29B14FE1-1E9F-4E91-B0B3-3C3E1CDC5DF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2119b46e8911836ffb8a60cbe2222175e70c7a7d","datavalue":{"value":"10.1137/S0097539795284959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507393$0D43DFEC-92D8-4314-AC38-0B221A9FAF50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12d9d7463f214191d881c162acd0e5fadcddbf58","datavalue":{"value":{"entity-type":"item","numeric-id":417639,"id":"Q417639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507393$7055E2E7-6268-4AD2-82E0-EAE471B142DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507393$974319FF-B487-40CA-9C40-BB09B400D6AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d142b1df5744501b8c2c66aa20cc87664cc9f4f","datavalue":{"value":{"time":"+2000-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507393$21B64739-2216-4A72-822B-E4E6E9A70B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507393$F47929B8-ED55-440A-BB23-C20A3ED5AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507393$F0A9761D-F80C-4D5D-B0B5-D4A70D295A83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc60c0b3f24e7f61fce9867edcd43b0e2d8debe7","datavalue":{"value":"1519295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507393$288BFC1A-403B-4F5A-95D0-1D2FABCE6DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507393$F6D60954-2F67-4B56-A72F-6D7A5AB276C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198526b3e16365d088b0d8e8cb1a48a9c3937632","datavalue":{"value":"probabilistically checkable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507393$F0682E27-51AF-46B6-BA1D-638C8763964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d243e060be5f8c397fa8b96e683ca1b64d47b073","datavalue":{"value":"random oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507393$F96D8D19-C20A-4516-B401-FBFBAA654E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63fa76cee4bd7eb519fd4ca9e336228d147ad91","datavalue":{"value":"Merkle trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507393$4CAB5D14-11D8-41FC-8961-227F0203B97D","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":"Q4507393$06D95745-E970-472B-8C83-366749876D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad52f58547ab0810a180a2de1a917115feb0246","datavalue":{"value":{"entity-type":"item","numeric-id":4381418,"id":"Q4381418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539cd57fae24e47b50acd10d2c619debc4ccb537","datavalue":{"value":{"amount":"+0.8922500014305115","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":"Q4507393$10A1928A-7467-4000-A246-2AE9237E5016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710949ac994989fc964ab02d9153758fe907d1ce","datavalue":{"value":{"entity-type":"item","numeric-id":4035674,"id":"Q4035674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4174f4ee430835bd814ac911e4a423b6086a13e0","datavalue":{"value":{"amount":"+0.8915786743164062","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":"Q4507393$C1F3D9DF-570B-466D-B6A5-1496E4114A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce018550eadd24e89fcf973622e2d181ee94dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":1126840,"id":"Q1126840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0257706ab6e5b481fd8bc84f53a2ef9b79a956a","datavalue":{"value":{"amount":"+0.7760646939277649","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":"Q4507393$EA0BA1BC-CB40-4BD2-BE9A-8AFE43DB8C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ead862ec256b6fb8c11203dcef7ced9a88eefa7","datavalue":{"value":{"entity-type":"item","numeric-id":5694913,"id":"Q5694913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284798537f57dec239aa11d40e42737532093a6d","datavalue":{"value":{"amount":"+0.7676852941513062","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":"Q4507393$206B390B-61AE-4DB9-9A47-681B110BE098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb34017d2959acceb077203a2463c7286afa976","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306d9b8599defb3abc56f4035343021f0452ab26","datavalue":{"value":{"amount":"+0.7622819542884827","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":"Q4507393$A897F340-C106-4E7E-B5DC-3CEC8AF96ADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4507393"}}}}}