{"entities":{"Q4598235":{"pageid":6627820,"ns":120,"title":"Item:Q4598235","lastrevid":89809952,"modified":"2026-06-04T18:19:43Z","type":"item","id":"Q4598235","labels":{"en":{"language":"en","value":"Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820283"}},"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":"Q4598235$AB3C6A55-86ED-4B04-8FB2-4A03EE4EFAA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"380b5a7145ebe9db9deec32aac9b52318ea31d2f","datavalue":{"value":"1387.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$DBAC7BAC-D115-41B7-8ADD-EF3D62FB80FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598235$A1E884A4-B027-4B7D-B16F-9F3BF3F0DFCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598235$0260BEA1-7A5C-4E22-8DCD-99B973E756E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af5eaafaa2a1b2834394eeaa7868e8582c15b8de","datavalue":{"value":"https://arxiv.org/abs/1410.5369","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598235$7A20F723-FC23-41FF-B773-3160DC9D6E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$98F0C329-4651-475B-90DD-0461F3BB8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$031346A8-83F2-4B69-BE93-1A7952655421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73a71c02f068f88883cc2ea4e7428e6de8ecf981","datavalue":{"value":"6820283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$81A2D567-8AAE-400B-8C2C-26A7EC97DDD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598235$EE6DCF13-0B0E-404A-AC5A-89CC9FEDB7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598235$9D162A92-2D9D-44F0-BFD0-BDB4E8C82FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5dabd1d8c89859f83c987ff426061754669b3eb","datavalue":{"value":"quantified propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598235$1FA288EF-E146-4C0B-BD95-82805443853A","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":"Q4598235$263A7615-93C8-4AA3-AA45-E648C22C0FEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dc04eedb2b3414a8915759fb4d9bda70c7bb0f4","datavalue":{"value":"W2757756903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$26998DB8-FDF8-4DAA-BCF6-91599D7910D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a5863074895ca61dfe561aac320a69c72ea0602","datavalue":{"value":{"text":"Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598235$2B3B0405-5AFB-4468-92F6-2B0A10AE5DC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9d835a36c58bd3e2755d7e747b52ffaf8762bce","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598235$ACC7B3BA-0A69-4F56-B7CC-FDFD02A431F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69ad2ebf7cc553a98e8d6da2b34e437683d3f98","datavalue":{"value":{"entity-type":"item","numeric-id":4973892,"id":"Q4973892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd184cca82198e629fe8a577fe6467f2fa7f804","datavalue":{"value":{"amount":"+1.0000006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$56E3A719-2884-41EC-A2CB-43E0C202069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c7b1ab19f578cda8dacab67bd7f9909eace703","datavalue":{"value":{"entity-type":"item","numeric-id":4218097,"id":"Q4218097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f96b8da215e58c7af2ff79b88a53ccebf4a111","datavalue":{"value":{"amount":"+0.8891717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$0DF9B5C0-A07C-48D4-AD9B-E9BF5FBB543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e124d83b33a2768ca3c4a6bb0710b4a45b1ba33a","datavalue":{"value":{"entity-type":"item","numeric-id":1613360,"id":"Q1613360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be931de62167d56fb658ce2025e75444ef9005a","datavalue":{"value":{"amount":"+0.8710222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$FDF49282-4A29-4514-A15B-C6C703EEE56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf8913ac50ad9e68e9a71a924b65862bc3326f","datavalue":{"value":{"entity-type":"item","numeric-id":2118289,"id":"Q2118289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6898f9b95eab295791e40af46da4d509f9c04ae","datavalue":{"value":{"amount":"+0.8705602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$3CCC6C07-B5CA-4AF1-8D4A-CFEDFBA7F404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86053c50342097382ab9ed60744a6275abcc269","datavalue":{"value":{"amount":"+0.86880654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$A488DF1D-FC04-437D-8F01-78DF1462BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34824fb0ce575b00a5b7562d05fcbfeefe4cce3b","datavalue":{"value":{"amount":"+0.86809254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$660BABF6-25FA-47AA-9AE4-918CD64038C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc67d555ee09feda8744fd93f609934b963dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5028363,"id":"Q5028363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34824fb0ce575b00a5b7562d05fcbfeefe4cce3b","datavalue":{"value":{"amount":"+0.86809254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$63C9117B-58E9-402F-85E2-6D8210C0B898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03258115b220b4196832769f5fe8aff47bad0c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4264735,"id":"Q4264735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba94fa1c6d327686b3d8cd6a20b5b9eb28018ef6","datavalue":{"value":{"amount":"+0.8665807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$E0B372DA-1192-4A0C-A148-2186F329E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b239198f9560a61f4279379ecd2db052869227","datavalue":{"value":{"amount":"+0.866343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$39D9BDB6-BA5D-42BF-B6C3-51826D38A2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3ce856e7e94e4f4319229027c66dd73b5404fd","datavalue":{"value":{"entity-type":"item","numeric-id":5011878,"id":"Q5011878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dd70dd602272abd61f013bbf83f7889a5cad98","datavalue":{"value":{"amount":"+0.86541617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598235$406E7BD6-F0FE-467B-A14F-1BE6CB2CE56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness","badges":[]}}}}}