{"entities":{"Q5898613":{"pageid":8000873,"ns":120,"title":"Item:Q5898613","lastrevid":41667436,"modified":"2025-05-06T23:23:09Z","type":"item","id":"Q5898613","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124431"}},"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":"Q5898613$46B06733-4544-467F-B23E-63EAC26D3817","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":"Q5898613$D334FE18-39AB-45C8-914D-89402F126725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecfe3f3c06194aacdabddec89f43349e117b3add","datavalue":{"value":"1176.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898613$D66B4391-AD9C-4546-B06B-4ED5B9F6B960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898613$737F3ED0-1648-40C3-B375-1A3160712BB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898613$90343466-C683-4862-8F79-C70E52002628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57519a380c68b977f2bd31ff8b7d04738f735769","datavalue":{"value":{"entity-type":"item","numeric-id":859957,"id":"Q859957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898613$9ECBA0D7-D6F7-4B9A-95E3-34982D1E7F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898613$13B60FB4-C8D0-43D9-9A85-0D45D543D91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898613$56A772F9-661F-4D26-8C8D-F1E52A6A0203","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":"Q5898613$E544855B-7B33-4E64-BBD2-8BA79F37510B","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":"Q5898613$2F02D5BF-FA7B-4900-A957-EF130683391B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898613$22648D84-8CA2-4D1D-B2CD-AA13F2D549EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"551754e247508fdaa491d781a1a73162c1f0b9a5","datavalue":{"value":"5124431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898613$74035984-776C-4BF8-A74E-C32DBA759300","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":"Q5898613$42C62D6A-F4DE-4AF0-B250-C0CDC410B06E","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":"Q5898613$41B19548-5200-460F-8337-C9EE9C89C09E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898613$0D6C6666-851C-42E2-9902-6D5CC5473E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c85214c6893aa6423eadb5a8f3d755e72e01953","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7cabfbc538bacb760b1153420ac72b669f3304","datavalue":{"value":{"amount":"+0.88420707","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":"Q5898613$7792397C-EAAC-4709-B053-2A1AFA62F354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45c114711c028bcaddee8bb573fefeaa145dc74","datavalue":{"value":{"entity-type":"item","numeric-id":1067795,"id":"Q1067795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e09c30dd16028eb736a50e3b2439e1b04738481","datavalue":{"value":{"amount":"+0.864266","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":"Q5898613$1597E0F2-728D-4667-95F1-3578F9177BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c756220e7a3fa6f73a029bccea5301f05d9c23c","datavalue":{"value":{"entity-type":"item","numeric-id":4728265,"id":"Q4728265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47138f69b09149faa761a7b8eb46e8b624301fbe","datavalue":{"value":{"amount":"+0.852519","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":"Q5898613$B082E9BF-5F74-44B1-8F82-38540FE36603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5f46d0b2d87d1521b20a79bc3b30ea9a1abb27","datavalue":{"value":{"entity-type":"item","numeric-id":1872707,"id":"Q1872707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ba2b47ae45dd73c3e402971906ad7f7eda41ea","datavalue":{"value":{"amount":"+0.8512635","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":"Q5898613$5A952E65-7D89-4B88-9B94-839CC08F7EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8039936cb89626db27b247bf71ac85984c2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3334110,"id":"Q3334110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146626539015b464f0195a8e7cdc379bfd7a7c87","datavalue":{"value":{"amount":"+0.849844","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":"Q5898613$3552A958-F59E-43B6-B54A-8C0AA87B04AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42c06170508cdd81c186f6607afd5bda05586d3","datavalue":{"value":{"entity-type":"item","numeric-id":4649545,"id":"Q4649545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e20337008584e9c22f0f3d35ebd015994b8da4","datavalue":{"value":{"amount":"+0.8484849","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":"Q5898613$C067D681-44D5-481B-BE30-69E3F3776CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf75c3d9043ebbe9acde503f3a967f9f161ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":3190694,"id":"Q3190694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f13347eee3a0f72c09279ba10efebde8296db10","datavalue":{"value":{"amount":"+0.84773386","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":"Q5898613$4B66C58B-35C6-4CDE-A5C2-F991372B627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f562328d608fc76ae559dfaa40ee6b5d086f7736","datavalue":{"value":{"entity-type":"item","numeric-id":3745273,"id":"Q3745273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6283b749273236b61d7a5fc0e95b18705bec6d03","datavalue":{"value":{"amount":"+0.84635437","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":"Q5898613$60205F7F-4030-4474-9B65-78FB556A3C14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898613"}}}}}