{"entities":{"Q2540177":{"pageid":2550920,"ns":120,"title":"Item:Q2540177","lastrevid":78852470,"modified":"2026-05-06T12:35:14Z","type":"item","id":"Q2540177","labels":{"en":{"language":"en","value":"An application of mathematical logic to the integer linear programming problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3314880"}},"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":"Q2540177$AC9900A8-3E89-4AA3-BD07-014351518200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2776377c84d071aa2d6412a01f580bf62f066d2","datavalue":{"value":{"text":"An application of mathematical logic to the integer linear programming problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2540177$9CAEAC42-1923-4DAB-9E17-02BB325CE4A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72df7fbece6b040bc5015fc9cf6de0fc211e246b","datavalue":{"value":"0197.45703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$71FD54D4-164C-4C5D-92F0-96EDF05C8CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2540177$9C1E9DFF-49A5-484A-A31C-512D95B864D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2540177$F3E099FA-6BBD-4782-888F-940B2D056D94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2540177$DC0A352F-96D4-490D-B5F9-8CA121263FEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6575d3edd34301586ba94e72449ed5e0716ab39","datavalue":{"value":"The general integer linear programming problem, namely optimising a linear function subject to nonnegative integer solutions of a set of simultaneous linear inequalities was, until the solution in 1958 by \\textit{R. E. Gomory} [Bull. Am. Math. Soc. 64, 275--278 (1958; Zbl 0085.35807)], one of the major unsolved problems in linear programming theory. This paper demonstrates that, with minimal adaptation, the decision procedure published by M. Presburger in 1930 [C. R. Congr\u00e8s Math. Pays slaves, 92--101, addendum, 395 (1930; JFM 56.0825.04)], for the fragment of formal arithmetic containing just addition (i.e., Hilbert's system Z without the multiplication function and axioms for multiplication) solves this problem. The significant fact is that Presburger's algorithm was available as early as 1930.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540177$AFCA1145-2D26-42F2-9974-651F40494EBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$56A0336D-F494-436B-AB0C-37B5217EE514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$4DB49E9A-99B1-4E06-8BAD-2EFF66F61DCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"066b953551cc5e73c17174cbdd4a2f33cafc97f9","datavalue":{"value":"3314880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$27A9EB87-8233-4005-B3DE-E63B1FC11E8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540177$8715C3FC-7DA3-40BB-8628-95FB5DAD723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af94ac434526cf5a65e7863f085516243f15ba72","datavalue":{"value":"Gomory cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540177$7E97ADEA-C664-4C41-A331-8C5939DE45F7","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":"Q2540177$7303096A-AA80-4A89-85B4-C1EDE676B918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2385edf216fe67f90531fd892d56ff7982bfc60","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894728","type":"string"},"datatype":"url"},"type":"statement","id":"Q2540177$D56A8730-6476-4150-90BD-966B9EE37670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"864d9061795d16e0a3fce9c073feeb3425048b40","datavalue":{"value":"W2002724351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$0EF091BE-A06A-442C-B54D-40BDF2861B00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e05af3417394508fee5a1703262c219ba39c85d9","datavalue":{"value":"10.1305/NDJFL/1093894728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540177$0C05C3AE-595D-4A3F-B6F0-80FEE10CDD35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de63b863339d1a5a950d563da3cd24f04d66ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3727742,"id":"Q3727742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556bb8813760d09bd47dbd8b37e666bb53d1a80c","datavalue":{"value":{"amount":"+0.7613162398338318","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":"Q2540177$5526CF2C-77D3-49AE-BA35-B1E3CFDE8DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dc05f3eda21d013629dd8bdf656e2148e3f823","datavalue":{"value":{"entity-type":"item","numeric-id":3565233,"id":"Q3565233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791a1800334f59751d13ac0889fbb3b3d65b0c87","datavalue":{"value":{"amount":"+0.7409976720809937","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":"Q2540177$6F48748D-8596-4EA4-B52D-E386C814AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3368d18cbe413b3b11872dcb3c37eaae1508f488","datavalue":{"value":{"entity-type":"item","numeric-id":3316962,"id":"Q3316962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10645831c037af07f37200938753c3dd69b8ae52","datavalue":{"value":{"amount":"+0.7350198030471802","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":"Q2540177$EC77EF50-93E6-4C14-8848-29838EB4CC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c970a8db2a0a5231c2e0a9202548fe55a69fd46","datavalue":{"value":{"entity-type":"item","numeric-id":4313059,"id":"Q4313059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74734ff9fa3a476564ac978f30691ccafc51ae1d","datavalue":{"value":{"amount":"+0.7349979281425476","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":"Q2540177$ABFA0C9A-80C9-4C5C-A785-658C1CAAA630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4554e00e17ec33c24187583cbcb34aadcd2816d5","datavalue":{"value":{"entity-type":"item","numeric-id":3028723,"id":"Q3028723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb557e90fec205743543cde11ced10e38734b40","datavalue":{"value":{"amount":"+0.7328314185142517","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":"Q2540177$E4292A08-E161-429A-B967-1802732382D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of mathematical logic to the integer linear programming problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_mathematical_logic_to_the_integer_linear_programming_problem"}}}}}