{"entities":{"Q5458344":{"pageid":7487903,"ns":120,"title":"Item:Q5458344","lastrevid":50333849,"modified":"2026-01-13T20:27:15Z","type":"item","id":"Q5458344","labels":{"en":{"language":"en","value":"Automatically Refining Abstract Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262388"}},"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":"Q5458344$D4B3EF5E-BBBB-419F-AE7D-94FB9443A9C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8022e40762049ca11dd7ec287a54276ec71e4fa8","datavalue":{"value":{"text":"Automatically Refining Abstract Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458344$2B420E05-4A2E-44F7-885D-55F22739264A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"754cc808b19df3f92486e6b5270d098f4ef32575","datavalue":{"value":"1134.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458344$079AFC8D-06AF-494E-B07F-E8DD1BA10766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84c3de025a06d52d04b8df02738c2e7fff0e0586","datavalue":{"value":"10.1007/978-3-540-78800-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458344$A2EF99A0-8902-4326-80FF-FF23F6D528A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79748e69b13b80e9cac132980bcb17bb8e03dbc","datavalue":{"value":{"entity-type":"item","numeric-id":765510,"id":"Q765510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$A38215FA-6491-48CD-A329-B792222F87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$C5BA8A42-E0C3-41E3-B955-D878C2B2F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"404c35f5e22cfb67984e81e72f05be65541ec9cd","datavalue":{"value":{"entity-type":"item","numeric-id":765511,"id":"Q765511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$248E91F6-9835-4C3A-9E76-C379AC22256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$34DAC5D4-A18F-4BB0-B016-00915EE4FDA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$4612A1F2-5C05-4C4B-AD67-39DBFA99E154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458344$B104DB7C-F9E3-4921-BE60-8DC971DBA525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458344$B21EF0AB-8701-4D84-9DC7-D39C2B44766A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11019bd6c9429338617cf175871297a7ddd75add","datavalue":{"value":"5262388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458344$920D8263-A518-4C19-88B4-43E1AEAD87E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$F51C9526-1C13-41C5-9A8F-4DD50F56A3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$A12223EF-350A-4F4E-BA47-474AE98195BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$DF871C0C-B964-460A-9E26-1C893F25F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$D2795DE3-8435-4DC3-882C-6A16E9D02344","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":"Q5458344$C87E3EAC-D514-42FB-B60B-D14B40913DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e97a37be5044046e30f43f218dd870b997fc08a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458344$787A6FD8-C54A-471D-AE0A-F1338CDE243B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0698ff638bb29bc22f7b47ba9d26df373baaa7e2","datavalue":{"value":"W2168496583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458344$A8C38504-DECF-4469-B624-5D595A1FD5E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4e2205c650238b28dcba3d5ccc3a0ab20b3005","datavalue":{"value":{"entity-type":"item","numeric-id":5901909,"id":"Q5901909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$3E17962A-6564-4CA1-ADD0-88AE15F0C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507a02765b0ad32c7a90f85719d74a5b9c92ee56","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$D8EB1F0D-4C35-4FCC-B73C-635B35A4832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac4daa0ff1f2ab26986dab1a849b68a31b46c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$1CFF1D1E-34A7-4886-9915-A6ED184F8550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$B4C594F3-305D-4853-B58B-62CB6AF26AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb0e8d299c09f38181b1f1ce7209848e193b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$5D274D37-9738-4514-A157-0F7E31A84B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$91E92780-15C0-4EF8-9DBB-F17A4AE69234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$9D465D89-84E5-4020-AC56-3B7A04084966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$899E7F88-68DA-4248-8F41-B7D61CC01D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$97FF429A-C770-4E5D-83E1-BEB2AF5FDEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$DA0E062A-CF9E-413B-A566-CCC9BA23E2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$14CD2B13-0C5F-49F6-BEC1-13935165BB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d349552d9faf17a99551fa434937b9597195c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5429329,"id":"Q5429329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458344$AEF7A65A-4324-4872-8848-78CF39114075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112a8b44136ffc4758d2892bbc53de12e23ebd27","datavalue":{"value":{"amount":"+0.9509901404380798","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":"Q5458344$08C1A817-74F3-4163-93A1-94CAE4B47EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3b67f0e4b1065e2888a9967fa9937b70d2720f","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9676c545b2893b197a71eb83c6c32606a6a82a","datavalue":{"value":{"amount":"+0.854561448097229","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":"Q5458344$21DF1C27-B94C-49C2-9B3D-48D771E5EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898b391f074fcb2567bf2d966421214577a5e099","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be86b8874a64b6f80dc5b4df5b336e86ba34226a","datavalue":{"value":{"amount":"+0.7821462750434875","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":"Q5458344$0AB03132-E276-436A-AAD1-C173630627E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c59ece191bbbdfc297a191769b861c54e3e00e","datavalue":{"value":{"amount":"+0.7668055295944214","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":"Q5458344$4CA1F1BF-39D3-4021-962F-B853BEB77AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a923abc0774909acf7d06b3b78d400443af00e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3172939,"id":"Q3172939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efa6d12bf498098e16d59734081914b21e43358","datavalue":{"value":{"amount":"+0.744592010974884","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":"Q5458344$639DAE51-6B60-430D-9FAA-22C9AFED36B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458344"}}}}}