{"entities":{"Q4636589":{"pageid":6666170,"ns":120,"title":"Item:Q4636589","lastrevid":82175447,"modified":"2026-05-06T20:17:02Z","type":"item","id":"Q4636589","labels":{"en":{"language":"en","value":"Understanding cutting planes for QBFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862068"}},"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":"Q4636589$3642C230-6387-4C6F-B3F3-56B5E9C84A21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9c3a915bb9f1bcde1608325bf07fef7d40f8a63","datavalue":{"value":"1391.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636589$2EB9BB5B-1AD6-4457-8D1F-8407224514DB","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":"Q4636589$9B305AF2-4FE3-4BDD-8CE3-811D97A8936E","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":"Q4636589$4172A549-7004-4BA6-8336-17CEDFA42BD9","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":"Q4636589$5A71ED24-9022-4D9B-841C-DC1AE54B82BE","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":"Q4636589$9156F1AC-2FE6-40B0-9120-2442E70B8E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636589$93934DEA-2C52-4099-8890-7EE3D29890FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636589$99D0629F-C87B-44FE-A400-0CF3F8C087B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83adb9b7e35e7f2f300aac33c311f8fbcfc13f99","datavalue":{"value":"6862068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636589$C02F11B0-7AA2-4764-819A-1F77EB53A187","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636589$CC178E38-167C-47E4-A556-6815D62747B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636589$39354150-0ED1-4A11-95F6-5062FB898D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636589$89E5411D-D749-4E75-9B61-C6E2513E11F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636589$ABA906E0-2748-48CB-867F-D06967A4BD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636589$14B54310-C2A5-40B4-9DD0-D9EF80023961","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":"Q4636589$1F52AE59-87B0-4B3A-803F-AC4A211EC006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a58fc9bfba42d943bfc219f92648394e80c380e8","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636589$FC73EBE5-14EC-4566-A9B1-20650B6EDF66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fdd5ce63673fa748814c06160ca4d3b2e3005d","datavalue":{"value":{"entity-type":"item","numeric-id":1784953,"id":"Q1784953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b455a8cde1109e2d7d695ba02ac4e452dd77a6","datavalue":{"value":{"amount":"+0.9863213896751404","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":"Q4636589$414C0F49-9F9F-43EB-B229-7C6632B402C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b409bd048c0c5fef1467ce85dce02404da78e404","datavalue":{"value":{"amount":"+0.8107109069824219","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":"Q4636589$39AF9FFE-5B62-4051-AC03-A171BE8D162B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb197046d4770084e46af462324edfe4cb270229","datavalue":{"value":{"amount":"+0.7950834631919861","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":"Q4636589$4DA570B5-B307-45C6-BEC4-069AAD0C800A","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":"31481d3e2331121447e73ef229e86325103b3270","datavalue":{"value":{"amount":"+0.787902295589447","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":"Q4636589$1BC73D71-35CB-4DB6-9739-F21DF9A9725F","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":"5c8e587269ef83cb33cb08ae0d50dc11f605e7f2","datavalue":{"value":{"amount":"+0.7846955060958862","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":"Q4636589$5E3D9624-6E5F-4AA5-970D-F7387B0D12E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding cutting planes for QBFs (scientific article; zbMATH DE number 6862068)","badges":[]}}}}}