{"entities":{"Q4372903":{"pageid":6402502,"ns":120,"title":"Item:Q4372903","lastrevid":41584871,"modified":"2025-05-06T02:54:51Z","type":"item","id":"Q4372903","labels":{"en":{"language":"en","value":"Lower bounds for cutting planes proofs with small coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097731"}},"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":"Q4372903$96B8AD27-943E-445D-A034-2177D68B460E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de7708e1f807755058248fa417f2a47e9be9df1f","datavalue":{"value":{"text":"Lower bounds for cutting planes proofs with small coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372903$25E99169-43FD-42FD-BDF0-6F3CBCC6DDD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00a1edf475d6e95073689ae5baa85ac548abd4be","datavalue":{"value":"0889.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$949A5AC2-82EC-4F2D-A091-72E38291C0AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"468c9c7e5281d3963505a6f1650732b773b521de","datavalue":{"value":"10.2307/2275569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$BC759535-2635-4E49-9555-E4DFAAF17230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$AA962D73-05A7-48CE-8AD1-30452CC4C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$71188C0A-83A6-4B55-863F-035960123984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$C4AE760F-A933-41B1-B1EA-4B2D8C438FAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$DEA2A6EB-9BE2-4F0D-AB14-9FA4498BCCA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372903$E0AE6F6A-4A4B-486A-8C81-2B60C884D198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$6CEA9A74-4B08-4438-BC81-59485FAD622E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9371c4c0a024020794ada2632fbd749bf914693","datavalue":{"value":"1097731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$5E71DDFE-02B3-4FAC-A9A2-E9D66A52E0D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1c629ab5abb1420e552264a227fa1b3690a1a2","datavalue":{"value":"tree-like proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372903$98F56764-71DF-45DD-8A86-A2B6A7CA6A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372903$7971C5BA-1F84-417E-A41B-CBB4B6DF5176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb8da418c948b208a467f70c97c581a06201e0b","datavalue":{"value":"small-weight cutting planes proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372903$744E98A0-CC5A-4D73-B08D-32F206BD24A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0530ef18563772d3f741322062bf074cdc527e","datavalue":{"value":"Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372903$6FCC67A1-A765-4C2B-BA25-EC9FD66CDA7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87b0cc1ed4eec2bd44f1f14641c98fd24d1f7c4e","datavalue":{"value":"Q56812990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$781F308A-3E80-4723-A0B9-5835AEAD7AE7","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":"Q4372903$97265297-23B9-4FEA-9971-33BEB9312AD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b731da3a0079b9d5ce3809c1688779d02d1792e1","datavalue":{"value":"https://doi.org/10.2307/2275569","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372903$F20D6CCB-4AD1-4F68-A13F-66D95A9DAB75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fe4938903571b3672661a0d4e5ad16b3777dd6c","datavalue":{"value":"W2158029166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372903$BF3E8A83-94DE-4917-89B5-C2E3A46DA676","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$70A084BB-2932-4CAC-88B8-28595E9EE3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$06BA38AC-3720-4434-AAD7-26AB62EC5C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$E1BAC067-5C6A-485B-BEA3-FCA7B5A3DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$7452C5AF-F05F-4C25-8DD9-460EC34A4126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$7BCA5AEC-6AAE-41F6-AE42-1A5A89CCA3E1","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":"Q4372903$822A4E75-49DC-4170-8303-B50CCAC7AA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372903$981D417D-B708-45CA-9997-AC706E97C11C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c08f2be436fb2f3d10857cb7f00cf9a5760d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4234107,"id":"Q4234107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q4372903$C484DF92-2319-4BE5-AA02-78C6E50F939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e0625461ba0ce6dd12019630b9e50b7a8631d","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573229fbe41a8c1471a05a4a9dd49e0225d21ad8","datavalue":{"value":{"amount":"+0.89072156","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":"Q4372903$262E28E5-47B9-4A42-8A07-32FA052F6AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaabe75ac40230053c43c100bda99f2a88fd5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1813835,"id":"Q1813835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e6f529bd0d0146c07294462f26f1266fffddd9","datavalue":{"value":{"amount":"+0.89040565","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":"Q4372903$A50FB1DE-CCD9-4859-9CA5-FB3B96079CF5","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":"06309115213b4a904b973b5b1bac491e1502157d","datavalue":{"value":{"amount":"+0.88942695","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":"Q4372903$72E6EC17-9DA1-4102-B8BD-AF5F276DC247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3482a46e8013c23c195289797bdfc6f546aecea4","datavalue":{"value":{"entity-type":"item","numeric-id":4375790,"id":"Q4375790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9627944ca2352d9ff212a324ca6c0c651525616e","datavalue":{"value":{"amount":"+0.8849645","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":"Q4372903$B709BAB6-2D37-4155-B59F-6F8ECB3777EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15cd3693e29f053f502ad78a5fa90fcec59c444","datavalue":{"value":{"entity-type":"item","numeric-id":969513,"id":"Q969513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2fb47cb7abb63586c3c1f0c68984cd5167ac7b","datavalue":{"value":{"amount":"+0.88334006","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":"Q4372903$ABC1AFC8-44A5-4A72-877E-1FC2CBF83F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e75a3b97b229fb82c7817d2fdb0166d5e934e6","datavalue":{"value":{"entity-type":"item","numeric-id":5326475,"id":"Q5326475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e04471439a38af83b37f1ad6f7feeb3be327bb0","datavalue":{"value":{"amount":"+0.87480426","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":"Q4372903$C0EE3FDE-85C1-4A56-B1A2-699B9166F2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33eecd953379b9640fb9789025f49817866e3e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4973862,"id":"Q4973862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e04471439a38af83b37f1ad6f7feeb3be327bb0","datavalue":{"value":{"amount":"+0.87480426","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":"Q4372903$54E5967B-9C5D-400B-8726-71EE51C958B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb7a214d7ab7cff1261b426f98faedf02a488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1751424,"id":"Q1751424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa83581fbe8bdd048fd1bd1a4eec97ed176b3eba","datavalue":{"value":{"amount":"+0.87034506","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":"Q4372903$4AD284B9-0968-46D9-9C79-68B1A0DFF2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296db2e9045abbdae4723510f4b0fb9ac88887f4","datavalue":{"value":{"entity-type":"item","numeric-id":2892684,"id":"Q2892684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33907f5b6d495b3b5ce83d8e334c75f0dff7895a","datavalue":{"value":{"amount":"+0.8662299","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":"Q4372903$EEE3F54A-67E8-4E8B-9F19-88AFB5A3BC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372903"}}}}}