{"entities":{"Q5901912":{"pageid":8010438,"ns":120,"title":"Item:Q5901912","lastrevid":50656430,"modified":"2026-01-14T17:14:34Z","type":"item","id":"Q5901912","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554392"}},"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":"Q5901912$CBC4EE08-427F-4609-9945-C462FEC30748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a02cd8b709edfe4ef5e948e182769b4812906466","datavalue":{"value":{"text":"Verification, Model Checking, and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901912$F6887892-CEC3-4B0F-9798-31AE1486C545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5416ec365d2cae5b7905795328c64b12f1b40874","datavalue":{"value":"1202.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$C699C1AF-86F3-497F-93CA-6099B191742D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901912$7C050B43-ACC8-4783-9451-A88F96B801FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901912$6D240C9A-FAD7-4732-B6B2-379995377CC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901912$64AD4348-4D84-48C1-BDA1-537C567DDFDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408a918e70ee5b19afcb31048964c12b8f75a07b","datavalue":{"value":{"time":"+2009-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901912$94CC64BA-6D4A-40A8-923A-4E1E871E6F75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$181C5E1F-3B08-4110-85A2-74F58441C851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$3DA462E1-ACB4-4EED-B10C-67A37A6F5D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"378ba43cc8d11adf1982ae91c96faa819e2865a9","datavalue":{"value":"5554392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$0954FB94-7031-4E91-B937-2CF6CB7822A2","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":"Q5901912$76FD203F-5FD6-410D-95C2-02BA3503FA56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b0db9d5a63dbbf112231eedb1ea3402e4a8184","datavalue":{"value":"https://doi.org/10.1007/b94790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901912$8A4F390A-F5C8-4DA0-A588-9916AD63E156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$91BD6F40-7EEF-43E5-8718-A8D306BF3ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901912$1696D526-C4FC-4FDE-AACA-99292F528118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207e616d7f04783c6c66da1976c8fe43750a288a","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0972753d47aaf31cd58fc917e32733a868cd6b14","datavalue":{"value":{"amount":"+0.901888370513916","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":"Q5901912$6ECB0E3F-5496-44F5-88F8-A09A843AC750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2449eddd36c106be182b3043f294722941103","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bf434fec84e02d076e1374ecb13d8ad5490978","datavalue":{"value":{"amount":"+0.8842507600784302","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":"Q5901912$67DB9BDF-F7F9-4C59-A100-54732FCF7970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da673a9407623a4ecb1b04a7e33cf14d6d64877","datavalue":{"value":{"amount":"+0.847810685634613","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":"Q5901912$FD2D9B8A-8EB2-4A0F-87C3-D9293337F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ab82d95888dd2ac58b61cc9e6e60e619d0e09","datavalue":{"value":{"entity-type":"item","numeric-id":5716758,"id":"Q5716758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da673a9407623a4ecb1b04a7e33cf14d6d64877","datavalue":{"value":{"amount":"+0.847810685634613","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":"Q5901912$72F63CC3-B5CF-43D3-A30D-FE3E7291B3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b2a7473afa35181e6a4b1419e2c41d987f2bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c78b25bfb9dde1a08550e8e47eb4a2d0b189ff","datavalue":{"value":{"amount":"+0.8474002480506897","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":"Q5901912$97A79CE3-A387-4AEF-8DD7-C57210C6E4F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901912"}}}}}