{"entities":{"Q2181919":{"pageid":2192662,"ns":120,"title":"Item:Q2181919","lastrevid":43649256,"modified":"2025-11-04T13:36:51Z","type":"item","id":"Q2181919","labels":{"en":{"language":"en","value":"Short proofs in QBF expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202445"}},"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":"Q2181919$2C082EA1-0E4C-43B5-BFBD-5549A8971BC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e82d6d6059898da31bc2ac14abba8f768f6bd9","datavalue":{"value":{"text":"Short proofs in QBF expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181919$3A33FC08-4A9B-4538-9755-88D0213AC002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce8252db5b2d22ed26457e2b64f5870c8f6d871","datavalue":{"value":"1441.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$77C0C672-9FC4-4CC6-BF8C-267CB05F9D13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33ddc734c90996665986b15adb6044ce54c2eba2","datavalue":{"value":"10.1007/978-3-030-24258-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$8232C40A-A033-42FD-8DBB-B4D080C710FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181919$16A27BE9-9D74-4F16-B46E-EFEA97AE2F07","rank":"normal"},{"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":"Q2181919$26A575EC-A05A-484F-8C0D-A300037175FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992371815e0541df3e7c7ae2f85ccc2606cfd378","datavalue":{"value":{"entity-type":"item","numeric-id":1653018,"id":"Q1653018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181919$F9A7C548-6AD8-4AAE-B72F-ECE68D62BADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181919$2F492EE4-0B3E-4C32-82FE-99EBA0C4E262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181919$9922CB1A-DEF0-4441-83EC-778E7FF9AE6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$9A017BA3-963C-49A4-B73C-5729BF032AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$0789EBA3-810A-4030-B0FC-9721FB46B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$B8257EC6-1CD6-4A9B-8154-0AA2394A8A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$AE8F67E1-1DC3-4EBF-A26F-A0CB49B90B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d5840c66afc5e96828f5fc5c6c4b0a9ac1de577","datavalue":{"value":"7202445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$00DD220D-5F09-46D3-AB73-79DBF5BEE160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181919$8105CA75-DBF2-4D07-B380-B6A88211891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181919$AA827788-3280-46DC-BFB8-D44D5CA7CDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181919$1450B229-16A1-4E4C-9746-63716171A803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a348ddb136013be21113d9d250947c22926da03","datavalue":{"value":"SC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181919$7801CFA3-E102-4D68-BB1A-B7E860A9CA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181919$E23B9104-80F4-47DD-8B1C-85DCA15C32B0","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":"Q2181919$5A502F5C-7D5B-4C27-8075-C132999EA2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86864bec7f3b136d0473790398000a091f99b8cc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-24258-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181919$C1678EF1-7003-47B7-A12B-43100A0EB94D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08e2e16407f5e10aec42f524a7d70d885a9ef0c4","datavalue":{"value":"W2954419053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181919$BBD4B7B9-EF07-4A26-9E59-A3555AD94948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e396fa66334b947dcd82b2b6879e797832123","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e586b7d1aceddb6f9ae27abc8a730083d77bc849","datavalue":{"value":{"amount":"+0.90176433","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":"Q2181919$6A08885F-4E1F-49F6-8532-9E3FED2F6417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e246e8c9c630be29a41b2bfa30c3408fe90839ce","datavalue":{"value":{"entity-type":"item","numeric-id":4255508,"id":"Q4255508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781e670735feb9033ddb5d42071345a634f70430","datavalue":{"value":{"amount":"+0.90051085","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":"Q2181919$8BCA35A7-B442-4073-A0FF-22024A1E03AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63a7860184cdd81bff16907d8ba0c68bd5a29e","datavalue":{"value":{"entity-type":"item","numeric-id":2656352,"id":"Q2656352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98d7c3917deaae7a8344b8b5ab6311d9b1158b6","datavalue":{"value":{"amount":"+0.8790459","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":"Q2181919$2352DCE1-A1D7-4B19-97B1-48421C401BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f553477e1d75db6c6c04d1f0af7d2ba5bdab86","datavalue":{"value":{"amount":"+0.87747693","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":"Q2181919$B605F689-EDA0-435E-9136-63B9629283ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dc99c67cfe6a7a3351e4d4aa343ea0d01e4a85","datavalue":{"value":{"amount":"+0.87340283","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":"Q2181919$68FCB11D-AB10-4137-B604-C3040A413B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a168aa39529f0d55b2366fe9e5d6f44f92c8c26","datavalue":{"value":{"entity-type":"item","numeric-id":1799597,"id":"Q1799597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6638624b21ee5a3dda1cc3144e418be1180e39a","datavalue":{"value":{"amount":"+0.8719893","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":"Q2181919$E6FD611B-5F37-40EB-BCBB-7B426B20249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ccfcb719718e5065a8b5bb0c73582eb2c13383","datavalue":{"value":{"entity-type":"item","numeric-id":2118330,"id":"Q2118330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646611cc872255aecf002fda045dd861f5a89c8a","datavalue":{"value":{"amount":"+0.8677499","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":"Q2181919$AA513DDE-1E2E-4AE6-ABB4-6AAD343DC0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02342ad556c16da4e1f5aef431c5f61fd8de7637","datavalue":{"value":{"entity-type":"item","numeric-id":2661366,"id":"Q2661366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24bf2be1128fd8da88f109700a7fd83f4843ef7","datavalue":{"value":{"amount":"+0.867046","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":"Q2181919$6CF6F02C-E6FB-452C-867F-76F858C88EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7106f6e470cfc1610ef8ff3a63e73a5909d7c727","datavalue":{"value":{"entity-type":"item","numeric-id":3304106,"id":"Q3304106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20edfbb6e4b4ac0ac9afe49855b0430228ab5440","datavalue":{"value":{"amount":"+0.8667281","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":"Q2181919$1C390619-00F6-419E-A454-7F0C4718C173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36552accf57401e43f029f0f3b2bcad86a873f98","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42cd5cfc901d34656010bf52477d3cccfe30455","datavalue":{"value":{"amount":"+0.86438596","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":"Q2181919$85EE35B0-E807-4C1E-804B-A04C25D801F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181919","badges":[]}}}}}