{"entities":{"Q5889786":{"pageid":7919336,"ns":120,"title":"Item:Q5889786","lastrevid":55447795,"modified":"2026-02-17T16:37:37Z","type":"item","id":"Q5889786","labels":{"en":{"language":"en","value":"Beyond Natural Proofs: Hardness Magnification and Locality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7679908"}},"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":"Q5889786$2CAEE8FE-22C7-4A35-94E2-49BFFBC8EDE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4656fbe52e11e6569e5dd0fc0fe78b77104aee71","datavalue":{"value":{"text":"Beyond Natural Proofs: Hardness Magnification and Locality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889786$F81C0B70-1227-4AF8-864C-9256F4303557","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b6ea2cc34c1707d244e6986090ed93731478e08","datavalue":{"value":"10.1145/3538391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889786$8F70A106-A97B-42E1-BB8B-DE01E38DA773","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872548a5717e13b0f642923365c9967954f53b31","datavalue":{"value":{"entity-type":"item","numeric-id":2481025,"id":"Q2481025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889786$6E9E4D39-1ECA-4DC4-BEBF-D439F14F582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c9f93dff3981faa30fe20770d6f56b647675e1","datavalue":{"value":{"entity-type":"item","numeric-id":1751255,"id":"Q1751255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889786$90EEE3DD-B9B4-4285-91D1-8EB1D218F4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7805073a5ae9040c991641317a6d3bbe630dcf22","datavalue":{"value":{"entity-type":"item","numeric-id":2125079,"id":"Q2125079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889786$96043766-7CF7-4A81-B0F0-F5D1EFE882DE","rank":"normal"},{"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":"Q5889786$59832A2C-1BC7-4CA4-85B3-84EBABD8A471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f9d70ecf277b6d615a3e66a38427a74b9d6bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1791014,"id":"Q1791014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889786$B2E56C20-75A2-4DC6-B8E6-09316E79F727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889786$1C5D8A7D-4642-402B-B5EA-6B7A319A9238","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":"Q5889786$9B664407-CDC0-4AC1-A8CC-F8519DE8E11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889786$FA32CE69-00DD-4CB7-A1EF-9171B5EE2EC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889786$3D4EE70A-7712-4BD8-897A-FB8385957C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af505d9be68d27e71fd6f72dc7a0acef94bc0004","datavalue":{"value":"7679908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889786$71CD668E-D6AB-4CED-AE5E-CAF7C78C14E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889786$5337B279-9A95-46F2-A263-713F8DFEB03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6899f069c3f1042f29e8b176d985cd0bbfe7e26c","datavalue":{"value":"natural proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889786$7732799D-9073-45E2-A545-DFBB1EA3BA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc266899c0fdfb4dfc5af0da411b967f3f41273e","datavalue":{"value":"hardness magnification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889786$9BF78DCD-91E7-4819-B50C-0B6DBE764E27","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":"Q5889786$79DC2FF8-737C-4DF3-8114-E47D688BB1F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8505cadfcc703d547fc325161b5ced8d0dc621c","datavalue":{"value":"https://doi.org/10.1145/3538391","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889786$B2FE7DBC-C67D-4FF6-8CE1-7F2CABA8AB2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"205f615e840859dfcc37e7b4785f1fffe0ce6d00","datavalue":{"value":"W2991175439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889786$A79AA226-B167-4F87-85A4-F395B1A5E1F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a64702b026d2f4b6ae7da10ed2369bf9bd5f0c2c","datavalue":{"value":"Q113769992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889786$9C9D51FB-1DCC-44AE-B1A5-25D579DF9585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ae46852a9be82de6b03f0e54f57674d462ad19","datavalue":{"value":{"entity-type":"item","numeric-id":5875777,"id":"Q5875777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b77b1826c414be8b33b6d6c3c962150e87f3bed","datavalue":{"value":{"amount":"+0.986782968044281","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":"Q5889786$3867D7B0-37CE-44A8-9250-0D9D12539BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5236511ca63afd82944acdeb1b2566b5f52de11","datavalue":{"value":{"entity-type":"item","numeric-id":5028364,"id":"Q5028364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb5950a86b77d321207325161b87e0310eece87","datavalue":{"value":{"amount":"+0.790852963924408","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":"Q5889786$F6839A9D-22A9-43CC-A246-1A16740597AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5747b59191113a129f4dbea5e69d4db27a1da64e","datavalue":{"value":{"entity-type":"item","numeric-id":5091779,"id":"Q5091779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88382492242ef45650b6a6cdf7a1fdeb2dc1fdb4","datavalue":{"value":{"amount":"+0.7788732647895813","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":"Q5889786$EFED3BA1-91A1-431E-A676-13DD7887ACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb309bd244699358f27f988f61e64c744e17884","datavalue":{"value":{"entity-type":"item","numeric-id":5212860,"id":"Q5212860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2a6e8faa2541c6ef1839a7688f5ec0937650ee","datavalue":{"value":{"amount":"+0.7425063252449036","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":"Q5889786$9BB2E087-D745-4E73-A314-F74182C800DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889786"}}}}}