{"entities":{"Q715089":{"pageid":716938,"ns":120,"title":"Item:Q715089","lastrevid":63768282,"modified":"2026-04-11T15:24:46Z","type":"item","id":"Q715089","labels":{"en":{"language":"en","value":"Mixing polyhedra with two non divisible coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093780"}},"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":"Q715089$045B0C13-A562-44C8-BFA4-3E78F806E1FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d09e0a58b293556300864b1bae44962d8f3f1e3f","datavalue":{"value":{"text":"Mixing polyhedra with two non divisible coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q715089$1BB41613-F48B-44CB-A919-1B6EDB383EAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fdcb722d68157522bfd8086b75fa9b3836194cc","datavalue":{"value":"1264.90124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$2172F512-A0CA-4DF1-B9E4-6B873AA1DD80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16baf4fb8407dd61b48f57729a8fa21a92d77ed3","datavalue":{"value":{"entity-type":"item","numeric-id":266034,"id":"Q266034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$63EE4974-445D-471B-9741-437AF376B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abcb7e127fca4da31cdfb58e18e3f9b906d22d8e","datavalue":{"value":{"entity-type":"item","numeric-id":613662,"id":"Q613662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$152C5E44-7EE6-4E79-B020-35730AE5DEBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99da72655942e9c2c9c01874c026b7cceeb02de6","datavalue":{"value":{"entity-type":"item","numeric-id":163006,"id":"Q163006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$6FF85D38-8337-4816-B150-D3F6D953A866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90cd4bb1c8ff7643cee66698544f44be0292260a","datavalue":{"value":{"time":"+2012-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q715089$20532BEA-B205-4286-A143-EAF2992F49DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d0a32b4d003346b19d822fc5d2f8f8305a2a456","datavalue":{"value":"The paper studies the mixed integer set \\(X=\\{(s,x,y) \\in \\mathbb{R} \\times \\mathbb{Z}^n \\times \\mathbb{Z}^m: s +a_1 x_j \\geq b_j,\\;j \\in N_1, \\;s+a_2 y_j \\geq d_j,\\;j \\in N_2\\}\\), where \\(N_1=\\{1, \\ldots, n\\}\\), \\(N_2 =\\{1, \\ldots, m\\}\\) and \\(a_1,a_2 \\in \\mathbb{Z}_+\\setminus \\{0\\}\\). After listing basic properties of \\(P=conv(X)\\), the authors first derive an implicit characterization of the facets of \\(P\\). This is done by decomposing \\(X\\) into a small number of subsets that have trivial convex hull descriptions. By using a projection theorem of Balas, they provide an implicit characterization of \\(P\\). Next, the classes of cycle inequalites and more general lifted cycle inequalities are introduced. The main result shows that all facet defining inequalities of \\(P\\) are either mixed MIR inequalities or lifted cycle inequalities. Moreover, if \\(a_1\\) and \\(a_2\\) are relative prime, then the mixed MIR inequalities suffice to describe \\(P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q715089$1EB47FD9-DD30-4CFC-986A-203E1BC8EC4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebec3fead859bfe042f90942bb009137165d63bc","datavalue":{"value":{"entity-type":"item","numeric-id":297048,"id":"Q297048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$13B7F8CB-0780-42D9-9072-9BC1D19D52AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$22386C86-7194-4E6B-B5EA-46081294822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$3F9D3563-99CD-47D9-9003-6A5F0653AAA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57f58ba21a2a2f2cc4f9459b870b539ec831006","datavalue":{"value":"6093780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$3AEFF42A-4F20-4274-BC62-DFFF167E917D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q715089$AA9FB16F-0141-4852-B19B-C5D10FCF44F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c37fd14230ecb98d1bc586eeb1da8e37f6ad6","datavalue":{"value":"facet defining inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q715089$7CBA38F1-ADE3-40C0-90BE-7C788CDA7167","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":"Q715089$D745D4C5-486B-4253-882C-89108EA7F4C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e34097538c85e0d3501c06cf236af418e7ebc9b0","datavalue":{"value":"https://doi.org/10.1007/s10107-011-0448-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q715089$06860CFD-D181-4C28-88D5-2B782CFBFA4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98a89570053c8f4eceb021f993f5d595ad6664c","datavalue":{"value":"W2041296153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$CB6990AC-5AF2-42C5-AA09-2B6A7A4FC84F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93526ec6cfd92c475d3d600dbdae153b365f0f32","datavalue":{"value":"Q57736573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$206090DD-1585-4593-BED2-D1CD0D78E605","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae7b37c56c4dd1fa03292e69c1c01b1f4cdfb84","datavalue":{"value":{"entity-type":"item","numeric-id":2786320,"id":"Q2786320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$BFECC43E-A68E-4B0D-B47A-A47C5913656A","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":"Q715089$8C68F96D-D8DF-4D6C-B963-DA04CB0A6992","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":"Q715089$2CFDFC2A-3AC9-4322-AFFB-60CA6A41E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee51f966ae20e12e9f092ee0b82da861fedac1ab","datavalue":{"value":{"entity-type":"item","numeric-id":927156,"id":"Q927156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$5E94B759-203E-4DA6-896B-99C891FF209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058020b9d5ee184d33ffcb23107795022b7b576b","datavalue":{"value":{"entity-type":"item","numeric-id":3503224,"id":"Q3503224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$27F9ECF5-7350-4F75-A3E7-44B00096998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2536fbece7fea71be54b2e497baaf3343bee4f90","datavalue":{"value":{"entity-type":"item","numeric-id":3169026,"id":"Q3169026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$0F7BA237-2D8B-4F1C-B8FD-4F4D176E1995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbac622799846300f67ca5363fc32d86feb4387","datavalue":{"value":{"entity-type":"item","numeric-id":3503864,"id":"Q3503864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$C3A29B57-97D6-4D17-83A2-660500790C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dfdd979036baa2b6406fafbb1025c9431e461c","datavalue":{"value":{"entity-type":"item","numeric-id":1043241,"id":"Q1043241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$FA0FFE40-6D92-433E-8905-2E31533A3C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e28e3ef0cbe3453d5dee3bc47a6da44e739c0b1","datavalue":{"value":{"entity-type":"item","numeric-id":964181,"id":"Q964181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$D7FA080F-CEB4-4FCA-918F-1ED207AE5BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58eeeeaeca65263654e5768a05d09aaad987428","datavalue":{"value":{"entity-type":"item","numeric-id":3638871,"id":"Q3638871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$E6E039C6-F07D-4146-B8F6-4887D5D38896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ada81ec93ae08aa05d6c997a5ea46a55c0e0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5943076,"id":"Q5943076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$FD7F7514-E51A-41DB-91E5-2EA75D688860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c42b487781881427ce1898217e2fa36a4d12228","datavalue":{"value":{"entity-type":"item","numeric-id":697578,"id":"Q697578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$00172F36-268C-47DD-84F2-B28D27185CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee283114bc97a63004f2adf52b0320ecefb9d60f","datavalue":{"value":{"entity-type":"item","numeric-id":3635007,"id":"Q3635007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$361C850A-D74B-4EFE-9014-5A78878C92B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$B63082CF-4109-42AC-83C7-A9217C950A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24d08035a5cfe5ae40e7bfcc50a48f9e24b69d6","datavalue":{"value":{"entity-type":"item","numeric-id":5472085,"id":"Q5472085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$6616945C-9BD5-49A0-B941-1479B98DD571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645449e4d94af0fe6295b1ac6f42ae261be348b6","datavalue":{"value":{"entity-type":"item","numeric-id":1403296,"id":"Q1403296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$4425C31A-90D8-4F3C-B139-A6E32F716C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705832eed09a8c5cb124d1748c13a326e2f7034d","datavalue":{"value":{"entity-type":"item","numeric-id":930344,"id":"Q930344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715089$1ABFBE31-3459-46D3-A675-F2B17F8B1C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72400ffad1c939adb7b4b893bc2b8f8a04b2eea6","datavalue":{"value":"10.1007/S10107-011-0448-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715089$66EAB589-15A4-42A6-AB38-AF01CB88FDC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba60f715abd53ca8205ed6018e5ffe3d6733d3e","datavalue":{"value":{"entity-type":"item","numeric-id":964181,"id":"Q964181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37db09f249391c911743ac2e23b4c7dcfd8a4d23","datavalue":{"value":{"amount":"+0.8478180170059204","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":"Q715089$224A704B-C5CD-47AB-A0C7-82E8156F76F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d9d096ff5dbfadbcb48d3b6566a925137f4502","datavalue":{"value":{"entity-type":"item","numeric-id":2786320,"id":"Q2786320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c728e3384e465ed3ac846b50b5307fefaaf54b87","datavalue":{"value":{"amount":"+0.8467098474502563","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":"Q715089$D7B2ADA0-515B-4C9C-AFCF-D6701C740010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3588368c920c76ca108678b71fe4780122c2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3503864,"id":"Q3503864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620cdde973dd1769d13072eb792a88f5b8969dae","datavalue":{"value":{"amount":"+0.8454456329345703","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":"Q715089$7B0F6B0B-2681-428C-9C82-97F8D93500EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb1851a119e10affaa5d58daf1f94965ae26cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1424279,"id":"Q1424279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf2d7dd73adfb75e346bc88b362d73e66ecf7ea","datavalue":{"value":{"amount":"+0.8390129804611206","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":"Q715089$22B55F89-A8B2-4E98-AFFD-AC4D3C929FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e819d2335db96b27dced334a38329cc2f55c76dc","datavalue":{"value":{"entity-type":"item","numeric-id":5704230,"id":"Q5704230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ab6f1c391c60cc2bb96576fc07fbec15b9bd9e","datavalue":{"value":{"amount":"+0.8232133388519287","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":"Q715089$AED4BF0F-23D1-484E-8B23-1952CECCB706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mixing polyhedra with two non divisible coefficients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mixing_polyhedra_with_two_non_divisible_coefficients"}}}}}