{"entities":{"Q5901915":{"pageid":8010454,"ns":120,"title":"Item:Q5901915","lastrevid":97690118,"modified":"2026-06-05T15:14:13Z","type":"item","id":"Q5901915","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554395"}},"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":"Q5901915$65E72BA5-6CED-4EC0-8BB2-777D9F1BAEBD","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":"Q5901915$8844E61E-E6CE-44BF-8DA2-7A6DB67F4323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1447d41fb541f28deafc0616d278ac8959cab5","datavalue":{"value":"1202.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$B2E25170-81FD-4AF7-AA7E-7F50E797B632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901915$E6E159D7-F4F1-43DD-B28A-75567889F5D6","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":"Q5901915$C77ABA50-70DB-453E-B1D1-D910077A3457","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":"Q5901915$FB6EE165-F76E-4316-8C10-B4F9C094D0E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$FEAEE7D0-9CD4-4047-8581-A7BA8B65C295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$9CBD96C4-A035-46A2-87C6-BB5740DF6F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$EBDE4DE9-7DB3-43EB-A7E9-C3BDEA9F903B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da496679cbe71397a0b77a8bfbaba56419610fe","datavalue":{"value":"5554395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$97865732-460C-492A-859B-617907677F98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901915$18BDA4F2-3C80-427E-AE20-A916C2819313","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":"Q5901915$A7A6DD93-DCA6-4143-B38D-8E38FD366299","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":"Q5901915$93A55689-B061-443C-B4CF-C936598BEE22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$E9BBCC49-3825-4806-B061-3330AAB69F78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901915$33060A0A-9C27-4811-B18B-1A938FC5B822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45763a34dbe7dff6cc5ff7a0cfff5d6d64b5058f","datavalue":{"value":{"entity-type":"item","numeric-id":2368953,"id":"Q2368953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f27ed0c42455c51de703024eca95aad03fa12c3","datavalue":{"value":{"amount":"+0.826751708984375","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":"Q5901915$35FD2C76-253D-47CB-84B3-367CA14A7CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2354f45f76cf1679477b206e2421c39dbd8afd8","datavalue":{"value":{"entity-type":"item","numeric-id":4417938,"id":"Q4417938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e913cb8de8094721d0b13f922d0f2b0b36760319","datavalue":{"value":{"amount":"+0.8185454607009888","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":"Q5901915$74FE4552-1DBC-48DF-BD35-2474C746E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662d84be92eda46f289bd2f0b09b723674c2c10f","datavalue":{"value":{"entity-type":"item","numeric-id":2986796,"id":"Q2986796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9a2702cef3681869348f199e353016e24c7bec","datavalue":{"value":{"amount":"+0.7981318235397339","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":"Q5901915$A9ECFDA7-9A17-4AAB-9455-00024705F010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3aade13142eab29c3ba443a18d3d8abdf737fd","datavalue":{"value":{"entity-type":"item","numeric-id":5900671,"id":"Q5900671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7358bec2dfaa01d285dfd6bc1d574cf202bfb3c","datavalue":{"value":{"amount":"+0.7960240840911865","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":"Q5901915$5809E97B-2A58-4D1F-B6FB-DB3B43B1DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393032156283e4907443cd7daec0b4370a291b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4995374,"id":"Q4995374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494370265ee92c2f0e22ee88d7844f838d670b8c","datavalue":{"value":{"amount":"+0.7931682467460632","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":"Q5901915$85D4629C-8D6A-4EEA-BE07-D374F27A9971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5554395)","badges":[]}}}}}