{"entities":{"Q2165497":{"pageid":2176240,"ns":120,"title":"Item:Q2165497","lastrevid":54384611,"modified":"2026-01-26T17:56:28Z","type":"item","id":"Q2165497","labels":{"en":{"language":"en","value":"Empowering the Event-B method using external theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573712"}},"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":"Q2165497$C44E0260-880D-463C-885D-5B600788F620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b13b1a36b05f651fa99ec9f1e442d358cba30137","datavalue":{"value":{"text":"Empowering the Event-B method using external theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165497$F8C00F22-91B2-42F3-BCC7-E4710BD4D798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"354081ad77c6c075211b0dc49f12369eb4bc7bd9","datavalue":{"value":"1502.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165497$C1716FE0-28FF-4CA2-920C-C688F1C40D2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37c5c29380d47098feff57278d5e1e32268f525","datavalue":{"value":"10.1007/978-3-031-07727-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165497$B8613646-05A0-4234-9003-5DE0AAD86EAA","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":"Q2165497$553F726B-C1FD-4402-B347-6366D4F1257D","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":"Q2165497$FA589D45-1296-48F6-8B09-1FA146DAE548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70ae4b89472d13bc2b4e4794da36d76c9bd4483","datavalue":{"value":{"entity-type":"item","numeric-id":2165495,"id":"Q2165495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$BD560D0E-F05E-4FF2-A88F-FE206D4814F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$E8F3F26D-3699-47DD-B1B4-EC1E1C001259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947999c367037277243554e8f44908cab3697255","datavalue":{"value":{"entity-type":"item","numeric-id":2147211,"id":"Q2147211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$2B25E6D4-E150-42E4-A65B-158E1ACB9B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b04326a978c054813a6af5063ced2ad76aef5236","datavalue":{"value":{"entity-type":"item","numeric-id":2165496,"id":"Q2165496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$CC6AA787-565A-42D0-A204-A34911837F12","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":"Q2165497$352EEF6D-E869-4B4B-8773-766634DFC5AD","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":"Q2165497$64AD2362-C1DD-47BC-B288-1FD5F5F5EB14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165497$0266436E-38EC-4438-9C5D-01C4C3638F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09f5fb0abfbe0a71f34774aa5fa33625e0eb600c","datavalue":{"value":"7573712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165497$D9F99FD9-BE49-445B-B8DF-CD53E073618D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4173794148e6fcea2d0e764b026e232922b86575","datavalue":{"value":"state-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$FFAAB2F1-581A-4B8E-B05C-975B083AF3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7246e8078e59a91430c85305ee8541b44668f61","datavalue":{"value":"invariants preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$58C279C8-3508-4D3D-AE81-551ADEC5F14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47bf8e4f5716b4dd4f9c8a95af684cd577b82137","datavalue":{"value":"partial definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$74A4EEA5-9A18-4045-9816-8E78885C0090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22285acb89577493e99c57450bbd90a57a9e333a","datavalue":{"value":"well-definedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$DEF22A70-AA8A-4F7E-BEFF-75439683F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$4718857E-9702-4505-B5B2-4B2A2DB71D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165497$222B0D2F-EE75-4585-8B42-07B56ECB25F6","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":"Q2165497$8E443AE4-C459-487E-9B94-805DBFD9572F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af5c8c06bfe7ecef232e982b53f7ebfebd485040","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165497$CC3539F0-CE0D-4A2C-B9EC-0B7F3A2D1494","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b25e5b65720d4850e1a5a178b1379b57a50ca8f","datavalue":{"value":"W4285159108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165497$09F76F37-7037-4DB0-BF5B-475E5498358C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$0EE16CFC-097F-4221-B33A-59E2C3B14893","rank":"normal"},{"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":"Q2165497$087562B0-177D-4303-848D-C6F16BA594AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8db0c9d2e475257c3fad4546177506b22344b3","datavalue":{"value":{"entity-type":"item","numeric-id":4472186,"id":"Q4472186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$F2D6AEC9-E612-4A94-B569-FC0B7CF0929C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$C120B238-2559-4291-BBBA-D914A016709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$F6651DD5-57AE-4FF2-AA71-C9D493322952","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":"Q2165497$DE2DC55B-75EF-4FB4-955B-B858CD4D5549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$7061D4C6-222C-43E0-886A-E263CE9175C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$EAE0EBCE-6FE2-4495-9A6E-97143C74BE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8759c82da408d5f49d7fa96e71bb17356286a564","datavalue":{"value":{"entity-type":"item","numeric-id":918207,"id":"Q918207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$8365B2E1-DA4B-4871-8CD7-1C191198A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$9F8F99A1-D719-496E-B190-5B7AF6EB447A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27174185c00785f8cf8e4c769265c573b80f05a","datavalue":{"value":{"entity-type":"item","numeric-id":673461,"id":"Q673461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$37B9B5E3-D07C-4DC6-BBE4-67CE2B5650DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0098a5fe2361769e56c2cf3f68bbb09f228b1905","datavalue":{"value":{"entity-type":"item","numeric-id":1338893,"id":"Q1338893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$2F834696-6571-4761-B846-6D61FAFE3C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$9EE31C20-CAE9-4B88-AD18-24C5D275DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165497$66233252-061F-4E07-B7D3-3D6A424CCD67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a466a7e069df0a9ae10a21b7ba92349a11cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":5045389,"id":"Q5045389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b3f429d264731875c67e1ba91404dfea8c9cd5","datavalue":{"value":{"amount":"+0.7154710292816162","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":"Q2165497$0A4228EC-27B4-423F-989E-9DB7923FDF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643eb9fb141480ce9f216570d2730d531d156056","datavalue":{"value":{"entity-type":"item","numeric-id":3535369,"id":"Q3535369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa44e9b7c9c0671185389ea138b2e52fb03c3db","datavalue":{"value":{"amount":"+0.7029072642326355","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":"Q2165497$716E1911-CA83-447A-BFE9-BD4521398828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7984c32cdc5c18e72e186889632eb2aed8013e06","datavalue":{"value":{"entity-type":"item","numeric-id":539230,"id":"Q539230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6f150c9552a942533b52887c47b210872e94f7","datavalue":{"value":{"amount":"+0.70238196849823","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":"Q2165497$6BF611FB-62FC-41E0-BDB5-B248BC77E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ea74d8cc38401804b0f4418fa62cad1c586e70","datavalue":{"value":{"entity-type":"item","numeric-id":432154,"id":"Q432154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf70ff0a9d6e4bb773b9c1bfb67a32428c07f15","datavalue":{"value":{"amount":"+0.7017844915390015","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":"Q2165497$D7F88159-00DD-4939-9FFE-E052FBFBE97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55510c286d731f16f6df0ca57db5a082702170","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7137de1d2d00149d9c81b06c0abd8f576212c957","datavalue":{"value":{"amount":"+0.7001134157180786","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":"Q2165497$2C808AED-DDDE-4049-AEFF-376174CAC930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165497","badges":[]}}}}}