{"entities":{"Q2899084":{"pageid":2909809,"ns":120,"title":"Item:Q2899084","lastrevid":58051308,"modified":"2026-04-03T14:55:58Z","type":"item","id":"Q2899084","labels":{"en":{"language":"en","value":"Incremental satisfiability and implication for UTVPI constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6060493"}},"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":"Q2899084$0A97B43D-4D3F-4EAC-94C2-976275F3971B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1df4a8215ca92012baf46fe82b131836db8936a","datavalue":{"value":"1243.90141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$37AC7E4F-068E-4ACE-904D-CB5452DEA602","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55c4614a6a5df39cc576b6124e179e676edd303f","datavalue":{"value":{"entity-type":"item","numeric-id":647474,"id":"Q647474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899084$E3DA25A8-ABF4-4852-B0AC-267F76420EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899084$C5EA3FFA-4C0B-412A-9292-0BDCAA114744","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f030fff290cba9104f71fb1447bb02747b898e5f","datavalue":{"value":{"entity-type":"item","numeric-id":74741,"id":"Q74741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2899084$FB50F31E-27F6-4FD8-BEB7-493998BEE644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1354d94d5c7fee481a21b3b2cba3ea61fdeb44f1","datavalue":{"value":{"time":"+2012-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2899084$29D06EA3-9FE5-4DB6-B688-AF7770E2D8D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a70701687cb469065152750a5c340163334e8e","datavalue":{"value":"https://arxiv.org/abs/0709.2961","type":"string"},"datatype":"url"},"type":"statement","id":"Q2899084$FF114EAD-90A0-4D35-A352-BADD95C5CA84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$CB3B6098-A77B-490E-8E40-38A882A94C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$8ACEBF5F-3B33-4889-839E-0D948100F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$81BFBAB9-8C8C-4949-9F29-8F3589FD4DE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61753b182adfe2eaf6e9c278433e8fbe396d9760","datavalue":{"value":"6060493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$E6AF1A46-EA45-4007-82D9-71741AEEF502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3136e474126a5b83e49b8cf3827f604ef6762be6","datavalue":{"value":"two-variable-per-inequality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899084$F503A2A7-BCF6-43F8-8D0A-76FEDA804D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9356f7d1597ca1770e6570130c6b18ff4c13da06","datavalue":{"value":"satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899084$5CE20F2A-3D5B-4215-809D-A4C9890E80B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2899084$D4871DCB-A6D3-4EB6-996D-17073211E92B","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":"Q2899084$F3E56943-F034-4332-AD6C-91233311D642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d09d5bca30397ed46f58368b4f0127356664b46c","datavalue":{"value":"W2113188188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$57BE08F5-FA27-4C5A-BCF0-6FA2ADF5A7FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96018987ed16c4534ee2c73e044839e9f43d2fa3","datavalue":{"value":"10.1287/IJOC.1090.0369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2899084$F412B5B0-260B-4AB4-832A-9C91F40D3DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1412e53e5af0f9dad50b309df313f7c18568683","datavalue":{"value":{"text":"Incremental satisfiability and implication for UTVPI constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2899084$F66B30D2-6AFB-4605-B294-668A6B71222A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef471a74d97e05389ec5460f046dd282dab09c9","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b7aaa2faae4efbbe21aabbe4057a61761badc9","datavalue":{"value":{"amount":"+0.8651608228683472","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":"Q2899084$AEA5D7DE-DFC5-42C3-B488-A6E7DE042160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b055643e9809efe3811e9c8d19346780377f3d87","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6f34f35c9eb05d00118343e046901a84b2401f","datavalue":{"value":{"amount":"+0.8587238192558289","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":"Q2899084$A3419340-2EF9-4620-846C-AEC2D092FBFF","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":"efc6ddf0b80fcc311c2dbbb5dbd4b72dc04f7c89","datavalue":{"value":{"amount":"+0.8367032408714294","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":"Q2899084$23234BEF-A750-42B2-9FC0-71A9E5579A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b8e72483aad6d580240249bbdd29df1c312c97","datavalue":{"value":{"entity-type":"item","numeric-id":2819515,"id":"Q2819515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdadb350983430427d5d2b81d412c43039bf90de","datavalue":{"value":{"amount":"+0.8352336287498474","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":"Q2899084$1D3A6608-9994-4A9F-A8BD-312DB5C2DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996c62010c3c87936c23e4659f3798ffaefa85bf","datavalue":{"value":{"entity-type":"item","numeric-id":2803820,"id":"Q2803820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bd5a0ad8ed5d3a11f936b3307a9e10ea0c798e","datavalue":{"value":{"amount":"+0.8102580308914185","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":"Q2899084$40924ED5-9AF5-4A60-910B-9F5BC1A0E8C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2899084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2899084"}}}}}