{"entities":{"Q4601887":{"pageid":6631470,"ns":120,"title":"Item:Q4601887","lastrevid":53000351,"modified":"2026-01-24T00:18:31Z","type":"item","id":"Q4601887","labels":{"en":{"language":"en","value":"Semantic versus syntactic cutting planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6829376"}},"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":"Q4601887$E59FA672-C6D4-42D7-9E78-0FF366BC00D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767170e4edc03d0a435a9a1e9c97296ae6f1c93a","datavalue":{"value":"1388.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601887$8C8F8FC0-59E9-4891-B2A3-769F0BEC80D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0fe0a7fa80a03dbe218a5c976959a59a29e24d","datavalue":{"value":{"entity-type":"item","numeric-id":312256,"id":"Q312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601887$89C548D0-267F-4E14-8302-FFDD8170BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601887$AB388D1E-34B9-4A5E-AA66-9B6D603897F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7ea3ca54733938686f141270931e22fee1769f","datavalue":{"value":{"entity-type":"item","numeric-id":436565,"id":"Q436565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601887$E7D40DCC-FDC0-44D8-8998-80755A239503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1335161379199d9038091fb354c2f0e9ba953e5b","datavalue":{"value":{"time":"+2018-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601887$8B19AFAB-14FF-4391-A7EB-148184A24D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601887$A7C2EC97-E84D-492F-982A-6DC5B989229C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12e56c9316c7f008a5763a4cb6f9df427285503a","datavalue":{"value":"6829376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601887$30FAFD88-DE21-4D0D-B735-67F8BEEF4ABB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601887$B16FD642-647D-4A51-B3E4-248B6BAE8042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601887$B885969D-4D41-4765-86CE-5F7660D66248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601887$B0988D64-05CE-44AF-906B-3C2F4E630CF5","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":"Q4601887$48EBB267-402C-446F-8300-F6FFDCEC098B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbf943eaf907fc2caa8ef0d421e16a636b7837d6","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2016.35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601887$1D47A226-8314-4F8E-B1FC-CFC94DC1A375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2b2a16fa6098ea6d32a888734be32a32f7ee1c7","datavalue":{"value":"W2296380816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601887$A7158266-EFDD-4FEB-9F2E-6F9E51C6296A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b03b8f4507f6d51fbe215d12d24f77ca372623cf","datavalue":{"value":{"text":"Semantic Versus Syntactic Cutting Planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601887$36A889AE-B283-4280-9D5A-18D7BF0906BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c5ed37a4a31610833cbfe374e938adb37b541a1","datavalue":{"value":"10.4230/LIPICS.STACS.2016.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601887$13680DE9-6148-4C24-8114-2311F22CFE56","rank":"normal"}],"P1643":[{"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":"556e4e5526e40f03c439fa318fe378c4ac1897ec","datavalue":{"value":{"amount":"+0.869391918182373","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":"Q4601887$E1B27A97-93A1-4511-938A-98BB38BEA214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce90f53827001ef14b5751ceb40b9ee8a355be","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e6deed9a48a7285e5d7290084bea94fd5dbf9a","datavalue":{"value":{"amount":"+0.8136850595474243","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":"Q4601887$814171CF-25B2-4C3C-9D00-5C8012ADE669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1faf1989557315c081940c1b4a5b551fcbc29b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e6deed9a48a7285e5d7290084bea94fd5dbf9a","datavalue":{"value":{"amount":"+0.8136850595474243","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":"Q4601887$3EB55731-55BD-4E4A-A327-E3B35974F8E1","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":"31519a0fa0f6b751c6c77a78274b8941163e721e","datavalue":{"value":{"amount":"+0.808178186416626","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":"Q4601887$C34D84C2-F04A-43DA-BC65-F68D2F006354","rank":"normal"},{"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":"ccb9fbbdab601128eddcdf726694102fddb5598a","datavalue":{"value":{"amount":"+0.7985870242118835","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":"Q4601887$735346CF-1C4B-48E0-AF7D-8D9387CD1B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601887"}}}}}