{"entities":{"Q2401153":{"pageid":2411896,"ns":120,"title":"Item:Q2401153","lastrevid":72702645,"modified":"2026-04-14T06:38:49Z","type":"item","id":"Q2401153","labels":{"en":{"language":"en","value":"Verifying integer programming results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767446"}},"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":"Q2401153$7203D6EB-9B7B-4596-86BF-18A666ECE3F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faefd0fd9ab470f0b34c7b5ac978787903103d1c","datavalue":{"value":{"text":"Verifying integer programming results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401153$16B26C2C-7B3C-4AAD-92F3-0809BECA6EFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3180a5fa11ddc7398977750074e36cf9a19c6b13","datavalue":{"value":"1418.90176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401153$25C6F3BC-766C-4140-98DE-23875377CB68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"905f0bc54a36d6392e439dbdc0a0cfb6a9b0bccd","datavalue":{"value":"10.1007/978-3-319-59250-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401153$D695DF2D-9F28-4AD2-9749-A4A3E66F5741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284398e1636a06c27d974808a63dc66e1f806c50","datavalue":{"value":{"entity-type":"item","numeric-id":943788,"id":"Q943788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$E76BBF6D-A966-4A6F-A3C9-00506A0AF977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d09836a38257b0d6b29a0830cb1729bcc6faddd","datavalue":{"value":{"entity-type":"item","numeric-id":522265,"id":"Q522265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$8A0DD43D-BDF8-47D9-9815-40CD8327D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"024f5ca1784df666547249e1039f0cf23ecd9239","datavalue":{"value":{"entity-type":"item","numeric-id":312705,"id":"Q312705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$C3A387DE-45EC-4516-B9F3-3392359B7A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401153$7F1A37C2-F842-4989-9EDE-04EE5764B178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c491dad9362a7010704c44e5337c2a22cc9bfc1","datavalue":{"value":"https://arxiv.org/abs/1611.08832","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401153$EFB41D92-39C6-4CF6-9770-8D06E15D5174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401153$433E7676-FD48-4198-A7B5-C892ABAB4AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f3a5b742f92f4e5f7f58fcc5e6a5f468a40758","datavalue":{"value":"6767446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401153$C994D21B-25EA-4D7F-8CEA-D6C703029E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$112A1FF7-7E18-4CAF-B117-5F4FE203AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$3A281F1D-0631-420E-BD10-061903DF4B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$6FDBC561-0EA6-40EE-AEE8-13716F084A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f42ab1ef68844a89c8a5f8b94dfe3e5110dda50","datavalue":{"value":"certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$F9206CE5-5BCC-44E3-BECF-7F83D5D53C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eee9f8cac159f4b604f03b13d7394d565afb59c","datavalue":{"value":"optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$9D823EE7-BE60-4D01-8E83-26F578FEDC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b8f91b4d594637780eaeea48dddd8cb34f4ff3","datavalue":{"value":"infeasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$A5D81D8D-47FA-4C64-B8F8-EFD886F0C661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f830821080cd8a68b981fd16333959524890e4","datavalue":{"value":"mixed integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401153$4E38790F-4954-48F0-9890-99BED547C1BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3d4aca78a7df260cf2c9340be52081d0d969d02","datavalue":{"value":{"entity-type":"item","numeric-id":16254,"id":"Q16254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$D172FE2B-C359-4EAA-8955-9A47CAB80A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdf2d88fbe1aca9b237f60a6a6b629783d846e5b","datavalue":{"value":{"entity-type":"item","numeric-id":16788,"id":"Q16788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$61CC3462-0223-4B0A-91ED-8710D7B18884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2550d92acc946f8a7f8778e6c20b6cf62d76cdb0","datavalue":{"value":{"entity-type":"item","numeric-id":29885,"id":"Q29885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$0571078A-0949-4C74-8D32-CD927910505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ab386e21b183e19a6c6945c953b8c4a35fc708c","datavalue":{"value":{"entity-type":"item","numeric-id":16890,"id":"Q16890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$D4BC20D8-0971-4F2A-B204-F7DAA284CE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$8ACCCE9E-BE3B-4BF8-B782-7A4DF872E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$EF24C2A1-201C-46F8-A815-B67C49FF000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$F40686B7-B258-4A2B-BCE0-D8DE4490F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$490581DE-BA91-4C99-BEB0-AA113722D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401153$E83C81B7-C952-475C-A53C-41054AA81367","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":"Q2401153$30B49EA9-3346-47DF-8AD9-005B7ECFD8B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bbfb8fdd7323b78163b758ed7be1389d65ebe27","datavalue":{"value":"W2558711366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401153$14D9DCCE-162C-4DE4-93C5-F47A379C5271","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4466b5780fd1223dd732b2de7ba3cc738fc63c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3009754,"id":"Q3009754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0bc41d2520b1611a74ebfbb22bacc94afe79ed0","datavalue":{"value":{"amount":"+0.8064596056938171","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":"Q2401153$21452B87-6BA9-4F1D-A31C-A4C5D62A4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de8e7fa58ed2213f3d4c60c6110c267697c8931","datavalue":{"value":{"entity-type":"item","numeric-id":744213,"id":"Q744213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e524a71b2857c8a9ce69fbf9a5201c5fdc3025d","datavalue":{"value":{"amount":"+0.7784731984138489","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":"Q2401153$2C2A6EA5-63D2-4AA6-9CC7-2D87456AB13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a47a0ccfc3530d04285602631105b2823b60eb","datavalue":{"value":{"entity-type":"item","numeric-id":1434074,"id":"Q1434074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552bb47b4b9392ecfb560e2cb00641ffb23997ec","datavalue":{"value":{"amount":"+0.7782526612281799","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":"Q2401153$D60D9668-1C29-4422-8FD0-8435FD547F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82132b73340dbfce28b47388baa7ee1728e25c1","datavalue":{"value":{"entity-type":"item","numeric-id":5918427,"id":"Q5918427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18060f11f15f30e1834c7fc8bb0f4687985a63c4","datavalue":{"value":{"amount":"+0.7739183902740479","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":"Q2401153$11FE7448-CDB3-4500-84AB-C140E18D140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cb1c8bfc74eae0a6a54851a8a4a0114960f39b","datavalue":{"value":{"entity-type":"item","numeric-id":5925645,"id":"Q5925645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c2fe9a3557cf49ab458eac5de51d3a465a1787","datavalue":{"value":{"amount":"+0.7686352133750916","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":"Q2401153$81472009-EFEB-4C9D-B20B-B92015A5D4D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying integer programming results","badges":[]}}}}}