{"entities":{"Q5200112":{"pageid":7229683,"ns":120,"title":"Item:Q5200112","lastrevid":51307052,"modified":"2026-01-17T16:53:22Z","type":"item","id":"Q5200112","labels":{"en":{"language":"en","value":"Efficient formal verification of bounds of linear programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934443"}},"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":"Q5200112$47532ED7-AB2F-4CBA-9A95-C5ACC330940E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8b479f974138d28bc14e564acb7f7617dda0f0","datavalue":{"value":{"text":"Efficient Formal Verification of Bounds of Linear Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200112$ED32C703-B532-4188-8393-AA0D4DFA934E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4dd46979773e9b4d2169b265965261299d93045","datavalue":{"value":"1335.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$890B7F5B-D769-4613-B3A6-A17126CF4F53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393132d54a1c03836914352e92a2a0906e49ee71","datavalue":{"value":"10.1007/978-3-642-22673-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$86FD1155-D066-4EB0-8947-472999B4FC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dd5f0e818e272e3a2ec7bd09ea12e648a41f648","datavalue":{"value":{"entity-type":"item","numeric-id":2520684,"id":"Q2520684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$C11FAF41-7033-46F7-9E44-BFBD25EC160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f210947d1f10526bfe277aab343a3905d8fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":684404,"id":"Q684404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$75BB2871-5B12-4D68-AAA7-7BC9D350344F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$E91BB81C-F209-46AA-BAB4-A39F11CB9D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200112$B8D60D8A-E8F3-4B93-94E5-62CEEE054501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$B08DF383-5809-47FE-B0E7-D1B59DB8334D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$7CE20F9F-C015-49C8-BB32-18703C41F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$069B8F55-36F4-4EED-BE4A-A80C9950A84C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb7c3ea2aad363a241b0888a2fc15be02196987","datavalue":{"value":"5934443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$600E3823-31A6-475B-B6DA-DDFE88050859","rank":"normal"}],"P1463":[{"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":"Q5200112$26311713-AFDC-4018-9AF8-BFBD6DF04C25","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":"Q5200112$E60F427C-9856-4D7D-A615-5960266E5DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$1CDAC18F-A200-4A29-819A-C4E0779068EE","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":"Q5200112$E866F13A-858B-4B02-A12A-98C58B4396BD","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":"Q5200112$029138F7-40C7-4FE1-8CB5-F590404E904B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afecdf7dbe7abed32c3871063fcea7c419428e9d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22673-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200112$44769E93-F6EA-4EFB-B081-60DF55E29A07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e0225190ce719e4007eff5ac741db08daa20ce0","datavalue":{"value":"W93453024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200112$DCAD20ED-81F0-460C-986D-11A4B3D1E133","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$33604586-2EEC-4905-97AA-543EFBEBFA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$31872285-1F6E-45CE-8B24-715544A10EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98082c855f85a200e3a63beb3114dd70bd3fabc6","datavalue":{"value":{"entity-type":"item","numeric-id":5747875,"id":"Q5747875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$CAAB6247-3980-459D-B231-FDCE5F86D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea3b5387d625914c8ec66f99052ec982e10cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4346406,"id":"Q4346406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$548CF317-21AB-4771-B4C0-A43CB6729116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfc7d5ee1b035b8d37b2573bd54cb7b24ba6f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2379683,"id":"Q2379683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200112$90C27CAA-D825-4062-9321-EC184A1AA600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621224565ba87a3500b60013dc4d9942b72ef61f","datavalue":{"value":{"entity-type":"item","numeric-id":5477658,"id":"Q5477658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b088f1760e1d3f4482d624a71d58d1f0cf0647ef","datavalue":{"value":{"amount":"+0.8181063532829285","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":"Q5200112$20B0506D-10CD-4963-967F-6A444D9A6EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b960e703bc230c6b47eae1ea55701393834829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5195260,"id":"Q5195260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7419a57c21cafc4958049898d72224ebf2cd8e26","datavalue":{"value":{"amount":"+0.7754554748535156","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":"Q5200112$C413AC55-AF79-4A61-8E8F-BA43052012BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c6e281486ce3a8d3bf6567f793e08c8232cf8b","datavalue":{"value":{"entity-type":"item","numeric-id":2723405,"id":"Q2723405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8fb17ee21ab2723fc5f79842fde29383ada866","datavalue":{"value":{"amount":"+0.7625794410705566","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":"Q5200112$EE621F93-065C-4EA1-B494-5FF5DC3BEC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeea4bb2b5ba2b2bf4fa10891363c2362a96cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475bcbaabbf6b19891b5e089adb404f03796c4d8","datavalue":{"value":{"amount":"+0.7333323359489441","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":"Q5200112$FE2D786D-A450-48FD-837D-0A073CBF4941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd9f5ddf0572bc108cb908048a68edf9561890d","datavalue":{"value":{"entity-type":"item","numeric-id":2879090,"id":"Q2879090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bd6f5a4de00771544a84ac729093b8fee2ce31","datavalue":{"value":{"amount":"+0.7196585536003113","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":"Q5200112$C6A8CF56-33C7-48D0-ACA0-17B72262137F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200112"}}}}}