{"entities":{"Q2814112":{"pageid":2824850,"ns":120,"title":"Item:Q2814112","lastrevid":83561465,"modified":"2026-05-07T08:55:15Z","type":"item","id":"Q2814112","labels":{"en":{"language":"en","value":"Speeding up polyhedral analysis by identifying common constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594907"}},"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":"Q2814112$28140E2A-A3C0-4D42-940E-4320C8E424C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64900926fd56ef2fd48bf9b8536847da94ed70c7","datavalue":{"value":"1342.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$DF5ADB58-7A21-4A33-9947-0BCD1973E753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b7d66740c8762cd844a3ad525063cf0729d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":656847,"id":"Q656847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$F8D141CC-0009-4921-A965-DE0A44712C87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$DC52679A-6080-40F1-8822-D395E933FD5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814112$8C2746DA-E60E-49C2-8362-4E0EAA128325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$90E3A98E-36C5-44C3-8C69-DCE89D0CD31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$604DD75B-E970-4600-9C94-BA5F64CDD64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50b40004708885fbab48898f82e0d44d44f07085","datavalue":{"value":"6594907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$B1706028-1BC8-454D-A03E-F843ADCC6679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814112$67AC4985-34FA-4E1C-9F9B-CFD911856A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6d161b0cefed5a575702eada3e4946c53b1198","datavalue":{"value":"polyhedra analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814112$E410C300-660E-4C7A-A9C5-B9C3A369E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697626a6c5ea4a7921eba4e0f3fdba17e2e290d9","datavalue":{"value":"convex hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814112$CF3B0582-B89C-451B-A722-D80320B13C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eefc55d19757133a6d7014afa3f41525412be29","datavalue":{"value":"factoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814112$14C60845-AAB4-4E1C-8D19-5D645EB9EA66","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb2681abb3bba434415e4fc739b2d99830a88472","datavalue":{"value":{"entity-type":"item","numeric-id":16731,"id":"Q16731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$5EC359C4-BA3F-4F0D-AD71-B7BF5D248E4F","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":"Q2814112$FE30EA6D-99E1-4034-BB40-358F81C8595D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72d6ecbeed92d50424cb76797302cbe222c32f8a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.09.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814112$F3C4CABA-B25B-4BA6-BFB5-A2C91259F22D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91c65f84bef1a4bc9f5d967d58062d6557b251d6","datavalue":{"value":"W2003059679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$EE5C5330-0D46-4BF9-A418-F7D63B262B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a281af5b84bde118d7a3e20b9b4305b683ed6ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2576576,"id":"Q2576576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$D23CDB32-CE05-4E28-A1A0-80F59EC4C85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c22aedf458b7921396f27387b1078092112d581","datavalue":{"value":{"entity-type":"item","numeric-id":3722274,"id":"Q3722274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$679E0144-C67C-45D5-BAA0-DDE22DFC30F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$88D7DD9C-9E33-491E-929D-6B79067FE182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$5385DC37-D91A-4DCD-A0C9-52C128D1FFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd1eb7cfc9c85a5ed540ab8f6356e006aaa99f","datavalue":{"value":{"entity-type":"item","numeric-id":1186697,"id":"Q1186697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$165D579D-D701-449B-9866-0069DD6F061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411864b7a22c0f343aeb252b24653a1cd1701883","datavalue":{"value":{"entity-type":"item","numeric-id":3499221,"id":"Q3499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$E3FF050D-56EF-451B-8AEE-28D9CF8A30E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0237d0a13bef8fc967a6b9137c9fb920c21a4e","datavalue":{"value":{"entity-type":"item","numeric-id":2996136,"id":"Q2996136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$37FEEB5D-895F-4FF1-91E8-22EE06042737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5d2c515f77748296f77794442a602796ac15b3","datavalue":{"value":{"entity-type":"item","numeric-id":5897441,"id":"Q5897441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814112$B534E22A-E8AF-49E6-B5B1-E798EF0B0BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"827c9eaf6029822c098173274818a40b1285e71f","datavalue":{"value":"10.1016/J.ENTCS.2010.09.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814112$60156653-3D0D-4D36-98CF-ADB2C1EBA91F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c175509b739ea32c3ff302e4cb3edb041c0b6ffc","datavalue":{"value":{"text":"Speeding up polyhedral analysis by identifying common constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814112$6F9D9AB5-35D2-4E7E-9118-B9B2190B1D0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d004a7d53ed46a10d48097ec12112def85fa5107","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0a64e3861c9c39daea52fc85e4fb6afe09a105","datavalue":{"value":{"amount":"+0.756087601184845","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":"Q2814112$29E87447-FA31-41EC-862A-EC30EFBA2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35cf3c9790bbf442fdb28b220a47f4ec1fc0a07","datavalue":{"value":{"amount":"+0.74598628282547","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":"Q2814112$B234A1DD-ECEC-4030-8CDF-959949DC4587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be88cfde04efa6f2ae2fef9d15dd61389faa18a","datavalue":{"value":{"entity-type":"item","numeric-id":2814111,"id":"Q2814111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c608d97fb24bb5b0b230d219b9e5af1fcf99953f","datavalue":{"value":{"amount":"+0.7444496154785156","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":"Q2814112$1DD3F113-F8F3-47A8-9A5E-59DDD7C2745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9509cae4e669e7b0e2fae73837a6061cec7ae77","datavalue":{"value":{"entity-type":"item","numeric-id":5233243,"id":"Q5233243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1de4f07f644790ebab4c8da80e4805fb70fa67e","datavalue":{"value":{"amount":"+0.7355820536613464","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":"Q2814112$30EB9106-49CC-47D3-BB48-725A84AC89AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503d387a31e31f5e0894d290ac3d81fd4af4a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":5897441,"id":"Q5897441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4541ffa641c7f61f438a0a27fdcda006162cfbcb","datavalue":{"value":{"amount":"+0.7345881462097168","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":"Q2814112$24076315-6DF1-47B3-BEA5-92C011438CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Speeding up polyhedral analysis by identifying common constraints","badges":[]}}}}}