{"entities":{"Q5919285":{"pageid":8050718,"ns":120,"title":"Item:Q5919285","lastrevid":55369867,"modified":"2026-02-17T14:42:51Z","type":"item","id":"Q5919285","labels":{"en":{"language":"en","value":"Calculational design of a regular model checker by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142666"}},"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":"Q5919285$8BD3AECD-D80E-4FC4-8D01-F49E47A54850","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1dde5c5ce32069467a35349ef33e006f10276a7","datavalue":{"value":{"text":"Calculational design of a regular model checker by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919285$C0B4BA97-9E27-4712-A845-B705952E5564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0674f5d973cbe8fbb3407ace62d8671f35e31a1c","datavalue":{"value":"10.1007/978-3-030-32505-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919285$3335B7F5-D469-405E-A608-8044E9D8F3FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919285$6914BCE9-0210-4AC5-BDC4-8C44073614C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"32926e6cd4c41896446383af31db40c3d371dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":5919284,"id":"Q5919284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919285$CD93C66C-B509-471F-9783-8A34D0DEEC9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-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":"Q5919285$ED084193-4E96-460B-BE60-1407C62D5BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919285$AA4B8E99-63C9-4A24-ADAE-58AA15AD3D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d91f4b353ab5eccb587e5cf9707908ee0453e658","datavalue":{"value":"7142666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919285$2C91B02D-A18C-46D7-BB83-6B417FBEC670","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919285$BE839817-BD5C-4DBB-8296-396C0F116820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d261042f0622a188b883ea706467ba490eb375f","datavalue":{"value":"calculational design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919285$98C90EA8-9BCE-40AF-A37E-44B5046BDAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919285$A5E89261-551E-4468-9123-4FC4C219EC56","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":"Q5919285$776F59FF-A8A3-4378-B4EA-98A4E5BD3135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c458f2b2c1158ef32dd02132a2654a3abfbe3a4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-32505-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919285$70CE9830-01E4-45BB-9F61-C9A54F59F6E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f0748f155c98f83630f622b7e52ebcb66551808","datavalue":{"value":"W2982031770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919285$3FEF3FEB-98D7-49E0-A565-A91E14D1C968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d6beb5d77b6feca82144d6b51bc4e3d70f9cda","datavalue":{"value":{"entity-type":"item","numeric-id":5896884,"id":"Q5896884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7395cbc720709c4b5299766bba0b4836fbd57f","datavalue":{"value":{"amount":"+1.0000007152557373","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":"Q5919285$A3A63233-928B-42A9-89FA-D80E73B13DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06c7e8bc3f194ea2ccdd1bd98c2573a86e12ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f8aa83f25764d6c8017e0278291e92710c73a1","datavalue":{"value":{"amount":"+0.7579425573348999","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":"Q5919285$860B6C35-45BA-4F37-A51A-B9F25F46F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec27621b1688c7b214ee761896d0d51e26ae476","datavalue":{"value":{"entity-type":"item","numeric-id":2995468,"id":"Q2995468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59302ac84ff0045c51dc6e896161d292744f69b6","datavalue":{"value":{"amount":"+0.755983293056488","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":"Q5919285$83588CAA-BAE9-487B-B42B-05F7020C474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d609404b886439389be5663df1705b5f1ebd0","datavalue":{"value":{"entity-type":"item","numeric-id":4411978,"id":"Q4411978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01389e5a1b3b7a9b0780dcbbee2599ab3cdbc3f2","datavalue":{"value":{"amount":"+0.7376879453659058","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":"Q5919285$7A03BFFA-D818-4425-B463-EEB14BB59A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb288992048d09d4eb86fbdeb61272c574e462a","datavalue":{"value":{"amount":"+0.7367231249809265","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":"Q5919285$F0DA744F-3302-46FE-972C-8D9BAE0E35F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919285"}}}}}