{"entities":{"Q5204344":{"pageid":7233915,"ns":120,"title":"Item:Q5204344","lastrevid":53609852,"modified":"2026-01-25T10:26:42Z","type":"item","id":"Q5204344","labels":{"en":{"language":"en","value":"Comparison of abstract interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139658"}},"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":"Q5204344$472E8A5A-C646-4EB3-9559-5DA5E0B84D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7fd2579359df6edb243effdea19a42ea045ca64","datavalue":{"value":{"text":"Comparison of abstract interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204344$A4E391BC-153E-4480-B631-346998D9735B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60bc3724bab7f4ae5ff15f9d4e78320f53a268e","datavalue":{"value":"1425.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$925510C0-AA83-406B-A06D-BC270D3F19AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91aa186d95d7b0dead70ea810b6f1da97e9c3889","datavalue":{"value":"10.1007/3-540-55719-9_101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$71DEE432-D50A-4DCC-8E28-7664CBA72822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$2DFEAE67-1928-42D5-8C13-32977FD74750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33eb5c8b0f3c3997961a1ddf125cc072182be129","datavalue":{"value":{"entity-type":"item","numeric-id":584933,"id":"Q584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$411E0791-708C-4D9A-BA48-B7F23BFB7613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2235d7ef1c083e30a2bf12710399c4aa07e8e175","datavalue":{"value":{"entity-type":"item","numeric-id":1128982,"id":"Q1128982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$79CFB33B-4326-42A4-A52E-DADD762F2B82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$C331F5F6-D3E9-4B41-A1AF-69A5069F0D5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204344$EEB739E2-6FA5-4565-B8B0-D9AD0FDAAE10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$B7F25785-745D-4805-AA87-5E69C3A53460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$9A0026F9-4316-4ADA-99C6-6B850FEF82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$66B16BF1-E2F3-4572-B70E-2CB47A6021BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c53b5d7c07d394321a14cb362ce5a2af9e45969","datavalue":{"value":"7139658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$EB4B8C21-9980-43B8-B71B-E03B45DF8EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204344$41B3A4A1-4E09-45DA-A460-7DCFCEB5CCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204344$1B32D412-640E-4A3B-98DE-2C19E4A8A432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416150a0021c115c45902593274172179fe0d1a8","datavalue":{"value":"subject domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204344$50A53A4B-FF2E-4636-8687-2E629A66B009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204344$C3F9A78F-E81E-4CB1-9989-9D582CF2A28C","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":"Q5204344$E96870B6-AE62-42DB-8277-B854C7EED154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d066dccdfb02f2fef760f59cd677ab72effb65dc","datavalue":{"value":"https://doi.org/10.1007/3-540-55719-9_101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204344$D3AF580E-BD59-43AD-A421-C373580755F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cda8655bc585e2eab5e1334073dd16a8a0ce9b49","datavalue":{"value":"W1507069282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204344$450C8E95-B20E-4571-84E5-604AD40B5E2D","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":"Q5204344$150F0729-97C3-426D-9EC8-56B285DFD945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$3AFF3AC5-6DD0-425F-883A-9E439526EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7393d3c120d602538188984264174b9ba8ebaa14","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204344$7583E257-9599-4B28-8FC2-3500B9809ABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39ee5c3067aa6d435af387dd146d44bdace5167","datavalue":{"value":{"entity-type":"item","numeric-id":1128983,"id":"Q1128983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65b39a08dc8ade43a0321ce4221c9b95c0db46e","datavalue":{"value":{"amount":"+0.8242514133453369","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":"Q5204344$2B835B90-93BB-4B9E-AEFE-3983C5DCAC34","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":"61b3f93ca5ccd0ac28a3331ebbf35ba4726f8431","datavalue":{"value":{"amount":"+0.813308596611023","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":"Q5204344$9CEE5D9F-B4ED-4F7A-8ABF-D9A7F6FDEBA0","rank":"normal"},{"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":"9fc149c784d880fd73d0d362bc1aa958c228e29c","datavalue":{"value":{"amount":"+0.8117550015449524","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":"Q5204344$84CF8EC0-D97C-428A-9B0B-DABCB929F5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88c30bef5c5d68cf7b26117f9b61d0473c80781","datavalue":{"value":{"amount":"+0.797261118888855","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":"Q5204344$B80DC75D-8379-4919-ABF3-4D17366C5172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbcb69c52cfc5a9a369c8a79e2ad5dd3c31bc7d","datavalue":{"value":{"amount":"+0.7971277236938477","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":"Q5204344$56DEE632-A283-4B4D-82EC-923146C4086A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5204344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5204344"}}}}}