{"entities":{"Q2881067":{"pageid":2891787,"ns":120,"title":"Item:Q2881067","lastrevid":83897213,"modified":"2026-05-07T13:33:33Z","type":"item","id":"Q2881067","labels":{"en":{"language":"en","value":"Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021318"}},"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":"Q2881067$57E28D8E-2F00-456E-8C39-F30E7FD1729C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09248895c7b5ea58164f34f25e753801c0a99ca3","datavalue":{"value":"1237.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$77A4A98C-C05E-4440-87DC-FE19596A9DDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a9f9b026aed956f69b957af2adffe02034d4c67","datavalue":{"value":{"entity-type":"item","numeric-id":435968,"id":"Q435968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$FDA3AC7F-3730-4087-BA3B-8538F9182F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e298a50abdd4dae72108aced252284ab65651b78","datavalue":{"value":{"entity-type":"item","numeric-id":255785,"id":"Q255785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$B8BB031B-BDCC-4F84-A9A2-57715E7357E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$C8316E52-B2B4-4142-9D47-16C60DCA13F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881067$A511E73D-EB84-48CE-8BAF-C367C67783D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f59dfa9a810843e26f8ba50015e28edc6de0cf13","datavalue":{"value":"https://arxiv.org/abs/1111.5223","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881067$22D99D0F-1CF2-4D5B-8B17-E0C6C740ECD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$D05B38D9-68C0-4215-9900-C33F8224A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4d4b880941bb65ec306ce9d3141ff7e82566f56","datavalue":{"value":"90C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$AD27E7CB-703A-480B-ABEF-059AC83F11ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$FEBFD071-78EF-4EA0-A2A8-B598124E4B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$ED3ADE1F-77DC-449B-B7BB-BEB7F06E06A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24ed4c890fccb4ddaadf9f2afbf8880872ab10f","datavalue":{"value":"6021318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881067$E074EB94-3EC4-4EB0-AB59-C6486F64D950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$C828A163-D37A-4BDE-A5A5-D9FEC4572FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$CEC6718E-8E0C-4EEA-ACB1-B6C8FCCE6456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6967e67113aaa139c1c0b5c2a96849f0ad345afa","datavalue":{"value":"convex programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$42356F1C-6D95-4F6F-B0D6-28E6BA5F3016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e69e213b51557cc1d7697165bed961e402ad508","datavalue":{"value":"quadratic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$C0726CA6-686B-46D2-88F0-7BB00F223424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$D1487233-481B-4046-B4BF-B40334A17C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67b2f3cea0284732f172d4f8e51d8a3ae449ab","datavalue":{"value":"Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881067$B2B0B914-8496-4FA1-8E44-52688BF2B763","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e6c67bc4ff18d692c45323de4ba9ee867a9c22db","datavalue":{"value":{"entity-type":"item","numeric-id":21957,"id":"Q21957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$E309EB7B-CA65-4493-857E-53784A94ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c5814a0a3b47b1b5455e3eaa345adcdfd08dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$706F9B6E-5710-4067-90CE-7FCD994F7D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$3D309D64-3621-4B27-A82D-4F3BA5FF603E","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":"Q2881067$F27136DC-AA16-4AEE-A9F8-03E6CC349200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"561b85acb24ef8ba98ce9af275bd0c1c7e5a31d9","datavalue":{"value":{"text":"Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881067$B425F148-9145-46D8-9B31-DC491CD1620B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881067$12C8FAB5-7E91-462A-9DA7-7C9B36F143D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bd5c002627e83ede0421eb26494640b696b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03c0185f7711ebe6092d2c7ee68b9b0da2ac518","datavalue":{"value":{"amount":"+0.9978164434432985","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":"Q2881067$F0F2407D-74A3-4D10-9FC1-72FA8BB1073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9021d192140db6844cc38f583d6b139a54d971f","datavalue":{"value":{"amount":"+0.8209083080291748","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":"Q2881067$7400E3C4-52CD-4717-9C18-CBC2CCA83BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679aa9a4b44c4bfbafca11c73c23c3d791b9a515","datavalue":{"value":{"entity-type":"item","numeric-id":5166691,"id":"Q5166691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6402dc0e0c46f6816817a103993c661285c5d97","datavalue":{"value":{"amount":"+0.8151047825813293","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":"Q2881067$0B909E75-7420-4958-A833-7279E82D840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2945b8505c4e4d3a62298f69b09ebc75283ad6","datavalue":{"value":{"amount":"+0.7943524122238159","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":"Q2881067$D108BD2E-523A-49E5-87E3-B2C0BB7D0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66794fab986ab586674e055c8004fe98432b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2406948,"id":"Q2406948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af93af2d97e7dccdde9e54d5031dde21442f3724","datavalue":{"value":{"amount":"+0.790147066116333","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":"Q2881067$AE396CD5-BF9E-4CDA-BCB4-FC438CCF283E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coupling_policy_iteration_with_semi-definite_relaxation_to_compute_accurate_numerical_invariants_in_static_analysis"}}}}}