{"entities":{"Q673498":{"pageid":675347,"ns":120,"title":"Item:Q673498","lastrevid":46767195,"modified":"2025-12-25T13:33:58Z","type":"item","id":"Q673498","labels":{"en":{"language":"en","value":"Abstract interpretation: a kind of magic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985607"}},"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":"Q673498$8D8751D4-A612-4AA6-A7A0-F0615597FFBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3ba8c88ae19677cd9a94748c44d4d6090bd5adf","datavalue":{"value":{"text":"Abstract interpretation: a kind of magic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673498$75D0E709-E4A9-46D3-BBDB-D615970610BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c9ff27f8b7f965094ddbe86ebfb3280c20cb2e","datavalue":{"value":"0873.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673498$315EB4A5-2621-4C26-93A7-E676BC616BA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fcd32ef005b1a825bf14261275bbbffc5e04dc9","datavalue":{"value":"10.1016/0304-3975(94)00223-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673498$9EDC45F7-F600-4B7D-8FBF-EA44802E815C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$BEFF7843-7EB2-43F1-8904-14F68AB1592D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673498$76EB1672-B796-4E69-9332-5FDCBFAF33F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673498$BA2357EB-5A72-4524-8D5F-C4C992F861DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18f61b8cd249ab46a53971455baea7d857fe6a76","datavalue":{"value":"985607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673498$8D578149-E787-4D82-B415-29755EB302CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d216e88426ac12b37bddf3d07ec3c1fb10b7b6","datavalue":{"value":"magic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q673498$F678B77C-D744-46DA-8E63-69AD29A2EA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q673498$23D0EFE2-0FF5-4728-96F7-8A66D0631B66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05debd28d30b5b089c81f4235d4b68fae4d5a6f7","datavalue":{"value":{"entity-type":"item","numeric-id":174606,"id":"Q174606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$E31B4787-94DE-47BA-889B-08F5D89CB3CB","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":"Q673498$5C5B53CB-F7D0-40DE-B605-15449075313F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb7cf2ff80395f805b72e34b3b9d0e9f5a9af2e8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00223-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q673498$EB1E598C-41B6-412A-B029-2CED8EB93708","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"429785c3cfb40d6a35954396eb05c6978f0b52ca","datavalue":{"value":"W2092817854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673498$26FB407F-02BD-4090-8F48-5356CA5B7D92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$236CB55F-3790-45B0-9C59-50FB4820ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56700712d39e9edb58cee423bab0a8db117d8ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$53654997-A730-4F36-A898-FF0E940FED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$B20B2446-D446-4315-A798-461D5D06D59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824d7586a86fe6f70db23718bb2fca961f066999","datavalue":{"value":{"entity-type":"item","numeric-id":4285643,"id":"Q4285643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$E7F17D9B-4425-47FE-8724-D03CF5D9E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$463EE01A-5AB9-4A46-99AE-7A5CD3AA7D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$B48A3C6E-99F6-4603-9D48-5E59827FE13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d807cd4cc9e82653c7a2333235b4237321ccfc","datavalue":{"value":{"entity-type":"item","numeric-id":4036280,"id":"Q4036280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$D9D807C9-EDC0-4465-B9FB-C0FC94389859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$475105D3-4D06-435C-9BB5-0A763B8EB62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$3F1B71EE-84C8-4EA6-AB93-4253B257F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$41051D6B-EDD4-4DBE-A95E-10159F6BB33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db5c740654841c88eff53691dabd54ddd6dabcf","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$216047CF-EE2A-455C-ADBA-0CAE3A6080E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b0af58919081b0ba1c198c5dd217c031469f73","datavalue":{"value":{"entity-type":"item","numeric-id":1820593,"id":"Q1820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$838D3214-E7A6-4001-818F-93E0F8B64C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673498$C8AF1D3C-2F86-4979-9EB1-0F71BDF67C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dc18eac67fd0782bd45294c05367300132409a","datavalue":{"value":{"entity-type":"item","numeric-id":4287477,"id":"Q4287477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039c4a1b4173acda2445909d95bbf9b690398065","datavalue":{"value":{"amount":"+0.988581120967865","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":"Q673498$118C6AC0-B3EB-4361-ABCC-1EF74EDE907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37187dda8ca88426868d37f433631d5297dbb7c6","datavalue":{"value":{"entity-type":"item","numeric-id":4036280,"id":"Q4036280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d406aa7323e6a4f8251a3f40e7476d1ec3f3641","datavalue":{"value":{"amount":"+0.8520560264587402","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":"Q673498$DF85850C-7F3E-484C-BBAF-B09E7C89473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa946765a7aec74cf616bdbcd0875c9ae1647107","datavalue":{"value":{"entity-type":"item","numeric-id":3988795,"id":"Q3988795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb1e07346e830ff61107d693291d9ecc1913401","datavalue":{"value":{"amount":"+0.8491289019584656","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":"Q673498$30B6F20B-C9EF-477C-B4EF-6B3F90E97086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673498"}}}}}