{"entities":{"Q2339813":{"pageid":2350556,"ns":120,"title":"Item:Q2339813","lastrevid":52239173,"modified":"2026-01-21T05:46:03Z","type":"item","id":"Q2339813","labels":{"en":{"language":"en","value":"Lift-and-project for general two-term disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423605"}},"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":"Q2339813$39427635-0817-47AB-B24A-11B26C6A2C47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4b7cafc56c959969683c9b21d6492f21060e65","datavalue":{"value":{"text":"Lift-and-project for general two-term disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339813$EBEAE3B8-F69C-4F1E-99C5-45B4BCF20CE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e77b18cb92e7fe40f3c174fa3cf71d880c370a3","datavalue":{"value":"1308.90207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$6C73A41B-564B-47AD-A982-987DC8132D24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d48946eeba98b7541fd89a59c0020b894aa753b2","datavalue":{"value":{"entity-type":"item","numeric-id":256640,"id":"Q256640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$C604235A-A925-4F83-8FFD-BC94440EB8D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38a7711cbf1baaa0ee796eb33cf4a496b343c914","datavalue":{"value":{"entity-type":"item","numeric-id":408368,"id":"Q408368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$5CC5588C-1C64-4C65-8D6F-3DF6087B3DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339813$8C0CB2BE-0188-4507-A10F-DC3367D5EC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$59D8F212-D10A-4BAC-BA66-871CA39E61D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$F7737E86-2008-47C4-B04B-5AD68C136E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$5417DD27-53B5-4F36-B10F-2B4F4747D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$6DF82CF4-C625-4FB8-88C8-7023512969F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce4a42fbf1c291cc4021130413d02be0f5515219","datavalue":{"value":"6423605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$697CC3CF-398B-46CA-849C-A2678C92AC22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bee42658ba779211664c0b56b2db68b50666673","datavalue":{"value":"disjunctive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339813$1E45D14E-8CF0-4422-8135-05CCA6A38C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5a537fd4ffe8567f7801f0d18e29b079b61adf","datavalue":{"value":"lift-and-project cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339813$B637C325-7428-4A15-9FAF-2983B5FDEA0B","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":"Q2339813$B3109C62-5DC1-45EB-93D3-BFFE1B25D758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8423042994c57a0d75e8801bdfae339c954632e","datavalue":{"value":"https://doi.org/10.1016/j.disopt.2014.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339813$046A37E6-8E9F-44AF-A8E3-27BEB2F5F738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cd4bb78acf306277d6013896b57bbef1b799380","datavalue":{"value":"W2034785982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$B03A41D5-6685-40AD-9ECB-E4CD19814040","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd53d6e9478c4bb1c7a40fd9e4a8dadfd6988d8","datavalue":{"value":{"entity-type":"item","numeric-id":4197624,"id":"Q4197624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$F3792308-6B92-44E8-972B-B8AFC13017EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548fda7e9611fbf216c095fd5a6afd8badf1cc43","datavalue":{"value":{"entity-type":"item","numeric-id":1281382,"id":"Q1281382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$9C702C4E-C849-4D4B-90EA-38915D4E82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa7e63ff28463bee3f9b1aaa19f1ce51fa643df","datavalue":{"value":{"entity-type":"item","numeric-id":2367913,"id":"Q2367913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$A865F2FF-E139-4653-ABDC-D07B245625C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7700b267a84e8e710420b5e3544d46b62fe04c5","datavalue":{"value":{"entity-type":"item","numeric-id":4363673,"id":"Q4363673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$3149F6E0-D07A-4453-BE2E-2CFAF2044FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29eff2236b6cd7077dce683bde40fcf497e90a15","datavalue":{"value":{"entity-type":"item","numeric-id":1411611,"id":"Q1411611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$69D6694E-A3B3-44C4-87F4-8D26E6E7BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399ffb8132ecafd9ee2e7fe092ae3d76220c7c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4735936,"id":"Q4735936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$884495B0-B857-4863-A09B-ECBF523EF704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f61250807d9addc572795070e7d767fb41bb8cd","datavalue":{"value":{"entity-type":"item","numeric-id":697568,"id":"Q697568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$A2D6E4D4-031F-4993-8DA0-8D1B91E83B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f59ae128e4491d96d43cf4d124eece18c878783","datavalue":{"value":{"entity-type":"item","numeric-id":5429260,"id":"Q5429260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$2B62B85A-B224-43C7-8820-B91F8B832F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a817c3c5a2ef13f1f57ead23a161702bcd362cc","datavalue":{"value":{"entity-type":"item","numeric-id":3840365,"id":"Q3840365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$61B59322-CD01-4B38-8A07-B17A15974501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636ef262617c6f7b31936caf140533aec19c0688","datavalue":{"value":{"entity-type":"item","numeric-id":4537754,"id":"Q4537754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$1456DC53-CD2B-4506-B37E-E5EB5C3910E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a09455014522459fe44bfd06168b044aa259c8","datavalue":{"value":{"entity-type":"item","numeric-id":1774172,"id":"Q1774172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$EDBC2870-D4E9-4540-87B2-D5D8DF8EF0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7844a4e74fc027b45db1195261d70ac9ccde5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3608991,"id":"Q3608991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339813$FB6FB6C4-21AE-4CCF-9A4B-329093F9E616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b50e390b30f549c1d91bcd9d7fbc33e74f0b5cd","datavalue":{"value":"10.1016/J.DISOPT.2014.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339813$2E5195CA-0445-45AE-8C26-FA4011BCEDDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbcb7d15d60b3f0a9f06d12f3c0ae974bf968b1","datavalue":{"value":{"entity-type":"item","numeric-id":697568,"id":"Q697568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f401b9d61ccdfebdc108f13495ebc0491756e4","datavalue":{"value":{"amount":"+0.8440395593643188","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":"Q2339813$87F26267-6A88-45FB-A618-146A832E530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93ca5a34581fe112b12a42cd2a48f69a0a234e","datavalue":{"value":{"entity-type":"item","numeric-id":3840365,"id":"Q3840365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2941ca0f299b88a0f0e3fd6a2b13969ee4087ad2","datavalue":{"value":{"amount":"+0.8302525877952576","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":"Q2339813$4496F341-7BC0-4D44-B972-794CAA40DAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efd7b5efc66f2333dfc0cd665d70717203c7338","datavalue":{"value":{"entity-type":"item","numeric-id":2450685,"id":"Q2450685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1cd2491e18a4aef07381b973673b5f15f8884b","datavalue":{"value":{"amount":"+0.8002341389656067","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":"Q2339813$7347E034-70A8-41B8-A84E-749932066764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d30c3661b53309c234ee5f141e8af6578a9301","datavalue":{"value":{"entity-type":"item","numeric-id":1728353,"id":"Q1728353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad926b7ba69ea8d326b985d4f953a59cce77d22","datavalue":{"value":{"amount":"+0.7965593338012695","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":"Q2339813$81122AF4-E00B-4CAA-81DA-02379941381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4b5db05ec19ac1ae2acac8dbfdba48427c4b32","datavalue":{"value":{"entity-type":"item","numeric-id":4537754,"id":"Q4537754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98292c2243a65ebfce9d2f081ab120449823d6d","datavalue":{"value":{"amount":"+0.7925994396209717","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":"Q2339813$42D0F4DA-5742-4FA5-8040-E4D5EEA5773B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339813"}}}}}