{"entities":{"Q4635870":{"pageid":6665451,"ns":120,"title":"Item:Q4635870","lastrevid":90534812,"modified":"2026-06-04T20:37:27Z","type":"item","id":"Q4635870","labels":{"en":{"language":"en","value":"Understanding Gentzen and Frege Systems for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863484"}},"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":"Q4635870$B3A413D7-F1CD-4161-AB86-D29D60DDEA69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a9e8ddfc82bb63a2e1a84c545dd048ef0efaa7","datavalue":{"value":{"text":"Understanding Gentzen and Frege Systems for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635870$E9FF84D8-016D-462D-B1DE-708A3C465FEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c1af7129cb7ae5b35d0fdd6e3265470800691bf","datavalue":{"value":"1395.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$3C6ACD1A-F360-4C20-98D8-11D719B69FCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a23979440dfbfd197f73d3f0e842d8bfbd5556b","datavalue":{"value":"10.1145/2933575.2933597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$95083CED-7FF2-48CD-9FB3-B2F1EDB5C1AF","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":"Q4635870$DD8AC0A7-1A9E-41A2-9354-22B3F86B0FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635870$44D9B86D-A295-476B-A106-6225CD1CB10E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635870$7EFFF6FD-B670-46C8-99AD-60D122800328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635870$3B0B39D7-BDFB-425D-8067-95565F894884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f147cec76dc067572110b276addbedf65b6af03a","datavalue":{"value":"http://eprints.whiterose.ac.uk/98002/1/Gentzen-Frege.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635870$2712D3C4-EBB4-431B-8A77-8F3611308633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$BFF0EA9A-E43A-4A96-96BB-BAE082629776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$894FAC6A-3713-4369-BCE0-E9B57A6DA5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6ab32ae371f24838cf11922b7a332966bf6933b","datavalue":{"value":"6863484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$31FF9365-C440-4E9E-9CFB-16AE76493D6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$DCEEC872-B413-4AE8-8FEB-8DDAADE52864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d72a1441190aef82ad717fb1859945b7ae4cf32","datavalue":{"value":"QBF proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$861DAC94-16D7-4262-859C-3C263C406A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$A68F8B8E-BC3A-499A-8DCA-68932DA3CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$8743BF13-65AA-47A4-9496-5E79C614E515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$043FD7A1-44BB-406C-AAE6-D46271996890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$3EEBCBEE-D548-4B7F-ACCB-0904D0A60E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635870$4BD00097-F767-44EB-B425-4CE814CA6B83","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":"Q4635870$C2D26E7D-0F04-4682-AADC-0F40F6DC36AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a6458b08ff28af8cfcbe49d60f0ec5777f29f64","datavalue":{"value":"Q59893132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$D1F48FE4-B40B-426F-839A-A7B3F1F84E85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feaf5fb63b4131ee6a12201f8d568419e1bc4185","datavalue":{"value":"W2339728308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635870$8B84ECFA-FD81-4758-A21E-6156C3B0D82A","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":"756b109d3c38fe88c4c53cee1d73b59487540177","datavalue":{"value":{"amount":"+0.88228923","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":"Q4635870$8C44CD5F-00A0-4A31-8C20-BFAC14865641","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":"12d56dddb7a47ab3e8e849d32831d80c9e59b40a","datavalue":{"value":{"amount":"+0.87027925","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":"Q4635870$DE86A63E-E83F-435A-952F-EED48EE09DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab45ed4ffa48184397643d2935acd78ffba209e9","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dfe307892132351240d98c4e7755f8e6d24d45","datavalue":{"value":{"amount":"+0.8572671","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":"Q4635870$A6CC0409-55C2-4C30-A434-46FEE5076DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640c845025dcf098847a39ddcc17182f22e4adf5","datavalue":{"value":{"entity-type":"item","numeric-id":5271653,"id":"Q5271653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e9ee49bfedeb8d7b01743411df25178ab53f3e","datavalue":{"value":{"amount":"+0.8529648","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":"Q4635870$043A0481-8E40-41DE-9239-8A97015CFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fc175bc6119fcd72681396141d426bb85ed13a","datavalue":{"value":{"entity-type":"item","numeric-id":2272983,"id":"Q2272983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d74bb0e211700bac903467bee8fbe9f6d1f187","datavalue":{"value":{"amount":"+0.8522376","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":"Q4635870$6D09533D-E459-49B7-A85B-307A09835FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9670fe18be89cf3cad248c800d823bc742d1919c","datavalue":{"value":{"entity-type":"item","numeric-id":5713726,"id":"Q5713726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fadf670f5c505e742eb2d101db8bab1a0358ad","datavalue":{"value":{"amount":"+0.85100895","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":"Q4635870$B1081016-C5F7-4FDD-B071-49B459AB7132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a3728eb6d6cea535db12f53a28c7233f093a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a73cbaff5d0550c4d1ada526a7827def3da015","datavalue":{"value":{"amount":"+0.84999895","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":"Q4635870$E41BF908-552A-4653-831E-C4AFEBBC975A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c8dc0a96a6e161d6b4aebf5fd0a1e41b65c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5714777,"id":"Q5714777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a90934a9ac31822c6184332be0e031fe5453df","datavalue":{"value":{"amount":"+0.8464484","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":"Q4635870$DE7DDD41-EA4C-4337-A524-53E09F83E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f19ebeaa5b954c83d3f7c179d443ba2b0833e7","datavalue":{"value":{"entity-type":"item","numeric-id":4955352,"id":"Q4955352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f9218975afbd604a03354f56ed5d3d7cf958d8","datavalue":{"value":{"amount":"+0.84627503","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":"Q4635870$3279B5D2-A35E-415D-A976-AB83D58E62B9","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":"312bb459e49c0c7524d9a88982e24ce17730bf9b","datavalue":{"value":{"amount":"+0.84458727","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":"Q4635870$4A678357-61BA-4B85-AE89-2C57858B6908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding Gentzen and Frege Systems for QBF","badges":[]}}}}}