{"entities":{"Q5166691":{"pageid":7196263,"ns":120,"title":"Item:Q5166691","lastrevid":41655428,"modified":"2025-05-06T20:40:26Z","type":"item","id":"Q5166691","labels":{"en":{"language":"en","value":"Integrating Policy Iterations in Abstract Interpreters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314158"}},"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":"Q5166691$956E943F-D6B4-4BB7-BC52-A53A61BAC4D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb42e5f7da635630e51b84f988c29471d099183","datavalue":{"value":{"text":"Integrating Policy Iterations in Abstract Interpreters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166691$D36FD0DE-8463-44AB-BB2B-F9B1E630B1AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff2e0b4d05414b0c00e0c9c906567a1a497d9841","datavalue":{"value":"1410.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$49BC8316-8EF4-40CD-BDE7-73A98EE24361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e7df845e5d37835abf4ad495cf5040a811627bb","datavalue":{"value":"10.1007/978-3-319-02444-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$3590EA96-9C80-47C8-8DCE-970EC95FA50B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166691$844F740D-F0A4-4AC3-BFC7-6037EE20CA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166691$6F095D0F-E0BD-453F-8C2E-D7F32233859C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166691$AE911F5D-5773-4123-A4BC-D56651666981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166691$DADB3C86-4AF0-4CEF-9993-300793855109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$231D93C0-28A6-4A76-8BBC-5C81B4303B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$7F582786-C02D-486B-8E2A-CD93BF321D72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"721ed40fe42416cf2e6c155d77eae7cdfe5f95cc","datavalue":{"value":"6314158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$EF6F18E8-02DA-45E5-9D71-5825D8812CEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$85B7D226-19C5-4B86-B4C4-23632825FFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$0AD53153-05C9-419F-A9FF-A96AE767EDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378a3fc3120cffa1e0f29fce780f9cf175612504","datavalue":{"value":"linear systems with guards","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$B6773ADB-B8FF-474C-A106-650BA57A81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a71d4082f9650e6b6db36240d2d0ccf8391bda7","datavalue":{"value":"quadratic invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$26C1A097-D775-4699-9E6D-62517E9E3A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3cc1775e40781b9abf76a09cbd70074ba1212f","datavalue":{"value":"ellipsoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$AB45E4C7-DA4A-45E2-92F1-E254CDA26513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166691$DF1B61A6-6F4E-4678-BC1D-ACC63F7916E1","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":"Q5166691$612EA994-B0D6-479A-903F-0D74559DD41D","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":"Q5166691$1C83BD15-74B3-4850-812B-1CC8D87A586F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc453c596ce00b4bf3b9552421e1bcb982d5df1d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166691$11924574-C5B5-4EAB-8480-51CE6F75E074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a2a3d9649633463aa4d994e87f22323c39e8ec4","datavalue":{"value":"W103072036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166691$7B13E890-D9A5-4906-827D-F078A9ADB1CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a15520feeee3e3fb6e4fd78258d2b5264237fb","datavalue":{"value":{"entity-type":"item","numeric-id":3172921,"id":"Q3172921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a78402667e011fab7f592f8cc2a3994eca7b4f","datavalue":{"value":{"amount":"+0.87021923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$075CB49C-DAA9-4950-A43D-71F060717DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86590d75c9fe38362e291bb8e991877fc320331","datavalue":{"value":{"entity-type":"item","numeric-id":2848146,"id":"Q2848146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643ba950cbfcfb4c31a6401fb661612d0fe5e3a3","datavalue":{"value":{"amount":"+0.83834887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$8357D96C-CB58-44FE-887B-208A0BED99F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743d2a239f09e4f7e56637f039ddc6b142c32817","datavalue":{"value":{"entity-type":"item","numeric-id":1955470,"id":"Q1955470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019dfc9668505a70b9d1962fcb466f96de8e60a0","datavalue":{"value":{"amount":"+0.82082283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$E868E990-7AC6-40FB-8A82-4F9FA7F8B087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23bb8ff881e034e2448e90abf14f4c4879f3dda","datavalue":{"value":{"entity-type":"item","numeric-id":2520672,"id":"Q2520672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00424b159d8eb07152385fa06101ae35b8dae601","datavalue":{"value":{"amount":"+0.8191197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$2B64339D-BA43-41B4-9B15-B67FCF84A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da43bb5819439fee1b23772a92c0364584723dec","datavalue":{"value":{"entity-type":"item","numeric-id":6487919,"id":"Q6487919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e930645fa84a28e9acbd6ed1aa0f4e86eea808","datavalue":{"value":{"amount":"+0.81666696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$FD216BC1-26F1-41E8-8A15-DA50B7BECFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d980547ed5c34afea0189d0125ba2f76d8302e27","datavalue":{"value":{"entity-type":"item","numeric-id":2796041,"id":"Q2796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b78dc6498245e5680f22bd70ae3da8708e405d","datavalue":{"value":{"amount":"+0.8136913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$A5C28B16-AF86-4BC6-946E-BF585B5457D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188199799457d5ebc189ea21b8be89543254cc3","datavalue":{"value":{"entity-type":"item","numeric-id":2568451,"id":"Q2568451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ad770d47784003a7c86c26cc566a259b259a75","datavalue":{"value":{"amount":"+0.81252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166691$D4645778-E005-459D-83EC-1D11ED724C9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166691"}}}}}