{"entities":{"Q5898609":{"pageid":8000863,"ns":120,"title":"Item:Q5898609","lastrevid":50024362,"modified":"2026-01-12T17:01:56Z","type":"item","id":"Q5898609","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124427"}},"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":"Q5898609$2524EC5D-5EA5-4B04-A848-E969BA6DBFBF","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":"Q5898609$DB661B5D-7E4F-48A2-BDC0-7B67CBA4AE64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88e8b084c141eeb2bb45a9ebf681b38db118a5fb","datavalue":{"value":"1176.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898609$8016363F-9A86-4D81-825F-D84F6091953D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898609$26B3651F-A99A-444D-9EDE-0EE5E85B3EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898609$1A888A7D-FDD9-4D20-9D6A-C4A04CCA90DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898609$7BB39A67-136C-453A-85FF-27F4BEC03058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"361a20a56f2e0f656dc8adae728ee345469aece8","datavalue":{"value":{"entity-type":"item","numeric-id":553289,"id":"Q553289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898609$166A639D-24EE-4832-87D3-443FB2ECF7D0","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":"Q5898609$D1ADECB5-45DD-4196-8965-7BF8BADED3BD","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":"Q5898609$D5D7C343-9AA1-400A-A10E-DDE0D8D62E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898609$EFC432AC-D87F-447A-AFD7-4B0A1FFA4205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff177a17fa42aa75282460c2491ce3fc19aa145","datavalue":{"value":"5124427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898609$8EAAED03-DFF3-4047-82AD-964D640B36D6","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":"Q5898609$7952A631-94AC-4031-871D-4D1C57FFFD21","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":"Q5898609$EB61FD14-4F24-4C65-AFCE-DF12E427EFB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898609$FE829C23-31D2-4D2E-8B07-07316D9C238B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62751b604a44c62a2936e551f949be8091c2014f","datavalue":{"value":{"entity-type":"item","numeric-id":2891435,"id":"Q2891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfa8a44417935c32d1d8ac7633cd1fb25487fe0","datavalue":{"value":{"amount":"+0.8166732788085938","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":"Q5898609$CF925A9A-DAAD-4CC6-A388-03F25F34415D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487a31bee9555fea1032c2af8cf443599daa15ea","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19437f4b9398f0de868321af9582398b579fdefb","datavalue":{"value":{"amount":"+0.7851024270057678","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":"Q5898609$462A32CB-0C70-44AA-97CB-F2E3EE82EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c8acc7cad47c904e252d4e50323d038e733e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5925512,"id":"Q5925512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f4983c9adbc3c16cc83e7c2628c2f953dbd99e","datavalue":{"value":{"amount":"+0.7795786261558533","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":"Q5898609$C019856B-2680-4E14-87EB-3CACB191B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3417144d9b1c15ccf5fb15ae0c7ca49c5626a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5465861,"id":"Q5465861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66b456cd12652f42a5d199de0dd3f01370da6fc","datavalue":{"value":{"amount":"+0.7780408263206482","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":"Q5898609$2764955A-7388-4E9D-9074-65BF442E4768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3f4d7428018fc862b03ba9abc78a8aa473ec27","datavalue":{"value":{"entity-type":"item","numeric-id":5716580,"id":"Q5716580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b4691b923972b4ec989beabb8f23524df0ad8a","datavalue":{"value":{"amount":"+0.7771493196487427","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":"Q5898609$672DE55E-BEA9-4AF6-8D2A-4A00EF59B015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898609"}}}}}