{"entities":{"Q5170178":{"pageid":7199750,"ns":120,"title":"Item:Q5170178","lastrevid":41778826,"modified":"2025-05-08T05:30:25Z","type":"item","id":"Q5170178","labels":{"en":{"language":"en","value":"Sweeping in Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319529"}},"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":"Q5170178$80701311-E9B9-462D-AEF9-05BA2A321B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc3c0565bc62485a203d3bdfa9ac54bf1efbc18","datavalue":{"value":{"text":"Sweeping in Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170178$51BE0A97-7C9F-4E4C-B186-FDECE042785D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f00ba221faae6372390c78a05274127f2ed9b440","datavalue":{"value":"1294.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$7FF8672C-D4C0-4936-929D-61F4E0FB232D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"589be8a133f1aa405271b5e2ab03683f5db1c190","datavalue":{"value":{"entity-type":"item","numeric-id":2814104,"id":"Q2814104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$0B599712-B8E4-425E-B122-C685A383507F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$A7EDCAFE-60DA-46B0-95C6-3C3543617BDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170178$AC2D9C0C-7410-4AD5-99CF-9642880A4660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$3EBA94B2-3E93-4E5B-A344-97A01EE3E203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$059BE52D-3319-459F-82BB-6678F81DAD22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17dd8cfd6c02fa86bbc043c402eab029f3c29937","datavalue":{"value":"6319529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$A0253903-A1B1-431A-B29F-2C51BC9F3915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170178$3ABE50D6-F413-437F-8BAD-D996E738C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170178$108330DA-C122-4A86-AEBF-6DDADDC58E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170178$4475CE98-919B-476D-A8C3-1C127DC68749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"292cdc61ad8030c7a26cce3ec145091993dd1559","datavalue":{"value":"widening operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170178$A1DEFD55-3739-44F1-99EA-0C229B0DDAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5c6d34580380311e6cc8a3675375e88c608293","datavalue":{"value":"sweeping line","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170178$4F752124-FC2B-4094-9267-6CE1AF5AF406","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3100986a2f21986377b1ad1ea1633be0427ca603","datavalue":{"value":{"entity-type":"item","numeric-id":32990,"id":"Q32990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$7D676DAE-7D0D-4D68-ACEA-FCE63B169B53","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":"Q5170178$43DCC732-A875-480D-8D51-B1C3273E6AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07fae7b124343a8f93dc0a204e246e1e0a7a2ebe","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170178$D6C430E7-95FE-431C-8973-0B21DF826D82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b218bdaa698764e0169c70dc42bad0f39e5320d","datavalue":{"value":"W2021410963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$A034A478-212E-455A-8865-1A78375AB5BD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f67eb95fda6bdb8b7f8ef741ca74fae5f1ed2fa7","datavalue":{"value":"Q113318051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$8709FD5C-660E-46FF-9FE9-DAD41895A853","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c10f3313dde19a9252305df9d45bc029891d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3049855,"id":"Q3049855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$B3492907-EEFB-44B4-90B5-E51D96D65000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$71590ABC-84D8-4260-8ABE-665306C577E9","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":"Q5170178$2F5941F8-60ED-4090-8E63-04C0D7B86A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0aca79379a387838fc133fe7df36ce02c51551","datavalue":{"value":{"entity-type":"item","numeric-id":2814105,"id":"Q2814105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$48867EC7-0317-4636-98BC-F0C7C46BD851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a42b76ec81d1d9fb0c3efe48d104aa5842d376","datavalue":{"value":{"entity-type":"item","numeric-id":4930734,"id":"Q4930734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$C833F078-22E3-4ABF-89AD-ED65DA3713E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34b8df2307d44b9be441466c849aab175b7b478","datavalue":{"value":{"entity-type":"item","numeric-id":2814109,"id":"Q2814109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$823B1FEF-AD0F-4BA6-B3FF-B13C8D5A696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3d940939d49fe01cfe49d8fd64fd9a2b28b8b","datavalue":{"value":{"entity-type":"item","numeric-id":988565,"id":"Q988565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$B14397F9-8EA2-40F6-9CE4-59F76A58139F","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":"Q5170178$E2852FF3-A1E6-4611-9872-FBD9638EE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$5F188D73-7E9C-4386-875C-6C68AEF847AA","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":"Q5170178$F90E9C6F-C467-4985-9000-191CF2405DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170178$564C16A3-153E-4FA0-9C50-FC9D4682F054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71dcf152a933e5ba4a08a78e0b47580af4645871","datavalue":{"value":"10.1016/J.ENTCS.2012.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170178$DE96C931-B8C9-45F1-8B8E-9B3EBB5DAD2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148b0b4794775bcff53db0616a13f977823b4e38","datavalue":{"value":{"amount":"+0.83391994","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":"Q5170178$2EDFBF2A-2756-467E-A5A0-998DC2B859DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0395ae774e0d1dbc01adb7584bb165da78ae0389","datavalue":{"value":{"amount":"+0.8310337","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":"Q5170178$7532C2DF-CCFB-49AA-9A9E-8EC69B1B8C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74690218a9ab9bd601eea2524dc0e612ac3e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2164221,"id":"Q2164221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4260678221ef596b2a57c5041d6ded9892dbc33f","datavalue":{"value":{"amount":"+0.82901454","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":"Q5170178$6E9BCAAE-5D06-4377-B1DC-B314B15220A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74be4250a95f2f4d16e502bf14990faaf1b4b57","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3801a5b686111860d9d3f38bc2ba55290ff26ed4","datavalue":{"value":{"amount":"+0.823416","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":"Q5170178$8D1DB122-D56E-4F8E-97F4-95C1282CEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08816a471cebb41338e13307a9b4e832850c8524","datavalue":{"value":{"entity-type":"item","numeric-id":3297840,"id":"Q3297840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4e00d3d0d305e7a44289fa748b4387602c1771","datavalue":{"value":{"amount":"+0.82287276","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":"Q5170178$4FE1856A-BEEB-43EE-9E1B-26C0FA6397EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6da8475f148850257546812863c891e012867fa","datavalue":{"value":{"amount":"+0.82007027","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":"Q5170178$C10F6BF7-FE53-486C-8A5D-376092DDC632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c988226a3506b03cd3d641201eee498ded58e51","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd17837abc719013642b032556b852fa94da666","datavalue":{"value":{"amount":"+0.820024","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":"Q5170178$403A0F1B-2F70-4E00-871B-7D9C083CD224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fe54f8f02ece575002f2f3d403127ff41b6eeb","datavalue":{"value":{"amount":"+0.81737983","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":"Q5170178$10930253-E78F-41A4-9E58-F9889392B763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaba46c36ac4c40df8b4ddd9c15168f65beb8f24","datavalue":{"value":{"entity-type":"item","numeric-id":4994688,"id":"Q4994688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a04acff849d6a5d17662a56e32b55cfe4f909d","datavalue":{"value":{"amount":"+0.8168764","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":"Q5170178$BE11B4B0-C81D-40A8-865E-9A07FAAC14D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee70bba6de07fc74349eda772bf3fa94d23b3a3","datavalue":{"value":{"amount":"+0.8142866","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":"Q5170178$DE8DB8F7-005A-4CEA-8BEA-56FB57A071B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170178"}}}}}