{"entities":{"Q5452614":{"pageid":7482173,"ns":120,"title":"Item:Q5452614","lastrevid":101124470,"modified":"2026-06-05T23:56:05Z","type":"item","id":"Q5452614","labels":{"en":{"language":"en","value":"An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259441"}},"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":"Q5452614$255D2356-72DD-41FF-92B4-876D0E178DCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657263757fd46689f5c827b3c6fa37edcdd48064","datavalue":{"value":{"text":"An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452614$CC416297-600B-4E3A-8054-4C74C9DE216C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"296d965b80dac64f31841efd1e3b8232ac66143a","datavalue":{"value":"1132.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$555F1F54-B87F-4371-9BB6-9BAEEB488CD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"002123c9a225c0ae21a128250b6a92f791844587","datavalue":{"value":"10.1007/978-3-540-69738-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$1860BF98-4FAF-4FE9-9146-A88A3FE12AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c039e32c002d1ebcd0e058c63e1a8bc4829f2c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5452613,"id":"Q5452613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$0D138F30-A135-4E33-8D81-B821FCA27009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539273933714da8cccbd30c5d33862cc85176620","datavalue":{"value":{"entity-type":"item","numeric-id":1323366,"id":"Q1323366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$14037F44-1BAC-41A6-83CC-EB51DD6C8B9B","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":"Q5452614$C68F2D61-28C8-4BEA-8CA9-D5207D4B7952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452614$0348FF99-F4CF-4783-B603-849034C762F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$43C2152F-048F-4835-A0D6-79939C0FE84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$59830F25-6D30-4FCA-BA45-95932E4FA1B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21e9f697d84a33ca107bf7a31173809228192477","datavalue":{"value":"5259441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$72365E51-1DF3-4C0E-98AC-94EABFF5F440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452614$744AFEA7-CE31-43AD-9BFE-76D670373F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3380896d6ec1566f755b387b501ebe890e0951c4","datavalue":{"value":"alias analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452614$462C0733-1EA5-464A-8E67-BDE589B3FFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81a2006157ddbaf414fdb758cfdc8c72d146753","datavalue":{"value":"difference-bound matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452614$CA73D459-8E20-41F2-9CEE-AFC3E4D57F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b9c8ce4f7199c49b66afa53c78f88384127f53","datavalue":{"value":"disequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452614$B8022A18-C4BA-4B58-AF8B-DC82A3EAF2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452614$2FC5509F-1A98-4640-BAE7-DC640A34C5CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$44101333-79AA-43C5-80A6-8B050375CF3E","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":"Q5452614$CE982510-F156-4DF4-ABA1-D5D11E0A0A02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c9d089c7bd050cf6e909d7fbc6e30941dfb326","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452614$C4DAD313-CD8F-4AA1-B429-2A69717F69D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60e56bf48717e8441aae4cced3d7c52c5b835b88","datavalue":{"value":"W1945542985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452614$9D844D14-06C6-40D0-919B-6698D01F6252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$11609D80-D58D-4168-BC5A-83CD42EA53E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$13F131A2-F5B8-4C48-8915-5789193C424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc11063079b122010509aa3a970048afd12d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$6DDAB0E3-13BF-4A53-A471-4495BA32E49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$B44686E2-F26F-4F51-9DC4-BF56C1A506D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1151ce44263b02c103d481f0dbae5f699b8423","datavalue":{"value":{"entity-type":"item","numeric-id":4195940,"id":"Q4195940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$3DAB6EA4-8108-43FC-85B9-1510F993FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe5096ebd237e9c4393d87931bca2c88a0a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2736342,"id":"Q2736342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$4EB45C49-7BA6-4DEA-842F-C77E4DC28E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553ca42b1d615b83f4cd57571fe94d74e7c66de5","datavalue":{"value":{"entity-type":"item","numeric-id":1405334,"id":"Q1405334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$28B28191-6353-40AB-8500-984FB7D2CB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$05D33390-ABA9-4956-83C4-61E860EEC9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd1eb7cfc9c85a5ed540ab8f6356e006aaa99f","datavalue":{"value":{"entity-type":"item","numeric-id":1186697,"id":"Q1186697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$4D908B17-C17B-499D-AC91-9326B06434CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6de659bfc3ba85985bb9a7f9946c4257ba504f","datavalue":{"value":{"entity-type":"item","numeric-id":4939617,"id":"Q4939617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$8B7C56E0-9024-4DC4-B596-151045C989CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c803ee0636763a168dae46d52cc68f8ef3f5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$A7CD7DB1-21FE-468B-8C1E-DF57689363A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$E26938CE-4C38-431A-9D45-9C9B1FAA0B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$C509C4D4-0722-4F06-A941-0C7C0CB717F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e6130c9d16ea3d833b19a6706029308cedba41","datavalue":{"value":{"entity-type":"item","numeric-id":1110330,"id":"Q1110330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$FF0ADEDB-633C-4D5B-BDA7-AE975BD94A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab3ce518514c1eb6a24ae802e28cbbc33a403c5","datavalue":{"value":{"entity-type":"item","numeric-id":3613374,"id":"Q3613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452614$185BB787-04EF-43F7-9528-F916F1C2B695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ac71d4d1611097a60dbebaad9ff4fa63868e41","datavalue":{"value":{"amount":"+0.8241267800331116","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":"Q5452614$3EBF865F-06AC-4934-8646-13104DE0CDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6987316d3de2c3be99af5b26862b2c5a568fc2e","datavalue":{"value":{"entity-type":"item","numeric-id":2814105,"id":"Q2814105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ac71d4d1611097a60dbebaad9ff4fa63868e41","datavalue":{"value":{"amount":"+0.8241267800331116","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":"Q5452614$58CE9689-3F99-47B8-B110-A8D2B1BC2E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dc764b75ac8de177c9e8812469570b6c64ec87","datavalue":{"value":{"entity-type":"item","numeric-id":5056006,"id":"Q5056006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5d6de30179cebe00c05f626c355462d3f9fc24","datavalue":{"value":{"amount":"+0.80058753490448","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":"Q5452614$034F0D9F-894B-4FBA-84FD-2F35F71E164B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e78122a1003daaa990724b06120314fec49616c","datavalue":{"value":{"entity-type":"item","numeric-id":1664386,"id":"Q1664386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17bfaf06904d001e278d62121947db736660a06","datavalue":{"value":{"amount":"+0.7901480197906494","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":"Q5452614$379949AD-AE4C-41B3-A59E-65FC3752A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cc70a68acc887ce0533c32df9feda23d5f08d2","datavalue":{"value":{"amount":"+0.7327539920806885","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":"Q5452614$8CC4E54F-78E5-4AC2-B0A5-C1D1CF7CEC00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Abstract_Domain_Extending_Difference-Bound_Matrices_with_Disequality_Constraints"}}}}}