{"entities":{"Q999171":{"pageid":1001019,"ns":120,"title":"Item:Q999171","lastrevid":66530448,"modified":"2026-04-12T10:46:00Z","type":"item","id":"Q999171","labels":{"en":{"language":"en","value":"Logic and integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5501161"}},"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":"Q999171$6691B25C-6CA1-4E21-9C5B-B90B41F60634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bb8d95e1adc8feead0581a3416b27a2214fc9a0","datavalue":{"value":{"text":"Logic and integer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q999171$C75367F2-9350-44F0-8430-E8C229851AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b85a9ebb8a4f5a79ae298d9d8efe7f7da0e55b88","datavalue":{"value":"1175.90005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$196A0239-1B5E-4B65-9EA1-056B399CFA3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3ad92857675ae302049a2f21f93554e2e497957","datavalue":{"value":"10.1007/978-0-387-92280-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$9B6DA42B-789F-4D1B-AC6C-DFA1E2AE96A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59a685c0671d409dd4b5578abf88a87e81d88a6","datavalue":{"value":{"entity-type":"item","numeric-id":999170,"id":"Q999170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q999171$54D90721-7378-4A9B-B8D0-3397A1BE77C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q999171$EC3FD14D-0EAE-4F6F-851B-E9A3DF6197FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0e9203388cb8a252daa05e2301185c786363328","datavalue":{"value":"The present book comes in the trend of the extended and long known work of H. Paul Williams on integer programming. Following a tempting connection, also pursued by others (as credited), the author exposes most known concepts and results on integer programming through logic theory, exhibiting modeling and solving advantages. It also shows how integer programming can model logical requirements appearing in a number of combinatorial optimization problems. With a simple and accurate exposition, the present book organizes and links the most interesting ideas on the mentioned connection, highlighting and exploring the inherent decision processes and ingredients usually found in linear and integer programming. This is an important book for both graduate and post-graduate students, providing more concise descriptions and a clearer understanding of linear integer programming concepts and applications. It may be particularly valuable in courses with strong computational skills.","type":"string"},"datatype":"string"},"type":"statement","id":"Q999171$EA7D2E75-EAEC-4962-842B-7C1F003AC6CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"319a8f205bc3204f01d1dde78feb8cabf2689e9d","datavalue":{"value":{"entity-type":"item","numeric-id":869012,"id":"Q869012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q999171$500D87CF-36FD-46C9-8577-98A8F9A4C065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e47044a48934462ae67daab4b129c466ca4197f5","datavalue":{"value":"90-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$CE23DA87-DDF6-4D7C-8600-D1B96E16CF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$64B171BF-878E-417F-90AB-4006010ADBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30e0158d39e8dcc6ee00ca7b3ae626e5899d5903","datavalue":{"value":"90Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$B45BFED8-AC5B-437E-926A-CEE4B1BF7965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$BE373146-EA43-4C5D-927A-C4F094F213A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c1144852b544ea4d529c5014183838fd40e3727","datavalue":{"value":"5501161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$797133FD-F761-488C-9309-681426C0BF25","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":"Q999171$7E145880-3781-47E7-BE5F-301C7B7A91A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68f1c5fb880ef14de8e0c2cae829937580635acf","datavalue":{"value":"https://doi.org/10.1007/978-0-387-92280-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q999171$18290C7F-FA9B-41DD-B38F-2BC35397705C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e75d7661b4f6df267af97d02be30bfbe54f7d7b","datavalue":{"value":"W2107098527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999171$53C040B2-D64F-4B21-B5D3-4046EB8C320A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98a057c731145429e3445d78310ca0a95f429a8","datavalue":{"value":{"entity-type":"item","numeric-id":2802516,"id":"Q2802516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q999171$5B475367-25C8-4CB6-8FAE-5324DDC798C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c928bc702bce477f1f130b1067bab5afb9982","datavalue":{"value":{"entity-type":"item","numeric-id":3191512,"id":"Q3191512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e4487c24deafe7e1d423fec037f6d1ca17d43d","datavalue":{"value":{"amount":"+0.8106136918067932","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":"Q999171$6EF0C267-C485-4B7E-BDCC-1733A66CFE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb2807e26cf86d63fdf01ae0a36dc784658f526","datavalue":{"value":{"entity-type":"item","numeric-id":5850736,"id":"Q5850736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb648bb0531ab27d80c25c99819bcf165aef1e1b","datavalue":{"value":{"amount":"+0.7984972596168518","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":"Q999171$FC3C550D-EB0A-4590-8397-29B6E4470018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be2065ef462b5ff00d914e71214f68d8a82ec75","datavalue":{"value":{"entity-type":"item","numeric-id":2736040,"id":"Q2736040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142a1e7735623ec877c043a1a636d0b9335b1af3","datavalue":{"value":{"amount":"+0.7732259631156921","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":"Q999171$0B6A5BAB-905F-4E41-B18C-36A4A725CC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e23eebf913ae97b0df6a25373272e12b2559d96","datavalue":{"value":{"entity-type":"item","numeric-id":5178045,"id":"Q5178045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa29033b0df95338f24aa3b9ef84d999b469263","datavalue":{"value":{"amount":"+0.7677583694458008","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":"Q999171$82F390FA-26BD-419F-ABCC-23BD651F00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a20391e425e7d042c3635cc8470c1e93a14b91","datavalue":{"value":{"entity-type":"item","numeric-id":5130591,"id":"Q5130591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e47281e4146a594399bf4fd82534db14fd72051","datavalue":{"value":{"amount":"+0.7622713446617126","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":"Q999171$7C616092-BD28-4ADD-A875-ECB46659B704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and integer programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_integer_programming"}}}}}