{"entities":{"Q5881449":{"pageid":7911000,"ns":120,"title":"Item:Q5881449","lastrevid":41809875,"modified":"2025-05-08T14:46:16Z","type":"item","id":"Q5881449","labels":{"en":{"language":"en","value":"Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661917"}},"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":"Q5881449$287C658C-DBA3-41C8-9400-E0DE1BE810CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc532fc8591df2fa8abfc597a91fd0df1f14df1","datavalue":{"value":{"text":"Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881449$BC298593-9831-4F9C-BDE2-EEC602B1C3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5234e3d744a58105c1c3bd2b856b4041833d836e","datavalue":{"value":"10.1007/978-3-319-91271-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$85A6502D-1B7B-4579-9635-E86B18ED4A78","rank":"normal"}],"P16":[{"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":"Q5881449$BE961243-A004-4066-9E07-60288D46B663","rank":"normal"},{"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":"Q5881449$A943506F-5408-4BFF-BB67-DC32131F3AB9","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":"Q5881449$7068620D-2DF6-44F8-BCD3-8133E8E892EF","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":"Q5881449$601DC1B9-446E-4E33-9F75-24076851338D","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":"Q5881449$6F1A671C-401E-439F-8FA9-FEC76064D1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881449$B2656818-F96D-45A9-9503-B8019B5897FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$E27E35B0-9D33-41A6-96A7-BF95A4B534A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$310C1235-2573-447D-BAA5-304F96316ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$AD70B155-59C1-4169-B5A9-1F7FF44C19A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bd083ca0c249eea8cf55dbf6f9a3c00b320a143","datavalue":{"value":"7661917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$45E1F169-ABB6-4BCB-BE5A-79E16330FE23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881449$10A96E9E-2839-4EE6-92E0-568F28A87BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881449$848E2862-2971-49C9-A697-6B6463F9CAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2907b2463730ed7d33eb3c4ec1feba8f7d41150d","datavalue":{"value":"hybrid programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881449$F2FEFB7C-11CA-4B9D-B718-A28C4189561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881449$A64C0776-3926-49B0-A87D-05D0523B02A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881449$B1B4911E-1C0B-4B89-941B-1BE4605ED1E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881449$772DC14B-F391-4CFC-95E7-62681C1DDC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881449$91378EA4-DBD3-4D73-8D7A-1E3B015CBE2A","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":"Q5881449$3DF03B98-B7AE-4D96-A067-D53CDE76F4A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b743bb0fd85b54da9e3fce6116b54bd31f6a56d2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881449$DFDC884E-730F-4E39-A180-F421557A40A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc9cecd061f89f166122eedd2ed9314f9325a644","datavalue":{"value":"W2800102471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881449$ED0F2E3A-BCBF-4AD5-B3BA-4B2377274C65","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":"Q5881449$15BC0CA2-6030-4B6D-9016-A3C6A00D660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230b7fc18a749f4eebf9b83b210fe499e9046d79","datavalue":{"value":{"entity-type":"item","numeric-id":2398899,"id":"Q2398899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881449$35B6A59C-DB13-4AC6-A0E7-144FEB0E7447","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":"Q5881449$F5961D28-A4F3-465A-9F50-5F778DFC0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881449$91A19898-0D20-43B2-86E8-E7622BE490F2","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":"Q5881449$3930655D-75D9-4389-81A4-5B0ADA5B17D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28652abe018b66b85c986a954e9338efe99d0c77","datavalue":{"value":{"entity-type":"item","numeric-id":6091319,"id":"Q6091319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ddc1c0cbad9775414e6c6ca0c9be02287b5e50","datavalue":{"value":{"amount":"+0.9122076","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":"Q5881449$FFBC181F-7E9F-4243-8C48-8F459A35E39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eda65487c904ff5c6e306b55b6240b3531b43f","datavalue":{"value":{"entity-type":"item","numeric-id":4511265,"id":"Q4511265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc0be44999aea345298f060321cc33f802216e5","datavalue":{"value":{"amount":"+0.8929585","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":"Q5881449$4DF94B2E-2D6A-4976-AB5C-52E1DCE9C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f827069f8467d68dea8fe588feb494ee45e8cf9e","datavalue":{"value":{"entity-type":"item","numeric-id":2867948,"id":"Q2867948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f3f33f8dc3fcbf6ab36f016d42705e0c5c0fe6","datavalue":{"value":{"amount":"+0.8860867","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":"Q5881449$9256B013-5A23-4254-849B-9B31EC73CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a430567e8006a9965fb04c1bbba29ee8ac579f4","datavalue":{"value":{"entity-type":"item","numeric-id":2065557,"id":"Q2065557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2f444c3743071f69f4c826c4f2ff9af302f4b1","datavalue":{"value":{"amount":"+0.8846532","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":"Q5881449$0D434A87-68A1-4012-8DE3-6282917E3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394f0d584c36ab5e8cda987caa9850ab8c995131","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c42a49ddb6a664efda8af91e0499baf8b1c30c","datavalue":{"value":{"amount":"+0.8768991","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":"Q5881449$01185D4D-4EE3-4294-93AE-184321C95BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948e7959fab3121e792bcb50e5c8c2c16986e654","datavalue":{"value":{"amount":"+0.874257","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":"Q5881449$7556A094-AB61-47DA-A261-C7D62A9C9EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881449"}}}}}