{"entities":{"Q2941756":{"pageid":2952476,"ns":120,"title":"Item:Q2941756","lastrevid":85265294,"modified":"2026-06-03T06:33:14Z","type":"item","id":"Q2941756","labels":{"en":{"language":"en","value":"Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475344"}},"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":"Q2941756$E5D91C38-5D30-44DA-9DFF-4E6139437501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3773a1b3fedd8143be116a6f001488f58dedd3f4","datavalue":{"value":{"text":"Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941756$D77D2C89-34F6-4063-9981-4DD35E1427EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93713b313ce950b18cd6e4d3295015445a9fa807","datavalue":{"value":"1391.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$25C9E731-8523-4FB9-9371-229D4DF2A385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"599fc6b6dc89e2c9de389180a7a3d256b28579af","datavalue":{"value":"10.2168/LMCS-11(2:8)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$BCB22EAF-99AB-43F1-8EF8-4AB9428C52D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941756$10F4BB5C-F2DA-4BFD-824C-F3494AADF0F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941756$66C3EC7E-9714-42E2-BA10-06E3623D1362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-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":"Q2941756$912FEE5A-256B-4515-8930-503A2C92FCF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64b8362c61e4a6e5f52145ff2d7f4f4a7f758952","datavalue":{"value":"https://arxiv.org/abs/1412.3246","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941756$7FEF58C2-EE4F-4AA8-8322-97FB505BFD94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$C9ABF3CC-0125-4009-9295-A30DEEDADE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$B562F1B8-A2E4-4BE5-9F1D-AFD1FF485199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$5FD90E3B-1411-4C36-B267-AC52C3C02E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$AB9D540A-7F10-4065-A801-8EFED63B8AF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e722f3c8c5d15bc28a28de47e2a6a56a85c59e17","datavalue":{"value":"6475344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$5DF39E77-4437-44C3-9C22-631F0E50A26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941756$AB049B73-939F-4EC4-B21F-6D265CABFB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941756$7A143C06-0E5D-4C3A-981A-99FEB3357435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb753cab9b46d59ac9b9f39eecb4040768f9d96","datavalue":{"value":"formalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941756$73163003-BB27-413E-A3F5-5A8C67F1FEFC","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":"Q2941756$7A6B2B20-B8AB-4408-A149-8ABE1FE63F13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2fb2b1af4700dc6866ff9c1c657ff079991cabb","datavalue":{"value":"W1614370253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941756$BFE9485B-E262-4CC5-B3BB-4B3D7A464524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0e40813816c29a36f339c7743680390e7acc43","datavalue":{"value":{"amount":"+0.7500585317611694","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":"Q2941756$CE6251D0-3EF0-45D8-822E-7CFB1F6CD1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aed8b15f4505adb9e56c6f28a3793f6caf96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0e40813816c29a36f339c7743680390e7acc43","datavalue":{"value":{"amount":"+0.7500585317611694","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":"Q2941756$45857C78-41C3-4B33-AF7A-65EA1EE31905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8435408439c6f9792eb6f9153b62bd6f93a52fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4943860,"id":"Q4943860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1828aa1a851685a069350e1e7a3b4166ca69af","datavalue":{"value":{"amount":"+0.7470837831497192","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":"Q2941756$427DF18D-3AB1-4C7E-B913-DBD88F03FABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c78761d63b135d2e7ee10abd5e0c7cfa38417","datavalue":{"value":{"entity-type":"item","numeric-id":5891922,"id":"Q5891922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1828aa1a851685a069350e1e7a3b4166ca69af","datavalue":{"value":{"amount":"+0.7470837831497192","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":"Q2941756$6D7BB7E8-6BA8-4139-8212-BC5982517438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58c4954de391f8f067df70837fcca1db33d74c8","datavalue":{"value":{"entity-type":"item","numeric-id":647334,"id":"Q647334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ab86e070ee0733fc7c538e23ceaf0e0c31f375","datavalue":{"value":{"amount":"+0.7358381152153015","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":"Q2941756$38953677-30DC-4AD9-9058-830AE4743505","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_strength_of_complexity_theory_and_a_formalization_of_the_PCP_theorem_in_bounded_arithmetic"}}}}}