{"entities":{"Q5901911":{"pageid":8010432,"ns":120,"title":"Item:Q5901911","lastrevid":97690046,"modified":"2026-06-05T15:14:13Z","type":"item","id":"Q5901911","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554391"}},"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":"Q5901911$E90BB775-805A-49B0-83D7-1B06B4866BB2","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":"Q5901911$59FF4517-0E33-4FCC-99B4-139617BA8FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"912ff95b20a2c55bb8784a8ef37faa0a7309386a","datavalue":{"value":"1202.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901911$084FD3E5-B3FC-4727-9678-EEBF08BFF022","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9a3c7fcc460fae8268300b44782a5fb5e770ce","datavalue":{"value":{"entity-type":"item","numeric-id":171128,"id":"Q171128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901911$78F092FF-0976-4050-843A-A95A661DD6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901911$AD3686F9-972D-4725-A74A-AE0AA10A2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901911$F4C2262A-DFA4-44D6-88D5-FEF9211081AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901911$503D6F24-03FF-4A2A-A18B-6EF0BB437744","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":"Q5901911$B638163D-969D-45B1-9E6D-D3D07F99C78F","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":"Q5901911$67A3D818-7354-46D9-896B-08A24CB92A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901911$20EA298B-12BF-4670-AF19-F005A5728823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9a98389594fda0c64b0fcbcb2e35bdea60553b6","datavalue":{"value":"5554391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901911$03935710-CFB7-4822-BCFD-09AE30097FB5","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":"Q5901911$ED8D409C-BF9B-488D-8DFF-18CC3D51D6BF","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":"Q5901911$EDD062B6-B52B-4AB5-9F28-8C8B0E889819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901911$7F534F7E-27DF-49F7-8856-5DF0AC3A8403","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901911$7C4B5CC7-90D0-495D-9D4A-DC6315000C4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c052184754a1fb4a3876de29c87ff461430834","datavalue":{"value":{"entity-type":"item","numeric-id":5308428,"id":"Q5308428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f66e8750e419ab0c0479756bf24ade0725f642","datavalue":{"value":{"amount":"+0.9051028","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":"Q5901911$A4B16178-1507-4A4A-8279-5AD639DAABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed48a341a7df4501e55b4d17c90134cba58846c","datavalue":{"value":{"entity-type":"item","numeric-id":3613081,"id":"Q3613081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606e43b1c50af0607e543132a9672ec0ff537657","datavalue":{"value":{"amount":"+0.795853","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":"Q5901911$2F9E851A-411B-49BF-8C91-9526F9627609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34821028c6ed9baca825f5f0881ec232e7e751b","datavalue":{"value":{"entity-type":"item","numeric-id":5220052,"id":"Q5220052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4ed943047bb88a257cb1b8d9d480a3253bec9e","datavalue":{"value":{"amount":"+0.74351555","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":"Q5901911$E200B379-F4EE-4BC4-9764-C55B13A304F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb6b63fb88f3b07e503b07a8373e209ec405436","datavalue":{"value":{"entity-type":"item","numeric-id":5902052,"id":"Q5902052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8448448cf6f8fa205b542941cd3e37d3d9efbde0","datavalue":{"value":{"amount":"+0.74048185","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":"Q5901911$05B75E4A-80ED-402C-BFAE-5E3753BBCDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb5e732fc52316a5fa97d05b0ad988468c71db6","datavalue":{"value":{"entity-type":"item","numeric-id":3477956,"id":"Q3477956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedb0315f10153a2bbf3a06a4e534030d1d31848","datavalue":{"value":{"amount":"+0.7386283","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":"Q5901911$CD2A1E77-F7C5-4594-9232-6F6EBAB49601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb9e4711e55effcf8b6f0f672f5db81f5e070d4","datavalue":{"value":{"entity-type":"item","numeric-id":2676223,"id":"Q2676223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e9a4dc5407a35fc200a3ceaa94d33bc2e36460","datavalue":{"value":{"amount":"+0.736316","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":"Q5901911$256104E2-3881-47E2-932B-ADD54D0E48F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1022abf161c8cd67fcadc29716f3427f6acbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbd4abe51ddef9ccf0c9dfcb47d267091dd7e71","datavalue":{"value":{"amount":"+0.73406655","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":"Q5901911$1F43E2E7-50E3-4A03-9D2F-244A80A6C7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5554391)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_Model_Checking,_and_Abstract_Interpretation_(scientific_article;_zbMATH_DE_number_5554391)"}}}}}