{"entities":{"Q3558213":{"pageid":5588117,"ns":120,"title":"Item:Q3558213","lastrevid":50972084,"modified":"2026-01-16T00:27:28Z","type":"item","id":"Q3558213","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 5703397"}},"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":"Q3558213$DAE6B0E9-D193-4AB8-BCB4-FD78D9C4A60D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"984c7b8c98716241c457cef4e7cc32461cd11d98","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":"Q3558213$D17FAB4A-9B2D-46E4-B70E-CB1C87F3AB5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef8997c0b78552c1346ebd421505598350a53e6b","datavalue":{"value":"1260.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558213$581A424A-BCA6-4038-8DE5-716375BA93B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d8c544ffc33cdf7d66b49f8f5be3d2552c74c00","datavalue":{"value":"10.1007/978-3-642-11957-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558213$AC2176BE-9E41-4D98-940B-101654888E6E","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":"Q3558213$1E67E805-A3E4-4F94-9E69-9B9A81536538","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":"Q3558213$7D86CB2C-8381-4905-8C1D-5AD01A5C1360","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":"Q3558213$23EBE3B8-8EE5-45BB-B453-2688CEB1F374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558213$418377B6-9DFC-4B64-A20B-A038ECD0C67A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558213$4B1639D3-D5FB-49A7-A42D-F37090D3D94B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558213$ADE6D737-A384-496C-95B1-6560836A9BB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17e59a43ce41ee2f164ef1291729fff178f2e6c6","datavalue":{"value":"5703397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558213$696F18D3-110D-4046-8FF4-5559565BAF24","rank":"normal"}],"P1463":[{"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":"Q3558213$EDD83EE7-2524-45E4-9D91-DF4E14C2635B","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":"Q3558213$6508CF44-19CD-4920-B918-B1C3DC19C935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa357fe237767f2cc872d83370f9b920feab6b6b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558213$AC288040-3B41-40A6-ADB9-2E399AA2F53C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"256aac496c4309d9b8c6e579ef18dd9feb47384d","datavalue":{"value":"W1896502719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558213$704711A3-26EF-425A-A242-924815580EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780918f395490124eba94a6367e771eeb565c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2881067,"id":"Q2881067"},"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":"Q3558213$1C583C90-D206-4D74-8C1C-4911693ECDBE","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":"d1d001de7d07a21560fac2f928cae4f67befe114","datavalue":{"value":{"amount":"+0.8228437900543213","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":"Q3558213$0371C5D6-55FB-4029-8722-7B5ED909EB84","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":"afded3894cbc9e23d13046ec0e5bd7661748cf22","datavalue":{"value":{"amount":"+0.8146902322769165","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":"Q3558213$B41E1046-1008-438D-A925-597C90E29AB2","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":"a5b73b0b8eea0e60a3f55bcd11face8ef2408f6a","datavalue":{"value":{"amount":"+0.7960070371627808","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":"Q3558213$D3FB21CF-32C2-4072-9D63-70335912454D","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":"f9eb8aa4bb352206c4baaa9747f0cbd35841a09f","datavalue":{"value":{"amount":"+0.7902802228927612","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":"Q3558213$33494336-88DC-4831-A0EF-8BFAF36F289B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558213"}}}}}