{"entities":{"Q2165506":{"pageid":2176249,"ns":120,"title":"Item:Q2165506","lastrevid":43626912,"modified":"2025-10-31T14:05:23Z","type":"item","id":"Q2165506","labels":{"en":{"language":"en","value":"Reachability analysis and simulation for hybridised Event-B models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573717"}},"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":"Q2165506$566ADE08-96E6-4148-8913-D1F101BEB1EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fa10d826774a45cc5af98df85ed17a448ab8aec","datavalue":{"value":{"text":"Reachability analysis and simulation for hybridised Event-B models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165506$DAF90042-F0D7-44C0-9E6B-B2E30A3B2545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9671e8473a68cc2a6af1ae49b1b62c7ead4328f0","datavalue":{"value":"1502.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$26002938-9E16-4E4C-A4CB-940B4FC0E7DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"213e3024195a5f9c0ad5373fa969655d6f8c48ca","datavalue":{"value":"10.1007/978-3-031-07727-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$730AEBD9-06C5-43DC-AFD2-661B070EE57C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85d5e54b3c013ef717f1252d0c179f58721b0467","datavalue":{"value":{"entity-type":"item","numeric-id":1806124,"id":"Q1806124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$2294D56D-983C-4EB0-8187-38BBF61E8BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$8192D85F-06DB-436E-B56F-B0623A13F3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab1612f16492872216c2f8ff15da63eb6b52b0ca","datavalue":{"value":{"entity-type":"item","numeric-id":2147210,"id":"Q2147210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$E4845F25-0476-4EE9-8988-D390B4FA6727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e832cb4c1609fb8d331707786b4af1bfd793beb6","datavalue":{"value":{"entity-type":"item","numeric-id":2115897,"id":"Q2115897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$C6A40F32-075E-4EF7-91E3-62A227334F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d7b3a78291f8ae7e88d7838d9fb738dbc795cb7","datavalue":{"value":{"entity-type":"item","numeric-id":2065541,"id":"Q2065541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$62C90BBC-7DD7-4239-BE88-F179220A8AC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165506$142DCBE4-1CBA-4A85-AFFD-13088BFB9134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$012D5871-90E1-4657-89DD-15A29E27D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$6796DDB6-AE07-4651-9043-12CCADA8A612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$AE5A38E0-1C52-4FD3-B95D-CEB3C2D73563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04de3b0612106ff778cf1eeb2edcad31ce33e6fd","datavalue":{"value":"7573717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$8DF55A15-533B-46BE-8924-73829CEF6305","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165506$10565DB8-AE78-4DF4-AAF0-237297CD071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165506$0CBDACC3-9E33-4A6D-BC6D-02498B71C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165506$8FEEF6DD-80A6-4E8C-8C75-98B334F5F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165506$FDDC79F6-422C-42B4-A9A0-908C0DDB89A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29190c9bc7b278ccf8af996a8916ca328d37ae47","datavalue":{"value":"Simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165506$32202306-67E4-4095-8A8A-9C600DF7D284","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":"Q2165506$9D9C5F2E-8D12-42BE-ADC7-B583904E3E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c739e9a7c7bf28db6e5a11f3b29cbe5143f6f02","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165506$33D00334-F118-41F5-A818-807359C45F88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0bc2ddc1f224cf7e5e7f106044f0a39a643525b","datavalue":{"value":"W4285281393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165506$8ACDBC41-6EE2-4897-A57B-4485750FB6B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$FCAD7332-CD6F-4F3C-AA38-29713A1AE20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82613031e78fe17d1896ff9521cf24a8fb9342d9","datavalue":{"value":{"entity-type":"item","numeric-id":2960399,"id":"Q2960399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$749976AE-5C10-4D91-BB6B-771BFDF8F4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$65ACBFDA-41E3-4B80-8E0D-DEBEA1B83DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd4e64d719e186492ef22f63cd9386146476c41","datavalue":{"value":{"entity-type":"item","numeric-id":2842627,"id":"Q2842627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$E8E89019-C73D-4EAC-AECF-9D62CBC6CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8f2385293901adc75b35a7f659d489aad67c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4249565,"id":"Q4249565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$1AE03F1F-416A-4D8A-B3C4-97A68C6AB4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c87de0d9f4d3c7b749cece4a80bf1626cfcfe4c","datavalue":{"value":{"entity-type":"item","numeric-id":5881449,"id":"Q5881449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$DC941988-2963-4939-AE63-34762C66300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$FA8F48D1-E8FA-4F2B-9000-925F86345ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$43E1FCA1-7640-4CBB-8EA1-4C4D663C384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$BB9293F7-DBF6-46B5-8B95-5FABB98FB8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$DA96CA57-0BB2-420E-BC56-E2718F5E7F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165506$7F851BA8-B54F-4F24-80C4-6A0E2734A3AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdbf452eae1f1b17367ab8d3c3679ea07514c843","datavalue":{"value":{"entity-type":"item","numeric-id":2152875,"id":"Q2152875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0579a0a7f1998a367957c56a9d1e8d1d30bb46","datavalue":{"value":{"amount":"+0.8773881","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":"Q2165506$172BD347-65DD-45D5-B81A-DC14345469B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cdcd9791fcf0315ecdf3371068f124a457984b","datavalue":{"value":{"entity-type":"item","numeric-id":1801470,"id":"Q1801470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6678997ffb37a279da1744130e91f2de1a637c","datavalue":{"value":{"amount":"+0.8746423","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":"Q2165506$0FB0C94C-7FB7-4001-92F5-2B08AB5F53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a130a4288260334ac89eac7d4b2f2e7f869d4843","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbb3d1f8c55e1b09c8d330b312550cbaed09eb1","datavalue":{"value":{"amount":"+0.8722823","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":"Q2165506$5F0A1C70-5502-43CA-8124-7807BDE2D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7419fd89f3a0954175d442ef72016c50e93d4aed","datavalue":{"value":{"amount":"+0.8694018","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":"Q2165506$15BDDD7E-0645-4298-AF1B-8871578975E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba145ba3c4b810a408e7bc0574f46dc578e014f3","datavalue":{"value":{"amount":"+0.8693775","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":"Q2165506$DA36B0F3-6290-49B2-AFC5-14DA47150289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a1d7be5e629ea9bbc316a3c17c5ab78a486d","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6b04cf8f5be6239ff1702b91c384171da24485","datavalue":{"value":{"amount":"+0.86409885","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":"Q2165506$D83EA3DD-40CD-44C2-8AA5-5783A5A497C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165506"}}}}}