{"entities":{"Q5711491":{"pageid":7741045,"ns":120,"title":"Item:Q5711491","lastrevid":48606979,"modified":"2026-01-05T09:01:04Z","type":"item","id":"Q5711491","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235907"}},"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":"Q5711491$2E2E0B61-E93C-41DF-90FD-E570D350F5DB","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":"Q5711491$9AFE0478-95A7-4ECB-A81F-7060BC19B7C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a54aaf4d05aaea578fbfef2d90aa5181617ead6c","datavalue":{"value":"1112.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$B0A93A9E-0054-4618-9DCB-A4F6DBA7E4D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711491$5308A039-B018-4F93-BA9F-5A30B74A870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711491$39686C61-5722-465C-BA7A-0C63C467CDAC","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":"Q5711491$DA5D5BEE-C8B9-4B4B-BAE8-8822D8C2A6C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5711491$EFD10C61-2C4B-4BB2-841E-EE5C7E50C738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$E64EDA9A-5385-4EA6-A129-9A12061BDCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$6864E091-8F83-4A1A-84C9-9F31E5EDDE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$8530E802-2B46-4998-9C06-E4DD2372DD68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a22d8c2960753630b154a1ea64e038002eea2225","datavalue":{"value":"2235907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$44E50332-755A-4426-B9D7-22A91C72B440","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":"Q5711491$7EC650C2-BE54-47DF-AE81-EC74854388D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5711491$4D3D163A-DBC7-431C-8B06-7DBA127C33B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$9A0002EC-C38B-400C-B038-2A3E663C3AB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711491$B2FFB0F6-B738-4738-89A0-9D526C8FC8EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952320aca69c901810462f139c97f3a9a2be15dc","datavalue":{"value":{"amount":"+0.7897517085075378","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":"Q5711491$E225D19A-BD4D-4757-8586-723FB691AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d797c109b67bb97938c2b4344588d2aef512b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5900685,"id":"Q5900685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc27504d113d659b97aa657d9a5edcf965a4dcaa","datavalue":{"value":{"amount":"+0.7833953499794006","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":"Q5711491$B384909A-43FE-4A56-AE2D-688199CAE0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0f5b114f3b36ae332fd2385713016076900644","datavalue":{"value":{"amount":"+0.7692820429801941","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":"Q5711491$C559AA2B-7DA1-47B1-B905-F9230CA2AED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0f5b114f3b36ae332fd2385713016076900644","datavalue":{"value":{"amount":"+0.7692820429801941","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":"Q5711491$B179C64D-FAD7-44A3-884B-212B4F429278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1999a726654358971e9803234a1e814aae194a53","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab461585737d23aa6025b6ad690502aa4449405","datavalue":{"value":{"amount":"+0.7436030507087708","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":"Q5711491$E9C27FC9-1BD4-483E-B235-FC1874603232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711491"}}}}}