{"entities":{"Q5901903":{"pageid":8010390,"ns":120,"title":"Item:Q5901903","lastrevid":41802698,"modified":"2025-05-08T12:54:55Z","type":"item","id":"Q5901903","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554379"}},"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":"Q5901903$D4B30907-0DE1-405B-B9CC-50A6F83A94EF","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":"Q5901903$F5D49493-4CF7-48D0-9D9B-C4851FB494CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d064b449d8a0cb6100ca46dde7d16f91c69dcc18","datavalue":{"value":"1202.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$E887274C-2B06-4218-A3EF-87CA01F43628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901903$40146E99-9A78-4C3D-9394-9905F704C167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901903$0E94AE8C-986E-4443-80BF-C5218B524844","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":"Q5901903$9EB489A6-4E91-4BBE-B8C2-DF7ABA70FC1F","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":"Q5901903$C4FB6137-6646-45A7-99E7-9B5F1994FC5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$91847795-C402-4C49-B9D5-3612E25EC81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$09A84AB0-EB7A-42CA-A2D4-7AE3EE84BCA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b09405954a1d54566e20d5c9c2e914fe87755e6","datavalue":{"value":"5554379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$1E57986B-7121-408E-88EF-E5C50076C3D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab514a4c942f7bd30a1016a210ec3259856c405","datavalue":{"value":"Shape Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$F12C7EDA-DA4B-4C5A-A481-A6C583CD452D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfed4748623cc6ebc606dbea67d524854f1b90b0","datavalue":{"value":"Program Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$41EAB9B5-C386-4498-8372-310986265CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c8dfc02dd5e3c65f8fc31ae33c78f6e375f2fc","datavalue":{"value":"Abstract Interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$CA638FC9-A734-4570-B7E4-01B56566E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c6ce9f223155c99464b818bb77150bb6d40dce","datavalue":{"value":"Boolean Algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$7B46E4A7-D8BE-4D43-95C2-5D3697E30D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d255b62bf5cbe312485560ddab253683c1fab2","datavalue":{"value":"First-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$BD2BBCC1-9B28-4CCD-855B-AE32EA210C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901903$A0DC07D5-90D7-464D-891D-6C3AFC89ABF7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901903$CF4E3960-96CF-43C9-8ED2-344786B43CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901903$9F40E862-2218-4AB0-A8B3-2FE67160F907","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":"Q5901903$1E038911-97E4-4241-8103-374F05C52813","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":"Q5901903$FE8FBD41-5D54-4E2F-B7DC-6D15D99F6DD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$F1658A89-9EFE-40A3-BF37-4CEEA9BB662C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901903$FC22D6D7-BCE9-48D2-ACB4-BACB92E85C36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb96851bb182a248f1d8b56a1e6abeb1d5371992","datavalue":{"value":{"entity-type":"item","numeric-id":628191,"id":"Q628191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe65c6473b8ea997b0ab8b6462d7f271155cff20","datavalue":{"value":{"amount":"+0.8675649","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":"Q5901903$A9BA0F48-0B26-45EB-8F08-BD3C012C6A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7566df64119447a2d7ea9cd0d60a1195062988ea","datavalue":{"value":{"entity-type":"item","numeric-id":1262694,"id":"Q1262694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04f0e407e3d68c8bbf429d2409ea69ab621ac00","datavalue":{"value":{"amount":"+0.8515129","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":"Q5901903$CF5290E7-9263-4213-BCF3-6037E0CC7164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c904ace70e9dc5df8a6fd12311fe7383f4ce056","datavalue":{"value":{"entity-type":"item","numeric-id":6041168,"id":"Q6041168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1613edf76d6d114db1551670b1348ab5b55858","datavalue":{"value":{"amount":"+0.84055316","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":"Q5901903$E76A3FE5-5AFE-485F-AC31-61808B129B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed07ea98ff7b15a19cf48aab6c9f0f96daa88ea3","datavalue":{"value":{"amount":"+0.83172584","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":"Q5901903$2904A5C6-BE97-408A-BC18-F5FEDBA9435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ddd146b424c197981e188c068bc9e2d5519016","datavalue":{"value":{"amount":"+0.82860005","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":"Q5901903$99C036F5-EE2B-4CF0-A8D7-FF46E67C1428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4459107fa8549f61d9ea87762591882eabf47ed","datavalue":{"value":{"entity-type":"item","numeric-id":2650606,"id":"Q2650606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dfb8561292ea4c898d15392740d52a07adcfe9","datavalue":{"value":{"amount":"+0.82439375","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":"Q5901903$C2E4EAE4-0505-4DD3-A27D-31B685EEAD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2928bf9fd1990ce18e35f46a2eeaede75ebb03d8","datavalue":{"value":{"entity-type":"item","numeric-id":5466368,"id":"Q5466368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2b0ec1bf6a5593cc053dfd5232a52b141b58fb","datavalue":{"value":{"amount":"+0.82425904","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":"Q5901903$DBECF5A3-3A6A-4AF5-A72B-E17BF07950D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901903"}}}}}