{"entities":{"Q4608723":{"pageid":6638306,"ns":120,"title":"Item:Q4608723","lastrevid":41631627,"modified":"2025-05-06T14:33:02Z","type":"item","id":"Q4608723","labels":{"en":{"language":"en","value":"Are Short Proofs Narrow? QBF Resolution Is             <i>Not</i>             So Simple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852237"}},"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":"Q4608723$EAF4AE46-6E8B-4673-AEB7-8DE50D9332D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab47a3e7cfaad25cf31eb829233633eb5d2305b","datavalue":{"value":{"text":"Are Short Proofs Narrow? QBF Resolution Is             <i>Not</i>             So Simple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608723$9375C3E2-D216-4990-8B95-DE78BFB3CE5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29cd1bace0737e88f3669a666eddbad024619e02","datavalue":{"value":"1407.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$6B0E3345-08E2-43C2-9872-E77640C8E2D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc798a52a33d746deaba7bc139ae2ce88f0d145e","datavalue":{"value":"10.1145/3157053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$1543A028-C843-4838-A363-44D3688B988A","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":"Q4608723$9FD9A62C-F6E9-499B-B2E1-EC05220611DB","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":"Q4608723$48825CB1-FF93-4480-A0AD-F8E61452D507","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":"Q4608723$1E2B2197-979C-432F-B8DE-346964095FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0009674822f22156a0423b202eea1363b0e6415","datavalue":{"value":{"entity-type":"item","numeric-id":2201427,"id":"Q2201427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608723$95353D71-6CC0-4D8E-B899-7D80A5F20992","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608723$4B9207A8-8E35-4064-AEBE-F2D00299961F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-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":"Q4608723$67162011-6F98-4D9B-AB61-E2FE713AA59B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$86E016D2-F5E8-4276-8110-190C07831C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca8f12ca8e3414928cd754862ebbf6c113373d36","datavalue":{"value":"6852237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$6040221C-E734-4A64-914A-9D53E0691EF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608723$BB873CB3-91E6-4270-AEFE-16B60D7C8179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608723$22DC3A5F-AE4B-4C3C-A8CF-0E634E5E95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7daec4ca65180985ce11628f27176a5337eb9355","datavalue":{"value":"lower bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608723$0B663FA4-C03F-43F7-8E9D-E4AD65E660F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608723$E531C90E-B899-4454-9665-9B88B51565E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608723$C11F3B47-5554-4111-B626-B950F9D4B03B","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":"Q4608723$F0447066-3CAC-4840-9512-99D6653DAB13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"857325160aee903e43b44fb54e1b0e228446217c","datavalue":{"value":"https://doi.org/10.1145/3157053","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608723$69E78EB9-8AC0-4B12-AA51-F8AE804F0C78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55709549291562b5cec4aa85553acbe71d9e00e9","datavalue":{"value":"W2778491775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$C3C79922-56B8-4A86-85BD-17DFA0E148A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d71894a5f872e234c18c2b6a998357f686480087","datavalue":{"value":"Q59885771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$0E251E7D-15B9-4FE2-8452-3B21ED2576D2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"22246a3d223c6e61b1faa96c4d9279eb523c6cbd","datavalue":{"value":"journals/tocl/BeyersdorffCMS18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608723$C56BFAE4-6164-43EC-AB79-FD528EF431C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c211ed7df0db7f53cfc52d73db3f5f66deb9a8f0","datavalue":{"value":{"entity-type":"item","numeric-id":4601867,"id":"Q4601867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a455690be9cbb2b936ac8678a1e8381140a8ed9","datavalue":{"value":{"amount":"+0.9901658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$6D8CE3C9-60AE-44FA-AC9E-3D827539A42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c07a9057ba24df8b4a767316adc5e18d9a9cd83","datavalue":{"value":{"amount":"+0.8717137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$235B4B78-B0F4-4954-A68A-5DCBB9CBA082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e36c35360cb82371973c42dc735b0ae20190201","datavalue":{"value":{"amount":"+0.85704535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$C2539E6F-74CD-4EFD-B9C1-D9B491F66807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244e529389a2ce1384e77acc413dbdff6d901239","datavalue":{"value":{"amount":"+0.84291285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$8D8A78CB-EE44-473A-9ABC-1BA374C78A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a2496ea2c4da2cfae5cfd72cb8059e957e6ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4699307,"id":"Q4699307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5388f0e2cf469ed3486da22d5820d3d04cefb179","datavalue":{"value":{"amount":"+0.8311415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$9AA4BEA1-7E1A-4092-A0C7-CA9EBEC3836F","rank":"normal"},{"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":"c4a1400a522eeff8c766659482ada91fd1324a34","datavalue":{"value":{"amount":"+0.8234286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$277BC489-CAA2-43B0-AFE1-8A977C96389C","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":"87d75e22d987f9f1b09197265c71c8ca48e2cf5d","datavalue":{"value":{"amount":"+0.82294315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$E4EC79BF-A6AD-465D-86AA-1DE3F5A5FC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7206b8f92a7a4e7fadebf0526f74b03924b66f","datavalue":{"value":{"entity-type":"item","numeric-id":5087078,"id":"Q5087078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05a90dba46c5613adcd434b8a15a27b4b0df130","datavalue":{"value":{"amount":"+0.8216797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$A7F6C52C-E71E-4BF8-94D4-E6125187189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c4b3f6418c49aa491bf2b60d6bfdca053f773d","datavalue":{"value":{"amount":"+0.8195213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$2A0FACC4-A8F6-431E-BA7F-AE0FA4939D68","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":"0f7cad3cf901fe42870e0e3aed8cb0dbf19df4ec","datavalue":{"value":{"amount":"+0.8174287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608723$B59195F7-845C-4306-96B6-3AC13A22CCF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608723"}}}}}