{"entities":{"Q2235285":{"pageid":2246028,"ns":120,"title":"Item:Q2235285","lastrevid":73611570,"modified":"2026-04-14T16:39:06Z","type":"item","id":"Q2235285","labels":{"en":{"language":"en","value":"Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7412193"}},"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":"Q2235285$53533C45-73DF-4B40-8BFA-5BB2265E66B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"986eaae323605bcd513c748f427482e5b5475c30","datavalue":{"value":{"text":"Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2235285$0FCA4E52-DCE7-4194-9B03-3CB26D6BDC58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83ecb89a9c392cdd94e0413a27ba3c59ac3882bf","datavalue":{"value":{"entity-type":"item","numeric-id":261359,"id":"Q261359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$6424F4E3-63F6-4578-A561-3CAD3B823458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$1666A453-74BA-4ED7-BCE1-08998692B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$78101555-BDE1-4DBC-8788-CCE6E145EBC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$2F07EF29-02D9-4320-867E-C7206DF71352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ea68637f5cfe48b0d0d77e5f0fa82323c89d78","datavalue":{"value":{"time":"+2021-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2235285$354831F4-1B9D-42A5-B988-12FB4E12F922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$B007A58B-33A3-449F-9DD8-AF76F07E8D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$0FB17BEE-019A-4594-851E-C51555CF82E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$1168049D-00A5-4744-997D-1B8DB40FF6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$6EEB2EA2-1075-41A2-AA80-03958E844432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de8bbff9435fc9231536b58143996888b7a8e9c9","datavalue":{"value":"7412193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$78ED7F5E-4BC9-490D-A65D-2B1A52AEB60C","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":"Q2235285$C56263C2-B2AD-4E53-BF67-20D9D6B8B36F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"681565f91ecb0d3fe870ca4dceb41e6b4eaa2271","datavalue":{"value":"https://doi.org/10.1016/j.dam.2020.10.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2235285$2A8C41DF-A3A6-4D05-A641-D275F3B695F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4d0aaef4e065c267c5c52fedad9a15c0b3b8b26","datavalue":{"value":"W3111419358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$3AF1EB04-02AF-4C52-8FFF-73571532169B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa7da4ae579c802d85da4068fe39eb2902c118c","datavalue":{"value":{"entity-type":"item","numeric-id":4218098,"id":"Q4218098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$8E92ED39-E298-4FCD-A01C-0E70CAC91940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$13A35781-9FAE-41CA-AF8B-E3991DD4DFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$CD13E6B0-D99A-4AA6-8D73-699F104A602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844f0c0b563447e59b77eb7bdae75f92223ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":4419674,"id":"Q4419674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$B5887BEF-1D15-45F3-AD86-7C2A18DAF63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$47B289A0-626D-49C4-B99A-77F678A1970E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4553f833c1176f5e7b18b63606cde7cfb92d5b68","datavalue":{"value":{"entity-type":"item","numeric-id":1321662,"id":"Q1321662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$C4399CB9-C33D-4404-BCA0-19C0E0AA8C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f61da27f952ab7043b082ebdc98abf9197bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4327416,"id":"Q4327416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$064E5D72-AFB7-4120-BEA1-821F6D30E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d00577aaab877471eab13639deaf5bae1c0a78e","datavalue":{"value":{"entity-type":"item","numeric-id":4699307,"id":"Q4699307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$0BEB0FD5-105E-4A2C-997B-ED95CE1E5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$4B8EEB58-3F13-4C6E-9CCD-6E31108C6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$367A7B7F-6EE7-4589-8C88-7DD06AAD9C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$DC73DC95-C1A4-4A9D-8BF7-A1CAE725140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcd935a5b8d2b98c3e577acbefcd660095c66bc","datavalue":{"value":{"entity-type":"item","numeric-id":4943600,"id":"Q4943600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$77F9AC91-1E7E-45AD-8CC3-48671FEE0F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2678f35c66cd90bfbb3f5a132ce5a0689630764","datavalue":{"value":{"entity-type":"item","numeric-id":1693163,"id":"Q1693163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$F4D9C5BB-1F01-45C1-A093-95368882CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b1084f552b72c969bd4feb6fb1c5a8e2058162","datavalue":{"value":{"entity-type":"item","numeric-id":3813613,"id":"Q3813613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$731767A7-6838-4CD4-87E0-850ACB00C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21a1dd8ced0005122cd1f252e3788cfede82cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5277698,"id":"Q5277698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$8BA1906C-F795-4506-8729-CE4F4A233153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$0C090064-733D-46F8-931B-839BEC036B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea4545bb481e8c7fcc323a45519fd3b9867dd35","datavalue":{"value":{"entity-type":"item","numeric-id":527418,"id":"Q527418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$93AE5237-13EE-495C-9CA0-887CEA972B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40d53a38da68e4d05efa5f8d59bbbda66573d98","datavalue":{"value":{"entity-type":"item","numeric-id":1702822,"id":"Q1702822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$4E0D4720-8128-4390-B848-6553A48F77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$5DD20A1F-E67F-40FF-B39B-FFC1888C3361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$A96CDC77-0BB8-43D8-A440-C20955BEAC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$51DB8259-E5AD-4320-9FAA-2F28B94330B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7ab80fc1cff10d35652a6ec415b6de069682c8","datavalue":{"value":{"entity-type":"item","numeric-id":4736885,"id":"Q4736885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$66F5941E-D29E-40CD-8DEA-2B29382071A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d80b17469a97b85699509010d421dfe0c1ada3","datavalue":{"value":{"entity-type":"item","numeric-id":777309,"id":"Q777309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2235285$A82790D6-B63F-4B8E-9379-B0E3A9F06526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"599aa09a0873be3d5fc09a8dd730b45a189d0af8","datavalue":{"value":"10.1016/J.DAM.2020.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2235285$A8087540-728B-4466-91EA-03DD5309410E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d6ffa05f43a53257a898e6a064fa9628f9beb6","datavalue":{"value":{"entity-type":"item","numeric-id":777309,"id":"Q777309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3014137a9c5a7bb687d820ebfb33bd5e4dd0d3b9","datavalue":{"value":{"amount":"+0.9669721126556396","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":"Q2235285$BA2605C8-F0D0-430E-B128-686ABAA10F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc742d08b68d26ee735bad91beff63dbfd429e","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888f399595681a6bab5f701132cdfd12c565432b","datavalue":{"value":{"amount":"+0.8707085847854614","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":"Q2235285$2157A595-A5F5-4083-83E6-AB8750E8B586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8453366be900126264fccfc8302c7b8162bda3d","datavalue":{"value":{"entity-type":"item","numeric-id":2327508,"id":"Q2327508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6feeb8ff472951b29dc2e850c430bb12eb9e177","datavalue":{"value":{"amount":"+0.8656644821166992","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":"Q2235285$BD51805F-0969-4E32-B4A4-2E6118CFC4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58a16496b4fb077bb6c50c56fb889aef8b574be","datavalue":{"value":{"entity-type":"item","numeric-id":2049975,"id":"Q2049975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e955e7575c51c082a31562c900519dc1ad2ae30","datavalue":{"value":{"amount":"+0.8159820437431335","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":"Q2235285$98FA3950-3CCA-4B3C-84DA-975E597D7D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261d1ed556af9cc53a111fbe558041d4e6418288","datavalue":{"value":{"entity-type":"item","numeric-id":2684489,"id":"Q2684489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0b78ff005d606f8fcb9c2fcb0c98bec0d58634","datavalue":{"value":{"amount":"+0.8140384554862976","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":"Q2235285$BFA0BBD4-DF7C-4D0F-A26F-9C7CEB27D968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_time_algorithms_for_optimal_length_tree-like_refutations_of_linear_infeasibility_in_UTVPI_constraints"}}}}}