{"entities":{"Q453505":{"pageid":455272,"ns":120,"title":"Item:Q453505","lastrevid":77680211,"modified":"2026-05-06T09:49:24Z","type":"item","id":"Q453505","labels":{"en":{"language":"en","value":"Cuts from proofs: a complete and practical technique for solving linear inequalities over integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087621"}},"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":"Q453505$DCB57287-00BB-4F43-ABB3-85DC8EF2E386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0128c1415695d4643acd4734a1148e2dd38ce4e9","datavalue":{"value":{"text":"Cuts from proofs: a complete and practical technique for solving linear inequalities over integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453505$620CC7DD-AD15-469C-8C87-F573F3710241","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"182bdaf2b76babf632b59e44defbeb87ace7e827","datavalue":{"value":"1250.90057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$3508B321-F07D-4089-B90A-62553FFB533A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$1EE44169-7F3D-47D3-9847-98A51AFF9D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a3b3006fba52cd27cb32ea799071b012133083","datavalue":{"value":{"entity-type":"item","numeric-id":453503,"id":"Q453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$0F268ADA-3F7E-49E7-A762-F9CB37154672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$F1D2D895-1889-498D-A28D-4164DB0CE506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$D16598E9-172A-4334-9EC0-A42055866892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453505$B5E57928-1F43-4774-BCBC-3FBE511F342C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$51409FA4-3555-467B-BBD0-B13ECA61A1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$A0898589-01E5-4593-B758-692F56E3EDCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0991eb82dfc44d2fecb422a32209ad15c3ec8eb","datavalue":{"value":"6087621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$1EEF5938-CAEC-40C5-A830-E868774A3FD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c9348ccd335173ace02ef2541bec71ca4d946f","datavalue":{"value":"linear inequalities over integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q453505$90999609-0A4D-41C8-A05D-98067C07987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q453505$102B4DCB-2BB1-4135-AE2C-4D5E47012DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q453505$9811DCB9-0A57-46AE-8902-97654781A1E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$1C63BF45-7D77-4CB4-B97D-CBC1CE45B0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$2EB51632-AACC-4633-A05D-9FE349039C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$BAE3534C-4229-4C69-BFC4-813AE2FE5F97","rank":"normal"},{"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":"Q453505$F0496FBD-9825-4998-A2CB-1584F3132BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$C9302609-B9AF-4B75-837C-A1C59D3434FF","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":"Q453505$4BDF4CA3-57F0-4909-B190-1E7C9CAC343E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c437673c750269dc42c13052e51e48f7c28d095a","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0127-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q453505$57A5AC38-4D83-463D-AE7C-FC4B4EF8F80F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"918e0c64b567d7e091042f17daf9cada7b9f491f","datavalue":{"value":"W2027402438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$475F379A-2C0F-436D-BFB5-1FCC947684FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$A31D737F-0896-49A2-8CCC-9A162BDA5184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ab67df5bf4a30c1aeaed62a7d23252ef7c137a","datavalue":{"value":{"entity-type":"item","numeric-id":4427903,"id":"Q4427903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$943B89FB-1273-42A0-B31C-A5367F3BF26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$DF500C88-5555-431E-8A9B-7FB4555F35F6","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":"Q453505$09854323-887D-42B6-9A6E-9B37341828C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f8804c468bdbb5e2217d191593253bde681e52","datavalue":{"value":{"entity-type":"item","numeric-id":4227351,"id":"Q4227351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$BB570875-0F58-495D-900A-0EE784700063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$30396999-C6C3-4FD0-BC9B-5C62B62EABCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446374df6c50565e89a26cde61b70240f20045f9","datavalue":{"value":{"entity-type":"item","numeric-id":3026176,"id":"Q3026176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$73731DE6-100C-4273-B569-C95ED39C3ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8506eb86a5461a6a9db97e6004db6adee3787f20","datavalue":{"value":{"entity-type":"item","numeric-id":5310643,"id":"Q5310643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$5715173E-6A23-4881-B429-F6F86E8EE1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e61d2ed274cc952eba4995774f4775f8cabd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3512498,"id":"Q3512498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$0022EA70-13B2-4075-A6C0-5F547567606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$52C69E0D-1F1E-4A50-B3D4-9A2D4A2DEC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453505$4826ADAE-81B3-4BB5-A236-A5A50BEC09A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeb749b6d37c1c6739ff9bed5f7aeb7571d01b85","datavalue":{"value":"10.1007/S10703-011-0127-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453505$2C67BE37-E708-4985-BD15-0C251D2F72FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af768d9c1ce14ace56d140cba96d2e38faaff08e","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3ab44c3d977fa9d095db688ad97a945cf1a9d9","datavalue":{"value":{"amount":"+0.995808482170105","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":"Q453505$D41160CB-A53D-46FF-8F4C-0B8BB6369B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587510f500cf7f94feed2b7728884457aab931","datavalue":{"value":{"entity-type":"item","numeric-id":5200035,"id":"Q5200035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bc545b287b36f45664ca4ea4e24f1e2253ca22","datavalue":{"value":{"amount":"+0.8086745738983154","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":"Q453505$F08EA020-B2C2-461C-B6FC-BDAAFC653321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cebb44bb9f7313a4886ffb381ecde6d2b331ad","datavalue":{"value":{"entity-type":"item","numeric-id":2908479,"id":"Q2908479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bae01f3664530a1a91d43782160af597a7368dd","datavalue":{"value":{"amount":"+0.7910157442092896","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":"Q453505$C8259FCD-F13F-4B8D-9ACA-DDDF6E1379C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a31d922979eb618679d4203d685489e9b8eac8","datavalue":{"value":{"entity-type":"item","numeric-id":2307624,"id":"Q2307624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecabc1e09408a366f3ee9a28259f19aa248e540","datavalue":{"value":{"amount":"+0.7905392050743103","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":"Q453505$0FCA2DBA-2521-4F2B-8EAA-965F35A3AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831141a005e2a4ba06a017cce7a8c75cfa279af0","datavalue":{"value":{"entity-type":"item","numeric-id":3454126,"id":"Q3454126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f707d37a68f793915beb7017342cdc2c609c5f8e","datavalue":{"value":{"amount":"+0.7730484008789062","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":"Q453505$36A00AF0-0F4C-4032-8E14-FABF7A3CE000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cuts from proofs: a complete and practical technique for solving linear inequalities over integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cuts_from_proofs:_a_complete_and_practical_technique_for_solving_linear_inequalities_over_integers"}}}}}