{"entities":{"Q2805148":{"pageid":2815886,"ns":120,"title":"Item:Q2805148","lastrevid":52526057,"modified":"2026-01-22T21:15:21Z","type":"item","id":"Q2805148","labels":{"en":{"language":"en","value":"Abstract interpretation from a denotational-semantics perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578693"}},"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":"Q2805148$EF8AAA68-A1A5-427C-ADBD-C6EF3EFDAC61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ddccd99aa32c4515ca7297f2aa8efbdf2f5e7b2","datavalue":{"value":"1337.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$462DD4EA-1FAF-43E1-8891-6ACA5A8A8C96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$68C6346E-8BB2-4FEA-858D-F66DA099AD39","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":"Q2805148$48C67DE8-3389-487D-8100-F8021328AA7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805148$493F15D5-2B16-4F5D-9003-9BA470B91E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$1BB6BD7C-8385-4394-8FEF-66D95A4DE651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$7E6C57E8-B123-4D9C-95C2-3F59A6328EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$314A33E0-52D8-4C92-A335-04B0795C677A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"180982b3b4cad64020eede87abbd659464b3d62f","datavalue":{"value":"6578693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$5435AE66-EE29-43A5-B419-238651620117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805148$1C3A0AE0-860E-44F8-929C-BD246CB75DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805148$250C8500-7514-4AF4-9D1C-B86672D36388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805148$72443EAB-F15C-4FD1-A202-F217088F2213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2bda06b5c28e56871538e9a7943e4c2b20fa7e3","datavalue":{"value":"Scott-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805148$364E85FA-3BDD-46BC-9E01-10DF5D4ADA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcbe07e9e1ff0ad792248fe45113ea149deb534","datavalue":{"value":"Scott-topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805148$A81236BA-C8D8-4C28-857A-64BAC9DEB165","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":"Q2805148$DB77CB58-A128-48DF-81E7-C6F7E1D1D078","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e7aaf0412ed79f20a27300197046a312d9d4895","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.082","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805148$71AC4652-DE11-409F-8896-B8B98A596683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6f0b34aa856a1e9d88796128e6ce00c2600c766","datavalue":{"value":"W2041565413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$0029DD6F-7851-4E4B-A7B0-C150D7995B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$A3CE1C6D-6C99-445A-87FE-A4BCDC1B2327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$E76AB91D-E2BA-404F-9932-14585E06ED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$3EBB98BF-8195-47C2-83ED-F6F822673A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$3194D0B0-E47F-4BF7-9020-6D0B5864D85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$DFDEA136-FDC9-4DF5-A11E-B6D0688014B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$11677674-71CC-42D5-8EED-1D24FB86E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$7FDEC316-33AE-44D9-AC71-C5F0223393E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$2B0AD241-B61E-4B6A-8E46-B6126EF24F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$B4663128-5432-4E0E-AC28-EEFB78D4BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$AE8853A4-4249-4C4D-8508-4073E49E3322","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":"Q2805148$27A62373-6187-4851-9F58-8C7BAE9D4C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b92fd2e1ef6327ac929e8d74f7e6384b5f32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1162139,"id":"Q1162139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$62851018-AA7D-4674-8D20-BB16F97A2564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$DF3786E9-D995-42AC-8801-483C3E81B09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1fd100ba49d79341053b43b60105b7dfb1c67","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$DC0A0306-E43D-4A97-8E01-C727ED7D1BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$A7399CE5-70EE-4AA1-BE38-BB248E50AE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466a21fc1c7fcd39afa8d38d1b8bc1715703792f","datavalue":{"value":{"entity-type":"item","numeric-id":5385595,"id":"Q5385595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$CDD1FAA5-ECDD-47AB-9404-6C458CA34CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c60d315c67ee1c5196e5bbde07801952817e2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3392931,"id":"Q3392931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$765A4358-2E5A-4357-B697-1B18167CA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$454307FD-3FA2-4F0F-9689-AAE50ACB7FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$351CC6FA-5986-435E-B540-0EC49D94A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$F74D6F35-6475-4526-ABED-AFCC30254A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec17ebcc14ee6d983d0a6f52ffae39716ab6412","datavalue":{"value":{"entity-type":"item","numeric-id":1225927,"id":"Q1225927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805148$51F11BBA-2868-4792-A2F8-7B2C33426E55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c91c31ed759cc114ff9a075fffcb04e831773ff","datavalue":{"value":"10.1016/J.ENTCS.2009.07.082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805148$8DE11CC2-C790-447F-8482-4A9EA916A3F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cc9530f1795b3cfecbf3931e767a336b8ce55c1","datavalue":{"value":{"text":"Abstract interpretation from a denotational-semantics perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805148$1A68B546-7A54-4F7C-9BF8-64A688A7963A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7131f70b47538a8971620ef8764a1ee332da4ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8458abcceb68e3c6a8e55870ad28b9d529e99aba","datavalue":{"value":{"amount":"+0.8538938760757446","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":"Q2805148$DCC35293-A6C1-4510-BA53-7609513DAEAB","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":"3c381b0dcc65d3d5cf46fc0c18ae8edd5cd5682b","datavalue":{"value":{"amount":"+0.8108764886856079","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":"Q2805148$EE2BC42D-2048-42D7-9F7F-DAB606C75B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9987238d535f36430dcbfa7602dc63ec14c89f","datavalue":{"value":{"entity-type":"item","numeric-id":3392931,"id":"Q3392931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880ae24209afee4361a588278f5bf16e52406637","datavalue":{"value":{"amount":"+0.7964048981666565","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":"Q2805148$3CBF78C7-12CA-4391-8C5B-52D64B376608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df64d03714230c9c36f44791b62756e6b070a5f","datavalue":{"value":{"entity-type":"item","numeric-id":418811,"id":"Q418811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027c1a02e04be9eb736524d592bc9857a882cd3d","datavalue":{"value":{"amount":"+0.7955082654953003","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":"Q2805148$DD35ECB9-3360-4954-9CC6-70512D8D8AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20df20d10bd6bd17dff0833ae1564e325270088c","datavalue":{"value":{"entity-type":"item","numeric-id":4738461,"id":"Q4738461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a9b8f9e7d0ebdd0665fc6cc63ba672cc3c971","datavalue":{"value":{"amount":"+0.7881718873977661","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":"Q2805148$3BE4C2A7-2DDB-4DB2-890C-A0D2958B7705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805148"}}}}}