{"entities":{"Q5285987":{"pageid":7315561,"ns":120,"title":"Item:Q5285987","lastrevid":46344192,"modified":"2025-12-24T14:53:17Z","type":"item","id":"Q5285987","labels":{"en":{"language":"en","value":"Abstract Interpretation Frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223346"}},"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":"Q5285987$4A1210C5-C551-45C0-ADE2-5817A06D3246","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1048598194ff57ba7695b3199eb358956ac5ed40","datavalue":{"value":{"text":"Abstract Interpretation Frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5285987$31BE38A6-1F19-40D9-8EF0-DBE5B8AED70C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb82d9c43708bc3a67acd778e5db6c6b3247de14","datavalue":{"value":"0783.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285987$C7AA0198-4AA0-4C35-8C71-8BD5765604D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285987$B477C758-0208-4311-8293-6A6D641A8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285987$5EC0A767-23CF-4FE4-AC2A-04920237F4C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5285987$07834332-758B-4C18-8068-BF54F37B98AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285987$CE756468-CAFD-4E78-A174-81D672F3B1C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d00cb3b0546cb45b9602abf6ee9250fc08d8ffb6","datavalue":{"value":"223346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285987$5CE0AA32-876A-4F0D-827D-723647260EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e6a1b5210742695b93165a37eb637da77086e1d","datavalue":{"value":"discrete approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$73861C0B-6EB8-4BD7-8887-7E59DB604EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eea366b7645879f092d5959e91d83208fbc2436","datavalue":{"value":"soundness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$8C877B92-C3EB-4CE0-83D3-F1E330483329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc3889f2dfb6dc4d0ddb9068f5b096f817b0e30","datavalue":{"value":"concretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$CF4E2604-3A9B-40CD-91DA-B46A53EADEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$AD966D6C-43F5-40D7-BB9A-623E6FDC736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$473E6B4B-F63B-4E80-B5FB-77ED2058CF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcc753b40777e04de6b0c80273498ed97b1ac09","datavalue":{"value":"concrete and abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$061C68B9-2797-4413-8E8E-587BE3685861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dec5be753898c981e440d46020c30bd2fef0b5","datavalue":{"value":"widenings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$95B3AC4D-3240-48DF-B36F-707823820538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b7b2732171d3838185e219db291d3287f5a752","datavalue":{"value":"narrowings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285987$4D2B8BB2-8CE3-4432-9263-F0FE936C69EA","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":"Q5285987$D4BA221E-AA3D-42F9-99E1-B811216E60A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727bb16badebedd1d48823c2c79909b2527166d3","datavalue":{"value":"https://doi.org/10.1093/logcom/2.4.511","type":"string"},"datatype":"url"},"type":"statement","id":"Q5285987$4E22A41E-9BE0-41B2-A2EB-2AA05BE2AA10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da6a97469679767a26e08cfa5dad61768f1020e1","datavalue":{"value":"W2084875723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285987$547495AB-8011-4B9F-969A-D5B01D83688B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cc16a49d9f875f50408f7b415a17a677de1c011","datavalue":{"value":"10.1093/LOGCOM/2.4.511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285987$E04F15EE-6AEE-4ABC-B297-88007C233B05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285987$6212B938-3634-4C1A-8575-C99965D63048","rank":"normal"}],"P1643":[{"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":"16171ee2a242317ffbfcf93a5d3b1750b2413cb8","datavalue":{"value":{"amount":"+0.882217288017273","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":"Q5285987$F49D5337-B6E6-4A80-AC44-F6C99380C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce40d3ce2af60a44d20623f3e18f0f1d6a2f194","datavalue":{"value":{"entity-type":"item","numeric-id":2968826,"id":"Q2968826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eebbdd49de46cb6e23b67cf92d3d21c59ac70ac","datavalue":{"value":{"amount":"+0.8526285886764526","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":"Q5285987$C0E0BF8E-830F-4CA8-90B8-4B5EA0BEF4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacf6d8245f297808ba85b2f1dc6e5b75fe1dd62","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129e30393b1ce74d2d654bfebce881e1e4665206","datavalue":{"value":{"amount":"+0.831534743309021","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":"Q5285987$B14F6574-7782-475A-AD89-70FB72D997DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188d4e349e79bd3e5eaaa4e60df11b02f95f85f3","datavalue":{"value":{"amount":"+0.8173068165779114","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":"Q5285987$FC8096CC-A07E-4CF5-8B48-7194C9036F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5285987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5285987"}}}}}