{"entities":{"Q6202766":{"pageid":13337653,"ns":120,"title":"Item:Q6202766","lastrevid":58764405,"modified":"2026-04-06T15:34:18Z","type":"item","id":"Q6202766","labels":{"en":{"language":"en","value":"Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7809690"}},"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":"Q6202766$A77EA937-EE7A-47C1-BF9F-2AD92B310945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55aeadbefb2d90677bbf29ccc377b2ec6a733d01","datavalue":{"value":{"text":"Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202766$E2100CBA-3D51-4ED7-9CCA-ADEBEA851097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07d6cd08eac8f167f417f8273d6e404420ded59","datavalue":{"value":{"entity-type":"item","numeric-id":2061872,"id":"Q2061872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$9EA1B62F-9F9B-4468-B8D0-F019317790CE","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":"Q6202766$43C777D1-194E-4D93-A8AE-407A47A8CF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"695f2c366d4da65eefbadd7f5b4277ec35b5cedc","datavalue":{"value":{"entity-type":"item","numeric-id":60872,"id":"Q60872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$14A9172F-EC53-4CD6-9D4A-3CA8836CCD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"619f3032aced71bd42d27d9f4af02aff9349c7f9","datavalue":{"value":{"time":"+2024-02-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":"Q6202766$A6B8190A-E919-4C4C-B309-66DF66DB7A9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7b82e76b566c105bec470f9907a09f30f27046a","datavalue":{"value":"https://arxiv.org/abs/2303.12365","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202766$D1485D50-DAF9-4A97-B6D3-7005E4473D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202766$9B24AFFC-B927-451E-A939-F27DE2B4EA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202766$5C88A8E1-D28F-4311-99CC-782F0383E7C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5452f061f9228133ea602fe69392b14a27eed8","datavalue":{"value":"7809690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202766$C2F82C89-A796-4C69-8C4C-B9B4B4CC5970","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$E9F6A76B-84DC-477E-B1D0-A0E118C32EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6f0813292813c40c6016f23ca0be61677d736a","datavalue":{"value":"symbolic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$1D907CFB-D829-44BB-89FC-B4CCE30086D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9dfaa91476f99afc3461bcaa3ea54635f624cd","datavalue":{"value":"rational arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$1DBC304D-C92D-4ED4-A3BD-A669A7375CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36de0ebf26a8efe51a41fd3675f8b65e177bfccd","datavalue":{"value":"exact computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$CB7112FD-9FD1-4931-8B2B-88EC76A8F0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08823d8721d2e03d88e4cef8093d074f2f680a23","datavalue":{"value":"mixed-integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$831B1775-7811-491F-9D61-3DE498820DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e6684bfc86b341b6a13aa0f2f61c6b6b9db113","datavalue":{"value":"certificate of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202766$76A7500E-DD9F-41AF-BA4D-34EAD3F01524","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":"Q6202766$18D1507B-3274-4FD8-9D27-3A10259E711D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff7f427f7d0c616a71fc33ef6c486f8092c5b29e","datavalue":{"value":"W4391881660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202766$2C347F89-AB46-4994-99F3-24F9691D6C23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9093e089276382fe7a667726599803a633a2c677","datavalue":{"value":{"entity-type":"item","numeric-id":5241193,"id":"Q5241193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$0DA72524-D3FC-4143-9F6A-63BF77A37826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d01b683f896e11284c54a632af14840b650cc21","datavalue":{"value":{"entity-type":"item","numeric-id":5265181,"id":"Q5265181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$9387A37C-3257-4472-9FBC-657F23758E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eab9ecf9dac7fd8be873a78fa7dbdd1c3d55f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1002076,"id":"Q1002076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$0C6C64F8-A684-447A-B486-B461AF3D94A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4366317ce31b580fcdaeadab2fe1e4c9b8f2e5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2317509,"id":"Q2317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$3781455F-D0B1-45CD-9139-E2E510CCB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8aac4ae3e7c579ba1e0fc84653bf1b0be93ab8","datavalue":{"value":{"entity-type":"item","numeric-id":3189660,"id":"Q3189660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$CAEAD103-7BD0-4B15-95B7-16F87C1209E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967618228d26837a3e635dcbdd0707436852217","datavalue":{"value":{"entity-type":"item","numeric-id":2401153,"id":"Q2401153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$DD7EFE98-F1A3-4ECE-A864-3E542982722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1570c1709ec35dbc3867b0b4d94df700bdb53edc","datavalue":{"value":{"entity-type":"item","numeric-id":3191512,"id":"Q3191512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$DFC490A7-667B-45C1-A32D-3B3FB938B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02f3b0c782d21f3b169b5a3728b8b0c823bd8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2899029,"id":"Q2899029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$2BA307D0-EFF9-4975-ADF5-046ED027DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4dfebf95c9b318135b0e990c7191060998089","datavalue":{"value":{"entity-type":"item","numeric-id":744213,"id":"Q744213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$D1154F97-8FD8-4B30-AE52-BED898B0356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0291090988a0585632b586f8396fcfcda611bad6","datavalue":{"value":{"entity-type":"item","numeric-id":5925645,"id":"Q5925645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$7CC88436-D492-4E47-AFB6-BA954F4A6132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2f9441a422053c2f1d93320d2c7acca5798c28","datavalue":{"value":{"entity-type":"item","numeric-id":5883707,"id":"Q5883707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$2AA0E22B-4CAB-4757-B9C2-49CE37782CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9553a7400aae7043c9da43eb054630a364822f45","datavalue":{"value":{"entity-type":"item","numeric-id":2062317,"id":"Q2062317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$8EA76233-CD85-40FD-BAA7-CDD940B39149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90427896b1ab94a1a4b092d116c6d90e7a544a5","datavalue":{"value":{"entity-type":"item","numeric-id":4427368,"id":"Q4427368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$259E7375-A3C7-4D1C-891D-4D9E58365694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f395cf1a00c476fb3fce6ec3cb2e680ee3914c","datavalue":{"value":{"entity-type":"item","numeric-id":2327149,"id":"Q2327149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$3EE80E5C-A7AB-4AE4-91A2-FF6C01864920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a1f556d83b389b266b0759d0bc1bc4dde2effc","datavalue":{"value":{"entity-type":"item","numeric-id":834596,"id":"Q834596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$639FDB84-EF74-4966-A9AD-F7DB1E582952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4fab0d64c194c1ed28725d4599df25d2cca33e","datavalue":{"value":{"entity-type":"item","numeric-id":2663722,"id":"Q2663722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$BD6A4DDE-084F-4B12-8537-D3172A13EC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762c96de6335366ed737df8ebe3544ec129a7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5520003,"id":"Q5520003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$1395FC0F-0058-494B-B68C-144D13DAB456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb34963eb5676a27807abae951510e8ae914682","datavalue":{"value":{"entity-type":"item","numeric-id":2294273,"id":"Q2294273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$738D928D-0D89-4021-94D7-30D3D33D2D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee283114bc97a63004f2adf52b0320ecefb9d60f","datavalue":{"value":{"entity-type":"item","numeric-id":3635007,"id":"Q3635007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$B8FF6EC6-A1DF-412A-AC4A-8ABC21CCA419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91a08968cbf34d793a372ad4134ba1188e31e68","datavalue":{"value":{"entity-type":"item","numeric-id":1434074,"id":"Q1434074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$E0BD6C5F-6DC9-4186-875F-998C998600A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac27682ba9b540f1f039eb29b55172d05969da","datavalue":{"value":{"entity-type":"item","numeric-id":2713714,"id":"Q2713714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$937960E1-3D15-4E45-AFC5-890AE89018FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e440035d90ef07bebb7122477aef596a20269ba","datavalue":{"value":{"entity-type":"item","numeric-id":5207443,"id":"Q5207443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$BD4584E9-B3DD-473F-81D2-CB89D5DF8738","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":"Q6202766$24D2E925-3ACE-4300-9448-4DCEDFB75067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202766$9B95C48C-618F-4039-A717-6DB1A5DF7E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f973a7542dcd8863e7d4fb6cfe15a9767c96bc5","datavalue":{"value":"10.1137/23M156046X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202766$A7CEB377-C587-4B02-8C9B-3033F2CD5197","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67d4f126452a18b24529c885e2ba9d1bcebba51","datavalue":{"value":{"entity-type":"item","numeric-id":2899029,"id":"Q2899029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60246cd8903866497c9b4f049e169bdb6066e232","datavalue":{"value":{"amount":"+0.8451733589172363","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":"Q6202766$85F7D25D-F836-4297-9C13-085021C4F6BE","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":"daa7ddd3cd8153be3d0934d90e3cf4f59ffc8806","datavalue":{"value":{"amount":"+0.8399866223335266","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":"Q6202766$B05F52B5-A758-40E2-A557-220F4796E1F8","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":"83c0aec4b5a6eb82b8a67ff55b17820d34294139","datavalue":{"value":{"amount":"+0.8370046615600586","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":"Q6202766$A33805E2-CE4A-4E4B-A97F-C6D3075CBDDF","rank":"normal"},{"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":"cf354d308d72bc6fcceca28c4d18b0373e3b1069","datavalue":{"value":{"amount":"+0.8249679803848267","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":"Q6202766$8783394D-FEBF-4253-9990-5AD3720C7F4F","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":"581161fbf3857d650f370d5e50cd16e977f23217","datavalue":{"value":{"amount":"+0.8245620131492615","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":"Q6202766$23666C59-DCB1-4E21-AE11-86C5239CD0DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202766"}}}}}