{"entities":{"Q5898624":{"pageid":8000918,"ns":120,"title":"Item:Q5898624","lastrevid":97514219,"modified":"2026-06-05T14:56:02Z","type":"item","id":"Q5898624","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124442"}},"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":"Q5898624$B47B157F-B9D8-4A5B-A7B0-2AAE88565C2D","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":"Q5898624$A5F43DCC-B1AE-447A-B277-291FA262031D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25e3b9d5867be767aaa2b96927bc3d2c21e2cfc2","datavalue":{"value":"1176.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898624$173C8867-6D5D-497E-B469-E9074F2162D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898624$B96E0E04-5836-4787-846C-8BCBB6BB022D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898624$5966A73A-21C0-4A3E-BADF-3DA4ED9A87AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b2f59a448ac155d692577e3e17c3794156bac","datavalue":{"value":{"entity-type":"item","numeric-id":2903125,"id":"Q2903125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898624$44920E55-654D-4B6D-99BE-37D39E9AF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e51092d8ce3d361ce322bd610c6d3c3dd7b4db","datavalue":{"value":{"entity-type":"item","numeric-id":2866339,"id":"Q2866339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898624$676377EE-5D2E-42B1-8F09-AE8366FB13BF","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":"Q5898624$F19394A8-056A-4CE1-91D9-C6EBF68B5FC4","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":"Q5898624$9FB61519-8BD3-4C62-B12E-9E50524722C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898624$8371A047-8CBD-4260-AE76-6E5EF279B124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8a084a525aa62e87c490ae5fb234723c3808c4f","datavalue":{"value":"5124442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898624$26E9E047-FBC3-4A5C-B80B-DFCA279F6ABE","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":"Q5898624$6A206263-B593-4F60-A935-8A8953EF5206","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":"Q5898624$0DCC6E67-7F82-4413-8B21-949CDF102C4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898624$963977C5-973D-4C56-888B-048BDF930968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1147afb062c304f96d48f607cc51c4dad4394ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1698993,"id":"Q1698993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231f86251b7ff5171e6e60b0bebebe80edc719d8","datavalue":{"value":{"amount":"+0.844304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$E094BA89-9F00-4D10-92FC-5673DFD689A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f87fbbbfc6556fdc06af642ebcdd7ba22f7de","datavalue":{"value":{"entity-type":"item","numeric-id":2978529,"id":"Q2978529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8b0dec7b7cba73087648c620596b5213b8d79e","datavalue":{"value":{"amount":"+0.8254622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$7C199840-376C-48D6-A404-D5AD9257DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe85b6ea3886e89ad1aaeed4d29874962728d466","datavalue":{"value":{"entity-type":"item","numeric-id":4434509,"id":"Q4434509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12fab1102506f64d5b17195753623114f090027","datavalue":{"value":{"amount":"+0.80973566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$5CB9A652-83A9-43B4-87A7-196EB6E9F9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af226d2ad6440e379861cc1eac897701afd7903","datavalue":{"value":{"entity-type":"item","numeric-id":4964727,"id":"Q4964727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94885ca00e69109255348a4221ba0a0c1a34cc86","datavalue":{"value":{"amount":"+0.7967324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$DCE41A62-D501-4329-BA4E-F99CD5E66AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f11942fea7c0fc05433ca09304e0e6a3567880d","datavalue":{"value":{"entity-type":"item","numeric-id":4432521,"id":"Q4432521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a431ce5379c04afb156797018c102182bfd0110","datavalue":{"value":{"amount":"+0.7963997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$4220C45F-4D72-41AD-B314-A8AC24873911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8f17c1baf962aa436aa2ed3384829de4367c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2351397,"id":"Q2351397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a467b0fab4494e3bce2e78ed1ca8b0f9f70d48b","datavalue":{"value":{"amount":"+0.7962478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$9DEDD532-7255-47F5-9C61-6AC9A5A21C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88759a13cb4d23b8ba7dd2545173bdb2c8d36186","datavalue":{"value":{"entity-type":"item","numeric-id":5898456,"id":"Q5898456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96bc4a7babad9d9eb08b307d2ce146bd9ab0d82","datavalue":{"value":{"amount":"+0.7925447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$6EE86BE1-066D-4E60-AFE0-66CB6503650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904960c6fc54903e5eb2d4c063ad83dac85c2f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3397447,"id":"Q3397447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee719eb234caa6a47116c5d1ae1fd0351b8e902a","datavalue":{"value":{"amount":"+0.79116344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$C116ED3C-E734-4D3E-BF2D-9843B6EE8A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18854138ca0986e82ff179026c987db305592202","datavalue":{"value":{"entity-type":"item","numeric-id":5166685,"id":"Q5166685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cf4388609fd01ba185d3331a3743dcf7f53cdd","datavalue":{"value":{"amount":"+0.7895152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5898624$D7916815-1D63-46AD-A1BD-9FD738560761","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124442)","badges":[]}}}}}