{"entities":{"Q5898629":{"pageid":8000941,"ns":120,"title":"Item:Q5898629","lastrevid":41719269,"modified":"2025-05-07T13:16:44Z","type":"item","id":"Q5898629","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124447"}},"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":"Q5898629$79AD38EC-5E12-4611-A521-88F617B27358","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":"Q5898629$71BF5841-BA7B-4E42-8E14-53F31FF849F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06743f7b9b7303d503ccb3494bb5052e12b2156f","datavalue":{"value":"1176.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$90D5CCBA-4E66-49FD-BF6B-B3127F882975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$22C9B116-6155-4BCB-AB9F-9129E49CD7CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898629$B9387351-AA1E-445A-A476-4FDBDF9534C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898629$FD311212-3B71-46EE-AE2B-C7A555B09156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd4d180c59cb7cc4d2b242982020fe12cef7f90","datavalue":{"value":{"entity-type":"item","numeric-id":439946,"id":"Q439946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898629$A3DF6495-6C74-46AD-84F1-769E55FAF626","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":"Q5898629$8BA83DA9-17B8-4B10-ADCB-634DCE9A9D30","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":"Q5898629$3AC3102E-9634-4000-AB2A-4790D710DB89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$2B1E4DCC-B03E-4C1D-BCC9-E18B0E45E1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$866B68AE-6DE6-4C9E-AC90-92BCB1DA0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$61F7855A-29B3-4DDC-B8BE-CE33BF728F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$ADD5D6E4-61F4-4D81-87DE-82110114F6E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d8066ce8f296b0a586badee336bdc8b67d43cbb","datavalue":{"value":"5124447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$1A13A2D5-5F8E-4F7D-943B-3CCAEB9FC24D","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":"Q5898629$CDDB8E0B-3AC7-41DB-87B3-58EB2E40FECE","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":"Q5898629$84B85011-0AE1-4601-AAF5-FB402E1E32CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898629$02B3BC82-4ADC-4415-B70A-2EE7B075B7B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5898629$69BBEFDC-C5E3-49B2-9A5E-FF9460CD363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d65841f94054456caebfb74f716ed59d54e4196","datavalue":{"value":{"entity-type":"item","numeric-id":6102166,"id":"Q6102166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7968269c268d5e67284cc29648a2a3f5cb9e7fc4","datavalue":{"value":{"amount":"+0.8259859","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":"Q5898629$F9B754A9-3396-4C09-8AAE-571E77D3EEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edaeae7f7713ff90477719558f6393bc2c67286","datavalue":{"value":{"entity-type":"item","numeric-id":4417601,"id":"Q4417601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da40ff1008a23d09b43d37f89d014c440cf118e","datavalue":{"value":{"amount":"+0.82447064","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":"Q5898629$99CD683C-2121-4621-B798-F6D2E4CA5C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34c659f68d11a8ef4e3784146fcd5f6ead8fe4a","datavalue":{"value":{"entity-type":"item","numeric-id":2709808,"id":"Q2709808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4aafff95d3757bd78bfa77f047d883440a80c0","datavalue":{"value":{"amount":"+0.8226355","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":"Q5898629$DC4F6B69-3730-4BF7-AC09-509F0BE6FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30d3b820dbcd673d057516c152118b0ae0398ee","datavalue":{"value":{"entity-type":"item","numeric-id":4433972,"id":"Q4433972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3fda32fe45b971435677ec85b4b622817a36bf","datavalue":{"value":{"amount":"+0.81608903","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":"Q5898629$2164E6F6-90D3-4A17-B4D1-76F75CDD1615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11089d534dfd0a93d4cd6e450a6d197efe9967f1","datavalue":{"value":{"entity-type":"item","numeric-id":6485897,"id":"Q6485897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231e4f97b751ca78f473f9a844ec5276e43a21b6","datavalue":{"value":{"amount":"+0.8102881","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":"Q5898629$BDD6C485-4A1F-4B8B-9AA3-E31654ACD6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0f7683b3d15685c10ba502a1f9a9acd9289f4","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d953d830fec631be4c5991dcbce45fcdfe34dd7","datavalue":{"value":{"amount":"+0.79723036","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":"Q5898629$A3A580AB-05E5-40D4-A335-B14A3F3730C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77942fbc90341abf2210d5743ecb60a159bea0a","datavalue":{"value":{"entity-type":"item","numeric-id":2772436,"id":"Q2772436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c83ccf39220cd3cd907a146bbfa581d13bb8fd","datavalue":{"value":{"amount":"+0.7961367","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":"Q5898629$8F18AB3E-A3EE-4EA6-9C25-A960AD46644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2431624a833c9802b9b33402408e5e73162264e","datavalue":{"value":{"entity-type":"item","numeric-id":880645,"id":"Q880645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909c297ea3cb857d2c1be361deb7caa2d55c1603","datavalue":{"value":{"amount":"+0.79457676","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":"Q5898629$EBC00C10-232F-4E40-ABD9-CD5FF4EA0181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898629"}}}}}