{"entities":{"Q3583040":{"pageid":5612944,"ns":120,"title":"Item:Q3583040","lastrevid":51063182,"modified":"2026-01-16T11:20:52Z","type":"item","id":"Q3583040","labels":{"en":{"language":"en","value":"Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774861"}},"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":"Q3583040$443E04CF-46D7-4097-AAF3-29BBC971221E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ba64eabf6839654558de3870c69197e1111bd7","datavalue":{"value":{"text":"POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583040$3B2074A6-C642-43DE-AAB8-62093C9CA89E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbf7c944993fc93db76e066676556deb06a822a3","datavalue":{"value":"1204.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$95552D9A-14C5-4C55-8B3F-460EAB3DBDCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5efcc38b3dbf9ccd978356ea13aeec60388a6369","datavalue":{"value":"10.1142/S0219061309000847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$77109467-0826-47C5-8757-D64D1CB3E006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$3A013C95-B5E9-42E3-94E2-AB4136D4F4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$04D1A592-66EC-4E46-8C65-30C065384D51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$3E558045-062E-4EF5-AE7C-63743A288F2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583040$BEA1342C-D38E-455A-8AD4-3D1B1A55EB86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$28DAD9A5-F625-448D-9562-CFEDA35DF0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$113143E2-74D5-4081-B649-D7D262DFD6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$2A31DEA8-5B1B-4FBB-A089-8A66E466EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$F218CEB2-AADD-436B-895A-D934328239FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75fbc2c4f688d557e9618dd36198c079d639ae8e","datavalue":{"value":"5774861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583040$107129D4-BAEB-44EB-9E0D-991D85602867","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0c6ad5290f09285ad0e447578cd512e4a708da","datavalue":{"value":"polynomial local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$8035F05E-2331-41B1-929D-A86454DF62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cebe188a21d406092f266aec0b91fac3d8f72f6e","datavalue":{"value":"provably total","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$88DDF872-65AF-4472-93A5-B86E6BE851BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$DBCDFA18-5F2A-4D6D-BD9E-E8C56A1AD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4f130a54bffd79476b5fcd8c5e276e69152c4c","datavalue":{"value":"witnessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$6D59F880-FBF5-410B-9CB8-4174E3356306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$49F059B5-8101-4EE4-B337-59B09636D599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583040$54CBFBB7-842E-4E7C-977F-E04CC84A6320","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":"Q3583040$17965705-5FFE-466A-A7F5-4A5AB9CA3A66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59102f57760eb364b22919ca0c6ad4c60d1dfda","datavalue":{"value":{"entity-type":"item","numeric-id":636310,"id":"Q636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$3BB2512A-9B87-44CB-BBF0-59401036AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f01732731536b36940b0dbc6ef7319292ce0504","datavalue":{"value":{"entity-type":"item","numeric-id":2566064,"id":"Q2566064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$E763F3A6-A7FC-40B6-8F8E-35101920D327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac051da90312b45e1a154b6bcf5dbaee2e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$FB8405C2-087B-4A1D-BB3B-92F621F8B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$1714F05F-812F-4062-AAAE-7697DBCD4D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b3f42e6c054135450cfd1bfab079b29b703868","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$74CE0948-86E7-4947-A254-2E766806B3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$7877AD12-C4B1-4FAA-827C-FD16FD88FC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$F57BF901-D8EC-4427-A775-EAF24B2D0815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$6000B7AC-A376-4059-9336-8FDF459684B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055742d10f105b1812e0f5afc9cc4e1b47ddcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$876C46F6-0DA8-458E-B440-4B6B3806BADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6224fc185456bcecbac4375234ca5b74cf452a8","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$AED3B7D8-4F9E-44F1-A8C4-1B038BC5CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583040$3AE6607F-0BAD-4914-8D7B-78CE68C5B5E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdff4b630112b2ca79e712c2bc0c3bd4037d2cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3081638,"id":"Q3081638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6193708d710eabfbf8987e9219ca3621d07cb7ba","datavalue":{"value":{"amount":"+0.8924616575241089","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":"Q3583040$C1268CE3-E44E-45A0-83AD-22AADDD988CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3037eb85d6330d32dff9fa18cde5962742240ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5693332bc153f7b62866ba5db9c67fac3073eb1b","datavalue":{"value":{"amount":"+0.8145742416381836","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":"Q3583040$04BB3FC0-5B82-4F0F-A264-48FAA5D01B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58b28fa0144ef8ba6fb77ad28e370882e541a0e","datavalue":{"value":{"entity-type":"item","numeric-id":4227882,"id":"Q4227882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a804b5724fa3170127ec7ab8f0b43e880e1bd8","datavalue":{"value":{"amount":"+0.8126906752586365","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":"Q3583040$8A2F4203-66EA-423C-800C-23835B252BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da241a0908a1f2227b93f3bab7fcb2b4707df4f3","datavalue":{"value":{"amount":"+0.8125770092010498","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":"Q3583040$4D7B2664-EEB4-4B81-B8A6-642CFF2E6DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73958e283742e376a841f4bf24c4d7073fd8d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3434537,"id":"Q3434537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db55c0b9ee70e63a0cfb6c948c941012abcb233","datavalue":{"value":{"amount":"+0.802973747253418","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":"Q3583040$78BDE7D7-9FB7-4344-895C-11362E4DB0B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3583040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3583040"}}}}}