{"entities":{"Q3558223":{"pageid":5588127,"ns":120,"title":"Item:Q3558223","lastrevid":49559146,"modified":"2026-01-07T19:13:47Z","type":"item","id":"Q3558223","labels":{"en":{"language":"en","value":"Propositional Interpolation and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703405"}},"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":"Q3558223$C78AE1D1-41B1-4B7D-A46E-149F2394594C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d73142fabd26a7f03056bf1bc340266ace65f4","datavalue":{"value":{"text":"Propositional Interpolation and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558223$74E3782F-4CFA-4839-833C-3B0B13888CF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43aa4f0285f23b01a738a3b558a1d4af0ca2fce9","datavalue":{"value":"1259.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$2FB9D15B-0B38-4AF6-8FBE-9D5F4CA5FD6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57f12244643b54d864cf559e6f5def941220a0a4","datavalue":{"value":"10.1007/978-3-642-11957-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$2AF467AC-D394-419B-936D-32463ABA77BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558223$832AA6A7-C4CC-4A94-B0C0-9B76CC061466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558223$868C8C10-47A6-466A-BF30-8EAEA30F4582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558223$FF23D406-CFFC-40F8-B5E9-6BCA457CE0B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$BC683E3B-7C0C-4DD9-B6E6-92DDD6F19A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$F8DE4BC4-7C1B-4B63-B810-A4D9B6B61A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$41E09673-49C2-4C83-AA22-B4C88AC7C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$AD97CDE1-9C07-4701-A1BB-3658EC4976B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e6efca2ec2d00c87180545638d19726b380876","datavalue":{"value":"5703405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$D88A737F-6C5F-4CD5-BE7E-83CA0165D00D","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":"Q3558223$2E8B66C9-DAF9-4F28-99A6-634A927AE6B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4c6f912ac7360a3d4f5b0d7cd01959b60bbbd94","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558223$2AB55E1E-B768-4AC2-B2DA-155B1F35EC7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61a53b9233f55d5ec026f887f5d61f28609f5c98","datavalue":{"value":"W2111714492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558223$8F8F85C5-7B16-4CD0-A98E-65FBF1F407C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8426845b132493d2bfbeaa0ac5ac3e5981c6b209","datavalue":{"value":{"entity-type":"item","numeric-id":4612438,"id":"Q4612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc8070a02eb3306ecaab39ccd0174051880b385","datavalue":{"value":{"amount":"+0.91365373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$677552B6-34C7-4597-8ABA-CC36B644C54A","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":"7c22088ac592c35b08f810904e8cdd6535e2366e","datavalue":{"value":{"amount":"+0.9115734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$7483A73A-A97C-4325-839C-2C80B8BE0169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965dac5b317e026a5b9b12b693c7ec6dd6311e9a","datavalue":{"value":{"amount":"+0.91021353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$023E1FB8-9F98-400D-93EC-2E0F3B28643E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd5067d651350b5174b9cb2e8d2d411fe7c324f","datavalue":{"value":{"entity-type":"item","numeric-id":5311259,"id":"Q5311259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345fb564632698a0f9ccd91213b0647c0195b878","datavalue":{"value":{"amount":"+0.9021423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$CC02A8E6-1673-4156-833B-3C3DABA8CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c41626d24db4405bd832e2c566e71e81fb84ff","datavalue":{"value":{"amount":"+0.8998611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$89C8A907-D573-4D8E-B321-ED9B9B9F4EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7d66e23846a75fbc35f8354b3400b6c3c9478c","datavalue":{"value":{"amount":"+0.8992146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$51FB0E38-3A42-4FE4-A355-01437241AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c182093effe09c57bc6d14ccb9b514722273e9","datavalue":{"value":{"amount":"+0.89815027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$940553CD-EB9B-4686-B2A4-872426BA7ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1167f036ac988e4179c53415e1cbf6b410d851","datavalue":{"value":{"entity-type":"item","numeric-id":4438128,"id":"Q4438128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6039f9723f31c0a440cb85ca031f36f3f2ed2202","datavalue":{"value":{"amount":"+0.8976659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$F6C5C497-8E6D-4293-A541-E417BF4B8D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc154a9a678fe94cae6d25e4ace41acf678e8d91","datavalue":{"value":{"entity-type":"item","numeric-id":4633554,"id":"Q4633554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c62c6dc4beaa6db8bd257f5c7f5448f7025f6a","datavalue":{"value":{"amount":"+0.8936447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$8465155E-4397-46F5-AB5D-EED072BB9F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21de3de614e699cc9a3622d178aa49a519252d7","datavalue":{"value":{"entity-type":"item","numeric-id":1288274,"id":"Q1288274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f3477c6573502ceee657702b35abb459c89c87","datavalue":{"value":{"amount":"+0.8915331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558223$A74FCA37-303D-4516-8F75-6CA87303EC3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558223"}}}}}