{"entities":{"Q5901914":{"pageid":8010449,"ns":120,"title":"Item:Q5901914","lastrevid":50656436,"modified":"2026-01-14T17:14:34Z","type":"item","id":"Q5901914","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554394"}},"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":"Q5901914$E392705C-E9D1-4962-AE05-C086881B97AE","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":"Q5901914$F5064645-653A-4C07-B47E-B3AACB05936B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93344841a77eb540f87cc86a70e124cb7c845a32","datavalue":{"value":"1202.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901914$A5470598-EA27-44E6-919F-0EBD9D190A9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901914$EC78A122-5CDD-49C6-9A6B-5CE0FF54D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901914$ED8D5226-19A9-4D1B-BC36-D06C1BDD6760","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":"Q5901914$14EF387D-3708-49F9-B10A-2815623C89FB","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":"Q5901914$A12E4A44-E4C3-4D02-BC96-E63EF0100335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901914$2C1871A8-AF5F-4D9B-A79B-D2170D105137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58548d67beed401882aa52d5b0ec2281b9a29298","datavalue":{"value":"5554394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901914$B2198C2F-73B5-4BD7-81A0-9035588EB4DD","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":"Q5901914$FE41157C-FAD9-4B10-8B32-D40B15D07123","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":"Q5901914$15EE8F32-3CEC-4180-8A99-CB23682932E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901914$E173AAF1-2AEB-4114-8327-2D2C47E63D23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901914$1F81F641-AB13-420E-99F5-AF6B8AFEAFE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf15a86ab27de24c71c6278f501043afe2c895","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58850654e166af5d4b9605f9db3e95280d112970","datavalue":{"value":{"amount":"+0.9155862927436828","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":"Q5901914$C77A6B41-8711-4832-85F6-0821D308E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545e7860357cf9f1ee9e4b7cecb27cd402b0e27","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70b2380654bb21ddd41a13fa5afba3fb262b517","datavalue":{"value":{"amount":"+0.823837161064148","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":"Q5901914$F52CF908-3839-4E54-93C6-07E6AB079710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32bcb08b914105f35b32b1fd55111f84a27b081","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc7407f91e5c647d962e4a77994c1da93a84bc3","datavalue":{"value":{"amount":"+0.8205925822257996","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":"Q5901914$41A96847-4745-4DB0-B402-ADCE05DEC221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f77a04fbc1b4fa804a448f57e313514e860d92a","datavalue":{"value":{"amount":"+0.8125230669975281","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":"Q5901914$CE440BF0-AA88-408D-8022-9112FB8EAB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b8453d6fa33a85e3e126783149b9d98d96b24d","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d2296267e4b0ed58fd204b0b6117628742f848","datavalue":{"value":{"amount":"+0.8010395765304565","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":"Q5901914$307EA4FE-8800-4C6A-9D51-E949FA6A8A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901914"}}}}}