{"entities":{"Q3612456":{"pageid":5642362,"ns":120,"title":"Item:Q3612456","lastrevid":80930018,"modified":"2026-05-06T17:19:38Z","type":"item","id":"Q3612456","labels":{"en":{"language":"en","value":"Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527198"}},"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":"Q3612456$88DC36E8-0190-4924-ACE8-46D73C9AC9AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8577468ee33d1c59a6c2954cd53df5e1e5afa8da","datavalue":{"value":{"text":"Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612456$79C44F6B-0F64-405A-A841-E1944C850EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68b8f6d13f01e5e9fa129f5f1f22ddc8a897f01d","datavalue":{"value":"1214.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$52CDB740-5677-479C-90F2-AB6369D6E12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c7ce3fc1d9182292579ae96b0c0a383b3ea72e2","datavalue":{"value":"10.1007/978-3-540-72788-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$A26504B0-4972-44F3-9DFC-B81EF42EC41B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612456$52ED4A1E-94AB-450A-84E0-7B5324979215","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612456$1056B590-7DE5-48F8-A06D-6920F852178E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$B8E028B8-513C-44B2-B0BA-D9131F86215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$84D2D742-3259-43D8-8156-3AFA90F56B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$61C52D96-76CA-4927-B8F9-47F664E0518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$E8263EE1-37EC-43B9-8944-D6255C40503E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee7c702171c729d2b50e4d226b7271b791b2f25","datavalue":{"value":"5527198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$BE3D4563-C66D-4FFF-AA6D-074D7BC6CBDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612456$B7EAC250-66A7-45E6-B41E-97634E955C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612456$C706F818-C748-47C4-966D-30ED27FB1EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612456$1410CFE0-C996-4F10-B1FB-03A89D38EDB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d6456b60569138224f8420a441d205d7c21b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1777394,"id":"Q1777394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612456$18BAFB43-76FF-46FF-8B55-3D12BAB69932","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":"Q3612456$AEBDEB9A-3869-4993-B483-54F94FA3101F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d41f0dfd97d49a035b6f35ba1e517ab72cf81fe","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612456$24E420C4-E3A1-49A3-8423-65B8CD5FD149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bce7da193a1db84b125c7fcd0211696bebd2c5c7","datavalue":{"value":"W1504627710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612456$0DDAB26D-74BE-4DE0-85AD-BFB387804466","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6015e0a342a0ec3ce3b36c729c5d44678453c4","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb3661987afe3c70bb56b3c6f41d4b694fa5019","datavalue":{"value":{"amount":"+0.8250771164894104","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":"Q3612456$86FE9A80-F6CC-4D5A-AAB1-336D4D5E60B3","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":"bfb3661987afe3c70bb56b3c6f41d4b694fa5019","datavalue":{"value":{"amount":"+0.8250771164894104","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":"Q3612456$5685505A-E1FE-44A9-9674-BF308FF9F239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc538b339c80898ff88619856bd5e4a820ab543","datavalue":{"value":{"amount":"+0.7812705636024475","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":"Q3612456$937B7E12-97B3-48EB-9F6B-2FBACB51CFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6318e468950f5a8e04104a1ee618f50f5f4e46e","datavalue":{"value":{"entity-type":"item","numeric-id":3507523,"id":"Q3507523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc538b339c80898ff88619856bd5e4a820ab543","datavalue":{"value":{"amount":"+0.7812705636024475","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":"Q3612456$C0849A23-1CAE-40DC-B49D-4C91A6397981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90840e234ca4509cc4b6a577a5d2a87239e6d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fc63a15a1b0d0ae8cdbc2238757d5998636666","datavalue":{"value":{"amount":"+0.7762167453765869","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":"Q3612456$DA6B45EA-99E6-4346-A5B1-651356E5A07C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities","badges":[]}}}}}