{"entities":{"Q2118289":{"pageid":2129032,"ns":120,"title":"Item:Q2118289","lastrevid":78212162,"modified":"2026-05-06T11:03:25Z","type":"item","id":"Q2118289","labels":{"en":{"language":"en","value":"Hardness and optimality in QBF proof systems modulo NP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495568"}},"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":"Q2118289$04E68C3D-2311-441B-8D69-0BBE5C8BD80F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50936c5327c42601085e162bf0fa91dbf11b624a","datavalue":{"value":{"text":"Hardness and optimality in QBF proof systems modulo NP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118289$6FA6BC06-7CB4-47D6-81A3-439457380D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc19db2ae590a372018613e13819813824e9b88a","datavalue":{"value":"10.1007/978-3-030-80223-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$29A70D58-EA9F-4C77-A16B-DB76F43541B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$145E15FC-3B0E-4224-8D3A-0D5202F18543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118289$16DC0106-A40D-4539-8702-6FE466B856E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$19402A42-6068-4A38-82F3-9626EA8B115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$669B50B7-CBCE-4A26-B5B2-107558A5F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$C6906955-DA03-4551-9248-A857C6D83558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92409c390fe19d13f402bca3cf5a84e35d5b73d4","datavalue":{"value":"7495568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$48ABAC3B-1352-4FF8-8658-1A073A1EA38E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$13D3A470-0DF8-4CE4-991F-EDDD653F1922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$71A8E1C9-3F80-457E-87F6-328A9A0912CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$574A99E3-6459-4058-AE11-303F8C43AB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$24209B46-6DCC-4F59-A300-E86A6E40C3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f64e3457e4e7acae043ba514e80ec3e98a76bc","datavalue":{"value":"extended Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$B008C862-0187-4041-92DB-B01C009FB12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f279cb5f4fdb6d45712c92f2dfb447e02315c2a6","datavalue":{"value":"NP oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$8EC25836-F734-48B0-B7A3-9CF20BDC7CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89ad8554bb818de4f8b837891329a994c469de4","datavalue":{"value":"optimal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$4B13552C-8A17-4DDC-94CF-A71350270912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118289$BD417DE8-8A6E-4D3C-868A-2ABCCB62F7DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$EC25752D-7B62-4BD9-AD88-D9144300554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$3D63EA76-C201-4EEA-BAD0-86250275C546","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":"Q2118289$19D658CA-5006-4088-B37B-6AA5BDB89F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4cbf781b58659df8ba8c8bee937403f1e5ce3ec","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118289$EB91D820-99B7-4813-8635-3B937F7AE621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"174bba860539453cd81305b39b52c11395768d16","datavalue":{"value":"W3185666742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118289$2B4D35FE-78D3-469D-AB8C-9846E52E862F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$B4D5B713-4388-459F-A077-FB58643477BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$65CC10EF-C68B-4394-808C-E629048D97F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d92fa5008a947cf4d000f7551c40cd38c27e82","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$1B9FE526-A080-487C-AF3E-7214DF2258CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02290303b06a20be00812bd3ebe49ee85d4326d8","datavalue":{"value":{"entity-type":"item","numeric-id":4993272,"id":"Q4993272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$80DBF2B4-7095-4C75-B408-486467BBE2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca85511458d1e8ffc3112b636b30e90d46ee5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$3428A950-DB31-49F3-A5A2-5A9436539117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$4CF06348-11FD-4E54-9D41-C9B607ABADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$2C95BF0A-2CB9-4545-91EB-FA61C984C988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2b7bc968d0022ba4821507b1570d3b6507fc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$4350197A-C277-4CE2-B9B7-E779384C8411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bedf28c1486feba8611f3f934ea721ca73c745","datavalue":{"value":{"entity-type":"item","numeric-id":4598235,"id":"Q4598235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$CAB05ECF-30CD-492A-9290-87A65A29246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f960cd0f6f4ee70767ccc816574bd4e1614a786","datavalue":{"value":{"entity-type":"item","numeric-id":2096438,"id":"Q2096438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$B9C3B453-C29A-4184-9BE3-E651BB663AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$BC030188-6D44-49ED-8F75-12A46EE6BBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$60BA2D1B-DBB2-4BD2-AAB8-42982E4B9E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$69E5F000-CA25-43AD-A402-32436BDEB9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c4e0f1e7245c689fd4b9eaebca2d2d06145423","datavalue":{"value":{"entity-type":"item","numeric-id":1108786,"id":"Q1108786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$F91A87B8-F0CE-4D68-82B6-D4A242D985D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$7EE1C342-A004-48FD-A1B4-E96883E3A969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$E531DE5E-1A94-4DE0-AD67-5AF04593892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$4648A02F-51BD-47B9-A526-41393131BD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$0284827C-552B-4BBF-BB9E-065AAE8AD092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$92EBE756-0865-40CB-801E-DD5F1148552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6e4137db0861ec6f9f5dec421fd4e515c74978","datavalue":{"value":{"entity-type":"item","numeric-id":1680260,"id":"Q1680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$240AA42E-1A10-498F-89F0-1C74365CAE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3df529b05a157d145600dffca90791caabed1e","datavalue":{"value":{"entity-type":"item","numeric-id":2181931,"id":"Q2181931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$682758A3-F007-480F-9D3E-1E7E9B66D0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6f4a35bd34ce967231e19201d3531666fa3c2e","datavalue":{"value":{"entity-type":"item","numeric-id":3637174,"id":"Q3637174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$27019551-CD5B-41FC-9EB6-EFA5BA1DDB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$9FCEF791-B7AB-4B74-8561-544CEA14394B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$497D289C-1C00-4E26-A71C-90FA1F6975F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c3df03f1a2987977466dbdd6d02f2af5a8e45b","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$2AA77313-75EC-4119-B47A-93519367AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$9A2CFE4A-EB4C-4558-956A-388DB44BAA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$0B91A574-0AE9-4C70-AD7F-9D8B674B5EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118289$9DFF6795-36CD-408D-A9F5-9FB82D79C6A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardness and optimality in QBF proof systems modulo NP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardness_and_optimality_in_QBF_proof_systems_modulo_NP"}}}}}