{"entities":{"Q5898614":{"pageid":8000877,"ns":120,"title":"Item:Q5898614","lastrevid":50024371,"modified":"2026-01-12T17:01:57Z","type":"item","id":"Q5898614","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124432"}},"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":"Q5898614$09614BE9-6E18-43D9-8840-3C119EA7CA78","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":"Q5898614$0AC3D8C7-D44B-43DB-9D27-8118544F2307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4076394d8f8d80a0e0398b84bd0d85e397042633","datavalue":{"value":"1176.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$3C16E076-A523-44BF-908C-126CD580A521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$B0A5297A-8D1E-44D9-85E3-730C1BA16E98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898614$2934DFAD-F4E4-4CDE-BE7A-92C534C0CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cceade98888683f531a914b64c3671aa7fbe275","datavalue":{"value":{"entity-type":"item","numeric-id":3421011,"id":"Q3421011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898614$10563D8F-AB13-4216-87C4-3AA3EACAB919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898614$43CEC61D-EF90-4D37-9A73-B4233079B0B6","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":"Q5898614$60963A71-79DB-470D-A4BD-FABAF9069EA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5898614$5F65AC4B-86E3-447B-A9C7-0956FD8AABC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$73C27159-9594-486C-8AA8-1F77A54CFF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$77039F1A-5B65-4446-9785-71F107EEDD89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"138b9468076f456842a81d9004fa02029b8c3528","datavalue":{"value":"5124432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$2E6DE0D2-1341-4F5A-B847-1977B1EFC67C","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":"Q5898614$1197BC47-933F-4FF1-995D-3AD58DEE8C41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e910ccb6553d3b0d560facef2073cf9971ef1604","datavalue":{"value":"https://doi.org/10.1007/11609773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5898614$EEF1640E-D7B3-4A04-A326-CC8352B68B72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898614$71BA5FC8-31FF-41CC-9A05-DAD02B06A0B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f2153586bab5368152bdbc0368040cd14fcb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ad387e99d957897ce909a2d982fb9a562e6be7","datavalue":{"value":{"amount":"+0.8650208115577698","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":"Q5898614$B1295905-8874-42B6-A2DB-CCEAFE210B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58402c0041b8b1ae82d00cbe8d1a55e8c8bc7390","datavalue":{"value":{"amount":"+0.8008295893669128","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":"Q5898614$085F321B-4C6B-494B-8EA1-B1CF60EC8B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6b259e1d9e5662335178abde148db86ac4b693","datavalue":{"value":{"amount":"+0.7962175011634827","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":"Q5898614$D90E22F7-8125-4D3A-8BD9-B1839406646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2efd82bd0819a6f622a0d4b5aace4b292ce451","datavalue":{"value":{"amount":"+0.7940431237220764","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":"Q5898614$C81AB23C-9959-49D3-A3CA-28C55BEAEDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40084e937509e989beb685511fb39bcf86238d57","datavalue":{"value":{"amount":"+0.7874626517295837","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":"Q5898614$C5451183-09D0-4740-8857-810239BC9049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898614"}}}}}