{"entities":{"Q5901899":{"pageid":8010377,"ns":120,"title":"Item:Q5901899","lastrevid":50656922,"modified":"2026-01-14T17:14:53Z","type":"item","id":"Q5901899","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554374"}},"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":"Q5901899$DF5D09FB-12E7-4D23-82D5-FAFB87C51B5A","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":"Q5901899$F881C62B-21AA-410F-825B-3F8D48C7209E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1919d59792ba091ae07f75138408191e3d9ac678","datavalue":{"value":"1202.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$346EBBC4-408D-4089-B25B-3575284659CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901899$186470B1-B8EA-4BEF-A6F9-90C6CF362A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dff1a6879b40b259e26dcc64d3163bec22b3e92","datavalue":{"value":{"entity-type":"item","numeric-id":262438,"id":"Q262438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901899$7EC92376-C776-4558-A648-64966FE040D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e47597b37264f0d2e73b20179fa1ce5657a9b1","datavalue":{"value":{"entity-type":"item","numeric-id":865704,"id":"Q865704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901899$41F76A79-B439-4F0A-A548-33F36CBB9EA1","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":"Q5901899$A25E545D-4405-4C68-9262-A8C65DA9E9A3","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":"Q5901899$95F25704-BC60-434F-94A1-D0AE868C32DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$285F9E6E-AE30-4546-90B7-AB8CFBD8FB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$33B7961F-F5A3-445D-BAD6-0C1503BB43FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$78ADA444-6EDB-48BA-927D-683F8D3F5BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7abff44c458c93426e444029f5f7e20563d9c39e","datavalue":{"value":"5554374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$4D775614-CC38-4157-88A1-2FDF6DACA8EC","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":"Q5901899$E8814E40-044C-4B04-9284-F9EE16D2BAE2","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":"Q5901899$3431C14D-DB77-4AD1-9C90-D9D8C9981F3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$29020957-B775-4A0F-9E97-DF83F6DCDC33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901899$A314E2A0-6C13-4CFD-881D-D3B1B200C86E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffafbebb9faba209e5e39f23b5061548c36405ca","datavalue":{"value":{"entity-type":"item","numeric-id":865705,"id":"Q865705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74272370191fa73d10b7dbe3d652102f898cd33d","datavalue":{"value":{"amount":"+0.9889112114906312","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":"Q5901899$81CB9EAE-58A9-464E-A55D-5D79FAB15C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b11ca40745b96aac2dd9c7a8decd00585e869c","datavalue":{"value":{"entity-type":"item","numeric-id":5899015,"id":"Q5899015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5c24337bae18b0b2ef0302d51e77e78ef4e032","datavalue":{"value":{"amount":"+0.8270071744918823","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":"Q5901899$3127D7E1-8A9B-4A2F-B96C-C3D5C2EEE4A4","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":"dbd5343239c6b498e85e511959eae1277662338c","datavalue":{"value":{"amount":"+0.8160722851753235","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":"Q5901899$49414A3F-4CE0-4C76-A187-6668200C4439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38432ee3758e3888a42b4beddf44fc51dea1b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":1870493,"id":"Q1870493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cba0935c8bb585dc66d6da918a0e4511ef1f593","datavalue":{"value":{"amount":"+0.803377091884613","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":"Q5901899$DA4AE18B-FBB1-4490-ACA5-877E5770CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b563816bcdcc7c52e041e2ca46260c02b5a35b","datavalue":{"value":{"entity-type":"item","numeric-id":2763665,"id":"Q2763665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf94659a28217dd53afb8d54f694fae282c0005","datavalue":{"value":{"amount":"+0.7910974621772766","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":"Q5901899$B0816FD9-3ADB-4A31-91D8-5C41B94C2F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901899"}}}}}