{"entities":{"Q1126840":{"pageid":1137589,"ns":120,"title":"Item:Q1126840","lastrevid":66188337,"modified":"2026-04-12T08:08:27Z","type":"item","id":"Q1126840","labels":{"en":{"language":"en","value":"Probabilistic verification of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1184384"}},"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":"Q1126840$9898C279-8B69-4DCA-9671-0545FCAF5E2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff698eca98e96ebfe9b50a36d2feaa83f5c03d1d","datavalue":{"value":{"text":"Probabilistic verification of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126840$E7B5FD46-30DD-40A3-A45D-09CF34FA330C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b30c54acf807ec8445529bfd1be76a8e05a7b59d","datavalue":{"value":"0912.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$DE7C79D4-81C2-4F4C-9369-88EDD6A3B9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126840$2593D18B-19A1-4B5D-BAD1-7F7ADE9BDA18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0213be50779ba5bffb4613228959545da04beaec","datavalue":{"value":{"time":"+1998-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1126840$45C489AD-ABA4-4A56-87DE-0E8DB895CFA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aeaf9f25ece3ac025e5f9de830159b04023f6565","datavalue":{"value":"https://eudml.org/doc/224168","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126840$D2859CA0-69DC-4813-ADFB-A916C43F80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf3383281218f6586df979e5abc4ad3283b47572","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/xvol-icm/14/Sudan.MAN.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126840$546C2B38-F55A-486A-8619-6A6EE3CB8BA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"653bcc309f7e2e5ceffa053f13fca4ca7d4dad25","datavalue":{"value":"This is a survey of probabilistic proof verification as proposed by \\textit{S. Goldwasser}, \\textit{S. Micali} and \\textit{C. Rackoff} [SIAM J. Comput. 18, No. 1, 186-208 (1989; Zbl 0677.68062)] including descriptions of some of the methods used in the construction of probabilistically checkable proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126840$468089A2-6B6A-47B6-A8AE-E0BD36F634CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$725558E4-F160-4DD9-BAB6-40728EB2E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$34509741-F23D-4B78-A605-671DD023B962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$47F7835C-37BE-4434-AAAF-D9E4412EBED0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ddc2c68fb9f5d938b15dee553b9bb0ee0b8c09c","datavalue":{"value":"1184384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$CF3C8BFE-9BD2-476D-BDCD-0D9FC1FFE248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126840$94B4422D-12A8-48B2-ABEF-7AC4703A60E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126840$19C3233F-0398-4D73-9606-49417CDCFF09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126840$9DCECF9E-0800-46EE-B881-D1ECED8AE83B","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":"Q1126840$D6FE87DE-C847-4754-B4B7-CC2A979184F0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a62053361963610b1bdcdb14e22e9fdd1f55be5e","datavalue":{"value":"bafkreia6vk6e6n5iyrud3xtd4ib23sy33yubndfyghyj442nmbbctn7fye","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126840$C50F5543-0A49-441D-AA5E-59F3137364B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd7572ad91008f8d4532f3567ea98b1e4155afe","datavalue":{"value":{"entity-type":"item","numeric-id":6480588,"id":"Q6480588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126840$C0880E5C-8C2F-480B-BED0-137429850CE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb9138a8c9d7699fbd7ad1b6601cae906f6ccc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048957,"id":"Q5048957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b9bbf485bb068622cb133155d84673eafd78b6","datavalue":{"value":{"amount":"+0.8496182560920715","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":"Q1126840$8548EF97-3260-47EF-A316-F4F653DF4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57ce87de5692f2084764289a5b77d7aedf486c3","datavalue":{"value":{"entity-type":"item","numeric-id":4866089,"id":"Q4866089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427014fa49b5b66e3b47673700c5cb4c8ea2c420","datavalue":{"value":{"amount":"+0.8281698822975159","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":"Q1126840$BA86526D-FDAF-47A8-B70E-5C1A6ACEBC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ffd81127fc3e0ca06eca8fa3ca7cf589d18ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3530806,"id":"Q3530806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428d765b7840e9aa5c4bcfb6634dce71bed67190","datavalue":{"value":{"amount":"+0.8202081322669983","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":"Q1126840$1F39566D-7EA4-486A-861A-2D46C6887E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e4c851f4908632f165ce4f91d3fb87f44ce5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1577488,"id":"Q1577488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e897b7bc96c0695eac6bd4af2c30120c0b9211","datavalue":{"value":{"amount":"+0.8073143362998962","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":"Q1126840$A185C8FC-C7B9-4D95-BBC3-39736D1E564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf2ee73e2452a4be5a6ce035ce2f7b022b9f287","datavalue":{"value":{"entity-type":"item","numeric-id":3430210,"id":"Q3430210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc622b4fad4057d7a23df09ba00fb6828506107","datavalue":{"value":{"amount":"+0.7939389944076538","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":"Q1126840$AEDA66D1-6A78-463D-9023-6A1B0ADA1C2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic verification of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_verification_of_proofs"}}}}}