{"entities":{"Q3841041":{"pageid":5870946,"ns":120,"title":"Item:Q3841041","lastrevid":54500666,"modified":"2026-01-27T12:24:03Z","type":"item","id":"Q3841041","labels":{"en":{"language":"en","value":"Probabilistic checking of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190614"}},"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":"Q3841041$3F323CBD-3C09-4CED-B9CA-05755D1CBA9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3430e77498a6b17e75b9cf545b43220d27580006","datavalue":{"value":{"text":"Probabilistic checking of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3841041$69B6FB16-B1D6-4D12-8D21-7DEDC181F9D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"600251d5bed5962746c98138562266a0113ec872","datavalue":{"value":"0903.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$38D912D0-6EA3-467D-ABF8-F333A2A1A99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c59409e0cf2938e75f707b12ffc4db7846cb16b0","datavalue":{"value":"10.1145/273865.273901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$A963765A-DB0A-49C3-82D6-33CDAEE1F06C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d14ec0d2c25271c51dc324d4a7cd01ba1a383ba","datavalue":{"value":{"entity-type":"item","numeric-id":178481,"id":"Q178481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841041$7DE74733-AA62-41B6-8FD2-C0DC79F2B25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fa856eb9cad7c56d02923351b2c4236ede2b614","datavalue":{"value":{"entity-type":"item","numeric-id":6480589,"id":"Q6480589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841041$E42516B9-57D2-4ED3-B65E-49B01AE775E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841041$8D35E228-1283-4243-ADA6-E0E57350494B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a28ca4b86ebb8f9bf05a5bf5a9824f7507a71a8","datavalue":{"value":{"time":"+1998-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3841041$E38CA2F2-E928-43A3-BF94-9BB23DCB575C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"820c5c8a653220e802dfc7c2d1c21902817da8bc","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1998-45/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3841041$CD0BE1A5-A66D-4DE8-A350-04184D62CE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$D4F9629C-25FB-427E-9169-73F2E457E920","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3655d2b11aa9b7b68e9ca989d244867788ff947c","datavalue":{"value":"1190614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$018246E8-C1CD-4C89-B335-B3C6896E63B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0862baf222b28375411460baab4ed12b7671802e","datavalue":{"value":"complexity hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3841041$2F22D00E-AB26-4F72-BAE3-17FC647041C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4771e87024379a127eeb5cb825da92270294fe37","datavalue":{"value":"error-correcting codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3841041$5C436E6F-9A15-4B91-8A49-33CD55E3F42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3704ef57c36b5171902d378351afb597374056","datavalue":{"value":"hardness of approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3841041$54ACAC8B-6F68-4C98-A648-D7B551418159","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce9beb6149d8547babb12ac87d72aed01317f490","datavalue":{"value":"Q55869216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$648E961B-BBB4-4DA5-834F-5DC44CD48E4F","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":"Q3841041$A61A1996-B81B-4691-AE0C-A16F749DF6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"286060766ac8ea5d7fd065f70e43dfb924332c13","datavalue":{"value":"W2019578639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$A3CAA4CB-5B1F-4093-8C7E-F63F1E8CAA30","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2672f9d798cf112e5e2c25e57ad5a0ff4541c03b","datavalue":{"value":"journals/jacm/AroraS98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841041$D47A6960-7273-44B0-BDB9-B424F3653F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfbe5278299d2455f99a7f2270406f8ce244889","datavalue":{"value":{"entity-type":"item","numeric-id":4230321,"id":"Q4230321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5973cfdf5af81d8e9a5b91635f7fc6f9cafd0e6d","datavalue":{"value":{"amount":"+0.9874941110610962","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":"Q3841041$51EB5598-8110-4D6A-80B5-9EA63D8FE518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a111356de70e85c21926d94eb0a87ca2bef27f","datavalue":{"value":{"entity-type":"item","numeric-id":3158513,"id":"Q3158513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c0c907e8f9b80ec6817529456c16666b11de31","datavalue":{"value":{"amount":"+0.9011352062225342","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":"Q3841041$C25C9899-6FB6-4BDB-ACC0-4E7DEB1F9515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71a9c4b35d7b6a68bd039dbc67d0e2884e37718","datavalue":{"value":{"entity-type":"item","numeric-id":1344618,"id":"Q1344618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45467accd204fa39174f0657f50f99c5de80015","datavalue":{"value":{"amount":"+0.8827211260795593","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":"Q3841041$11BD0EB4-5C69-473B-9681-E385EA71FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f1a1ccf4c1bfe4b8fbb79bcc8627df209f2b95","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df82f7aadf7a75f15cf218db23e5086149736ce","datavalue":{"value":{"amount":"+0.8783915042877197","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":"Q3841041$101DF469-29C7-455C-8191-26DEEA558A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3841041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3841041"}}}}}