{"entities":{"Q1106840":{"pageid":1117589,"ns":120,"title":"Item:Q1106840","lastrevid":69654840,"modified":"2026-04-13T08:29:38Z","type":"item","id":"Q1106840","labels":{"en":{"language":"en","value":"Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063082"}},"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":"Q1106840$95E147A2-D10D-4301-A005-594AB6112081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddac494726e1f102209d3f9fff77e5badd5b2f30","datavalue":{"value":{"text":"Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106840$E82294B8-E0B2-4431-8B95-C156EA01E7FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c9e616962734eb6ceb379d3153e1cfee2bbc0ee","datavalue":{"value":"0652.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$D4A7991C-7C79-4E82-A538-F46F31C0C263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"753281d94529e0fced23f7ec86950a7e9bcb025a","datavalue":{"value":"10.1016/0022-0000(88)90028-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$DE93AD02-311A-44EB-AC08-42EA5E2537C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4342967813d6c73138a0b6a4a791b0a8c6593","datavalue":{"value":{"entity-type":"item","numeric-id":287984,"id":"Q287984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$8BA45036-EA95-42A1-801A-C689685A4746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb810284579fca70d13987c395247bb8f287f16c","datavalue":{"value":{"entity-type":"item","numeric-id":196035,"id":"Q196035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$21AFF4C7-6002-4FE3-B279-BECE55D81F4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$4CFC7284-8D76-4C27-B7A8-CFC3F8AFEFA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1106840$93E09B74-783F-4AE1-AAEC-316633B63975","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f7e55846394d10b0290e24e46e3d1126c8e2599","datavalue":{"value":"Exceedingly long proofs or computer-assisted proofs address the question that there might be a positive probability that a proof is in error. Such facts emphasize the role played in mathematics by the verifier (vs. the prover). The paper deals with the problem of formalization of the notion of efficient provability by overwhelming statistical evidence. A randomized proof combines the nondeterministic nature of a classical proof system with the randomization performed by probabilistic algorithms. The main example is Arthur-Merlin protocol which is used to obtain a hierarchy of complexity classes ``just above NP''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106840$361ED2D2-CE7D-4FA2-A96D-44D625A6561C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$6E9CC463-03ED-4DB2-9A0A-BA79B34C3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$A2A67455-EC32-4243-B0BE-34E20C2E77C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85c8b0f08b0e38fb6cef2d5592fc556acdd7dd51","datavalue":{"value":"4063082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$EC2EE7F7-0CAA-46D8-9EE7-15ED159D732E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d4c39980619ee89e00557c727f174d7f4a3197","datavalue":{"value":"randomized proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106840$30B3FE0A-4907-42A6-8D4C-B7B54D8CA515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"703b1473db12d3fdf6d663c2a9dc5fd1f779464c","datavalue":{"value":"efficient provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106840$A079A0B9-63AD-4208-AB6E-40E33FAB1A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9991c1f183c8db085cc1333268da87f819356e","datavalue":{"value":"Arthur-Merlin protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106840$B41CA01F-8948-4E3A-B6D7-9C86C4B2A02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643303f6f6ccb6b850884be2869bba32ec0d2c64","datavalue":{"value":"hierarchy of complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106840$1178ED74-3517-46A2-AF13-6E322619AF19","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4aa9bdd58cfad9e0616620172ef2765fd8055c43","datavalue":{"value":"Q56386804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$059E6145-CDA5-486F-9907-0F2E89A78407","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":"Q1106840$ADB4D08C-EE4E-4A11-B18B-D8683D16CAD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90bd99d136a5cef775839e6a41194704c0778393","datavalue":{"value":"https://doi.org/10.1016/0022-0000(88)90028-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106840$4A60833F-C149-4DD9-B504-BEA3B45CA87C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cc96000942d90e5ef29bee3a0dec07707100c97","datavalue":{"value":"W2148957455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$76A62487-7BC1-45CF-A417-42E0599A9E77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c11a9d684922eda25f7051d00324e41e336a73","datavalue":{"value":{"entity-type":"item","numeric-id":3989015,"id":"Q3989015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$17801F74-7B19-4D62-9C5C-D6D28E791C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd01491363e13342f852f5e56870cb013656da81","datavalue":{"value":{"entity-type":"item","numeric-id":1164029,"id":"Q1164029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$C9242F4D-417D-47CF-A2B8-151BD96E5D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3771f8171656e0aed45bf0777afe8aad7a3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3902480,"id":"Q3902480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$4DD5535A-72FE-4E11-BB6A-45A3241962DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b8e7cf4034c184fb2852754739a22a4e70036","datavalue":{"value":{"entity-type":"item","numeric-id":1108004,"id":"Q1108004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$830AEA87-3498-4A86-A564-615B1FE00AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c847610ade77b047e3075d35766cbb1d381ec23","datavalue":{"value":{"entity-type":"item","numeric-id":1259907,"id":"Q1259907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$01C67C62-2688-4FC4-8715-CB126B0DE67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$4D6E90A8-4B4D-415E-9007-F45B4716F01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$1CAD51A9-41F9-4942-BEBE-DDB20546E929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c3fb0ef3c7cbeb1b19e8a3632e3bd5fcfcda10","datavalue":{"value":{"entity-type":"item","numeric-id":1165257,"id":"Q1165257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$7D22BC5C-CABE-426C-868D-D7E355C12E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$6DECFB06-C884-4DF8-93FE-AFFC595D1306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb24dff4005148539085ff5c885035cfccaed69","datavalue":{"value":{"entity-type":"item","numeric-id":4140967,"id":"Q4140967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$7D4FB071-C5AB-4547-8188-FDD31B0308AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$E7CFB13B-7BB8-4A7A-BC71-279F303695AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6364e30db5bf5ba9c696668d94376167a6d7e110","datavalue":{"value":{"entity-type":"item","numeric-id":3773343,"id":"Q3773343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$26588E4D-AFD2-44A8-A7DB-7DC1CEE45CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab289263ac80a8df854a0b026020c7e068e5240d","datavalue":{"value":{"entity-type":"item","numeric-id":1052094,"id":"Q1052094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$4E28CB01-C401-4F7D-B5D6-D4F4E529B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de3ec857f6169c81f2908b5b9720efbe3cb44f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168744,"id":"Q1168744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$780AF202-8257-431D-9A83-BE0EF3F7916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42632a0629117e5df5151e251b093acf28c6d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":4104620,"id":"Q4104620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$E060A3FC-C126-4085-8164-245E695A4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3589abe08309ee0c80b87d4a4fa6a10bf824c734","datavalue":{"value":{"entity-type":"item","numeric-id":1235011,"id":"Q1235011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$A6BD5F2D-82F4-4259-A044-84D62E4E9F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4889dc56c7217c646e3175bcede965add157ef74","datavalue":{"value":{"entity-type":"item","numeric-id":4134003,"id":"Q4134003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$13BF3845-C6BC-4617-86B0-4091572EC90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d6aea8ad42e1529340f798331d048e7c6e72dc","datavalue":{"value":{"entity-type":"item","numeric-id":5620889,"id":"Q5620889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$49B19C47-758C-4B12-A050-B94A9CBC283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaea270d6af5965e230e633308f417c3f6cc124f","datavalue":{"value":{"entity-type":"item","numeric-id":5729297,"id":"Q5729297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$F3BED1DD-DA89-406D-A03C-E22FAB77919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88642c40be39207dd036915c9050004e007a1dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3787473,"id":"Q3787473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$7DA4F660-07E4-48CC-B6DF-E8A5C4BCCE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5788f763efd008c2d11518ec3fd969f5e405cff7","datavalue":{"value":{"entity-type":"item","numeric-id":1088641,"id":"Q1088641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$C7E5A3EE-0B1F-4C89-9B5D-4DFEA451A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bd9f8b374150aa903c5c588f7833c7bcd7e330","datavalue":{"value":{"entity-type":"item","numeric-id":4190797,"id":"Q4190797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$4C00E729-8E05-42AB-A31C-64F8659F28CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8706e2a690d5177037c83ceb7a917b1bfcfb5f56","datavalue":{"value":{"entity-type":"item","numeric-id":4113883,"id":"Q4113883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$F6795062-5F20-4AA6-9C94-D5838DAF0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$038043DD-DFDD-4BD2-86A4-3EF8C0004EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fda6a9324563f1c0b86a463baa312018e84653d","datavalue":{"value":{"entity-type":"item","numeric-id":3792245,"id":"Q3792245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106840$553B65C9-2421-4495-BA41-1924476280C6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"804f8f02f9e1187adbe35a8343a0f9a2fc81c39a","datavalue":{"value":"journals/jcss/BabaiM88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106840$3491A687-DC22-4046-9A52-87174F7D21C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abae34d62d25540e51a46ff5cb39b676f0e94245","datavalue":{"value":{"entity-type":"item","numeric-id":1807460,"id":"Q1807460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cee5037e56fcd81da201f83678186bf96e823ee","datavalue":{"value":{"amount":"+0.8244035840034485","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":"Q1106840$063C28F6-F969-4764-8A44-CD39A967FED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cbc91830728a1e21470e7f5345dd91bb939e3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4808618,"id":"Q4808618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07fd0a004d6aca90cd0311fb704694cf1b22c8b","datavalue":{"value":{"amount":"+0.8020042777061462","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":"Q1106840$F91223F5-1B9A-4BEE-8DC6-0C23F2DD1FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b908ddde7e969959898775622d32f4ab1dc45ec","datavalue":{"value":{"entity-type":"item","numeric-id":5696962,"id":"Q5696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566e44787122128ccfc84f49d3252a44f0b79503","datavalue":{"value":{"amount":"+0.8020041584968567","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":"Q1106840$BA3AC197-6BDA-4007-B43C-4C5FF2372877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fc1dee6fb4f263c1bd51c3d3f03c7d1a9fd490","datavalue":{"value":{"entity-type":"item","numeric-id":3787473,"id":"Q3787473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a5de7e73ccfa142bdc50e7fd0d23c7bc092f01","datavalue":{"value":{"amount":"+0.798157811164856","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":"Q1106840$56207135-210D-4EF8-ADB0-57347DE69372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bb54e0dd0faac2e5309faed1306a0a679ffa2","datavalue":{"value":{"entity-type":"item","numeric-id":3830531,"id":"Q3830531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b234e36b9936051fa0ba021382b6ee878c7c72","datavalue":{"value":{"amount":"+0.7894653677940369","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":"Q1106840$093AF905-B002-4ECE-945C-20C0050D6309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arthur-Merlin_games:_A_randomized_proof_system,_and_a_hierarchy_of_complexity_classes"}}}}}