{"entities":{"Q5901901":{"pageid":8010386,"ns":120,"title":"Item:Q5901901","lastrevid":50656928,"modified":"2026-01-14T17:14:54Z","type":"item","id":"Q5901901","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554376"}},"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":"Q5901901$4FD3BA7F-C8EF-4459-B588-77C6028831AE","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":"Q5901901$C9955955-7A28-43EB-A0F0-11930F9F2131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9942aca2ff4842cf60df4aa43386ad59e1e8f489","datavalue":{"value":"1202.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$4B061E3C-99AB-4C25-AD49-9A0DFEFF740D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb20c7baa36957bc97f7ec468f1909c45529eca","datavalue":{"value":{"entity-type":"item","numeric-id":1703006,"id":"Q1703006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901901$BC6DB703-5773-4CEE-AF80-D131DC5321BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901901$A4504624-B2AF-4A1E-B631-C4E8C63E5D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"723fc9f1de6e1024a1e16b40d93d51fc1a311580","datavalue":{"value":{"entity-type":"item","numeric-id":2478588,"id":"Q2478588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901901$EF133593-5229-464F-8F49-25FE8C513E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e33317aa5e91e592cdbce8461ac2db6902378b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3627267,"id":"Q3627267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901901$2FD689A6-1558-4493-880C-B3A7ADF112BB","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":"Q5901901$8E967171-43B0-4EC9-A03B-80C01EB93AFF","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":"Q5901901$6CB98C92-0AE5-42B7-95E6-C1C86D1C86D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$583DCD07-E3FE-441F-B063-BDC7C89801EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$275B279A-C4B6-45CC-A817-3EE2796AB960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0697ee19e62490c444862100a3edf785e163521a","datavalue":{"value":"5554376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$C13E0B74-0076-4DCD-BED8-5D09D5DCB1E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901901$E96D56AC-8F81-4FF9-AE54-E8E46768BB14","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":"Q5901901$739DBE75-A54E-4963-B02A-E87DE7AC14D5","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":"Q5901901$BA1A2CFE-5481-43DB-ACC6-AAA3796C1060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$DE82BD31-A812-4C4A-A057-01CF3476D602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901901$3A410232-996B-4067-B8D0-D0F6F73FC211","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7679736ce64931ed1e7569f147babb53a9deab89","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5c8ac8175b39593a5dc946ec20eb21d2f663f2","datavalue":{"value":{"amount":"+0.7584748268127441","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":"Q5901901$7C05D06D-1CC5-43E5-A856-404C0AD04442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbf854d645657474aee93ef96889e923bb7a892","datavalue":{"value":{"entity-type":"item","numeric-id":4532092,"id":"Q4532092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc26d3afd88608263c8c9cb6d1eac53f5d59735","datavalue":{"value":{"amount":"+0.7453453540802002","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":"Q5901901$D5A7CC76-D8D8-4474-A25B-7DAE558671A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393312ea2f9f175c30d036653ad65af540335691","datavalue":{"value":{"entity-type":"item","numeric-id":3498434,"id":"Q3498434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9966a1d21b415478bef322bdd6ebe59fba17d633","datavalue":{"value":{"amount":"+0.7436573505401611","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":"Q5901901$FD2B49D2-1191-4477-995E-27BEC254C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591aacbee2dfa8a732bf1715ba5bc8356e95aa9c","datavalue":{"value":{"entity-type":"item","numeric-id":4532093,"id":"Q4532093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530cef7387d50c986e652000e6b872f4862c998a","datavalue":{"value":{"amount":"+0.7431589961051941","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":"Q5901901$B1009FF3-008B-4081-B335-5B7A8EBBBB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8b68d5b0bbb3f4aa25cae1fe148f8d4764f93e","datavalue":{"value":{"entity-type":"item","numeric-id":1826469,"id":"Q1826469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530cef7387d50c986e652000e6b872f4862c998a","datavalue":{"value":{"amount":"+0.7431589961051941","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":"Q5901901$E252E2AF-E40D-42E2-924F-D3BF72211A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901901"}}}}}