{"entities":{"Q2272983":{"pageid":2283726,"ns":120,"title":"Item:Q2272983","lastrevid":53533562,"modified":"2026-01-25T04:52:33Z","type":"item","id":"Q2272983","labels":{"en":{"language":"en","value":"Characterising tree-like Frege proofs for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106204"}},"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":"Q2272983$08C54D98-9D9A-477F-A7E4-61DBF117943A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c51dc7372eb663d8bb4a8d39422dc24fdded8f6","datavalue":{"value":{"text":"Characterising tree-like Frege proofs for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272983$81542336-1E5F-41E4-9441-327D89DEDF37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"965d3ea8366fa1ad95546b004aaafafecaed013e","datavalue":{"value":"1459.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$9E7214C6-BBAA-4853-A5C7-90868191A672","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":"Q2272983$3265D218-3327-4591-A38B-C2114192A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39671edb67b981ee5694c2c0f25c16bebfaa80c","datavalue":{"value":{"entity-type":"item","numeric-id":2272982,"id":"Q2272982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$CB72ACEF-5731-4AF1-A2D1-AAD28604F7C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$A5049AA4-15E3-446B-8286-12981B4B39E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272983$5095A1FB-3CDE-45B1-997A-4BB55FDB464C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93fed0af4ee00c3f946783781a1fcfacf3fc5fa6","datavalue":{"value":"The article is well organized, written, and clear. It combines strategy size with round-base strategy extraction algorithm in order to give a lower bound on any tree-like P+\\(\\forall\\)red proof system, not only that, it is the only way to show such lower bound which does not require showing a lower bound for dag-like P+\\(\\forall\\)red.  On page 4, paragraph 1, there is a typo, instead of \\(\\forall\\) reduction must be \\(\\forall\\)-reduction.  Finally, on page 4, Definition 5, it would be appropriate, in order to clarify, to give the explicit definition of \\textit{range}, not only mention it, because the concept is used in the rest of the article many times.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272983$AF131BC8-63DD-4096-AA69-0853B739C86B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25bd05b6d3e78aabcb3020d0aaaeef978d4a7326","datavalue":{"value":{"entity-type":"item","numeric-id":1983329,"id":"Q1983329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$29E51F74-90FC-4BA2-9E57-951A0EC54770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$F75A5240-B574-4BEB-A30B-A1EB80AB10E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67f97c31437039330c728cfcd81f7168602c9fd5","datavalue":{"value":"7106204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$656F3CB7-7DAD-4CC5-9DE3-5F1B99472045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272983$E1E822C3-6DCC-4AC8-85A5-1333A0AB19F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272983$BE87CFDB-CFD1-49F8-97E4-2B56487169C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272983$CB6DFC43-537D-4341-9E44-852C483F76B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272983$BB53296A-52FC-47E3-B715-6C97712D5799","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":"Q2272983$6290E8A7-B8F7-462D-82FF-E24442158052","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7be611442343e1dcc57be5a6f0a798e9ace86d4","datavalue":{"value":"https://doi.org/10.1016/j.ic.2019.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272983$7CDC16B2-EC31-43FC-948E-831E31F9DF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80155009f1d895ee8817a96e5357b58533a1ce56","datavalue":{"value":"W2944255969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$6A9BB071-F7D2-47BB-8A9A-9755E1B82958","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0ec6e62ce90171adfac2ce7bff6575871c8519d","datavalue":{"value":"Q113872844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$06BBB983-8F20-4F77-9F9F-0795DA23ADFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e5035e8c49172e2a82144878400bd13d858ef","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$DA0BBBCC-4DB4-4A32-9064-F20A1E4BF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$3162C8F8-63B1-4318-9293-E67F9024E08D","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":"Q2272983$0E5BD325-C8B6-4E8D-8E69-C4844AEA60FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa645a19372cb1ba6d08bac7b7f2329fc96427","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$3A10CF2F-E365-4F99-A9D6-AC41A80FCFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$302610D5-58FC-4584-8488-92277E82A612","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":"Q2272983$D5E6D9C0-1920-4D00-80E9-4FF711D4D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$28CB94A8-920A-48B1-98F6-3B85B3BB2360","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":"Q2272983$C21F6AF5-6EC4-4000-8147-ED1DB406FCE1","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":"Q2272983$D49D039B-F239-45CC-95C9-6419DD037B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc0aa5894d70095df9cae9bea04a6713c68fbff","datavalue":{"value":{"entity-type":"item","numeric-id":4635870,"id":"Q4635870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$2AE270D1-FC4D-46BA-B3F1-5A5AD3F29B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$B3E3DFA7-8326-48E9-9AE4-09F5A5D26D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b0bf2d56b79ab6e0b3047921557a41dd143b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3304106,"id":"Q3304106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$5677E237-65A2-4E97-8AB9-1B184479A9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$AE24B634-67FC-444E-A40E-1339C0F86ABC","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":"Q2272983$CE10B7D6-65E6-4035-88DF-E3F56254AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$767E2768-210C-466E-8355-ADC6B95CF8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$2E2B51DE-26BE-4012-8E6B-34A2A77B2909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed9cf3819147d1dc715507d9b4416d6e5c07d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4973892,"id":"Q4973892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272983$7E3A4B88-89AE-4C59-A865-3B1C5168C131","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":"Q2272983$054DDAD5-8FF7-4DE7-8E5D-48E05F0E2C91","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":"Q2272983$47016ED5-72DD-404D-B163-6CDE73995D66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c28584ae6ead0cfbcbc6aee1ad1073aa2550a0f","datavalue":{"value":"10.1016/J.IC.2019.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272983$8B2396C6-CADC-4019-98F7-6733B370367F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feddddb00156b6059cb4679c8b4ca0a56e6d2dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5645fff2ad29f47f9bc988e9ea897e11f96b37","datavalue":{"value":{"amount":"+0.8439068794250488","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":"Q2272983$595D8FAC-D6A5-4556-9329-31FE2E22B591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf06429f221824ce5dab9ab17b2f51774c5565","datavalue":{"value":{"entity-type":"item","numeric-id":2799200,"id":"Q2799200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7002365847d9c4d8b5e72c6d02313ee0856f57","datavalue":{"value":{"amount":"+0.8393893241882324","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":"Q2272983$A8B9B69E-7187-41F4-8855-B9547DE24675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9a110b693030c7cc0a58aec00881b11b0cba7","datavalue":{"value":{"entity-type":"item","numeric-id":2424676,"id":"Q2424676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b4c9e019ca41795e343b3f91cbbaaad8b63946","datavalue":{"value":{"amount":"+0.8369129300117493","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":"Q2272983$84FFF124-688C-4F55-B03B-56B9D930A872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ae3f88d16a68e250e0c8bde07f05269b2598ef","datavalue":{"value":{"amount":"+0.8168713450431824","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":"Q2272983$040AE333-691E-4A6D-ACD2-BFAB29F37C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5198cfa13681174cbc78a60ec4742ffc9b4b6a86","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0921f298ad3c2ffd061a1c76b7ccc8d7301e28e","datavalue":{"value":{"amount":"+0.8048038482666016","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":"Q2272983$2AF7BB4A-9440-4779-9A9C-135315D9F966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2272983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2272983"}}}}}