{"entities":{"Q903513":{"pageid":905361,"ns":120,"title":"Item:Q903513","lastrevid":65257248,"modified":"2026-04-12T01:21:13Z","type":"item","id":"Q903513","labels":{"en":{"language":"en","value":"Integrating stochastic reasoning into Event-B development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526771"}},"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":"Q903513$804CE7DC-1645-4F69-9D4E-24B02000D3F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40e1ad12459f702bccca26afa14aa6ea216e9ad1","datavalue":{"value":{"text":"Integrating stochastic reasoning into Event-B development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903513$EB057903-1025-42AC-9B19-8640CEE73353","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c299ecd8bc9bb09c9401b2aac3835c5665fde9da","datavalue":{"value":"1328.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$D32E111A-EFE0-4107-B4D2-4142FE5B3A0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4273715611a525797d5d296308e97cf06c9d75c9","datavalue":{"value":{"entity-type":"item","numeric-id":903511,"id":"Q903511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$146513FE-25CB-46A9-A012-C50F2BD22F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e9e19cd46e9e2fac8ddce136109e18511ac2a42","datavalue":{"value":{"entity-type":"item","numeric-id":736908,"id":"Q736908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$8FBD733B-6AE6-490D-943C-E9C7567E3EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"800a6ddeaf69c73ff25a0b999985186f8f391cb8","datavalue":{"value":{"entity-type":"item","numeric-id":903512,"id":"Q903512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$34DF9EFE-AD22-45CA-BB40-58207D55A1B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$9D399E14-9B4F-4C76-B3A7-4302EE0F5BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903513$EF81EE5F-9397-4E34-858D-EC264DFC116D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$ED4E0E92-96AB-486B-B011-0E00D0B26A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$46A6C2BB-FD54-4A78-91C0-9D71D9FA48F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$1B5154FB-F6C4-4346-8E28-A61C89653E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$B8755E49-9989-4C5F-BA1F-E64CFAEAD528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$F04C63C2-54C9-4D02-87E3-FAE2F09C7966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d9a9f49e2d918f9b1218f343e62633fb6b41c53","datavalue":{"value":"6526771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$96A11BB2-41C4-486B-BE89-65296DC77FC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$0146F821-D0E5-4F9F-A4EB-564DEEEF5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$A71DA661-AC54-40F0-AE5D-98A7F0AA70C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$3A9AA545-90B0-4D3E-BCA7-9EC719E71D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$AEE7EB66-3935-42FB-BC25-2EB17E0CE697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9463e6045515e414a07b75dce328d486ac28bb4","datavalue":{"value":"responsiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$8F0ADC2A-92FD-454A-A824-D5876F995718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c3169fd559d04c5db5e98c2234c04c81948abd4","datavalue":{"value":"cyclic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$5D418E3C-D662-46B1-A365-3A49D5F001D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q903513$9DB46F2A-8FB9-4E6D-A1D4-74462E180648","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$D304B5A5-1F97-475B-84D9-D27372D7C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$13807B5C-F913-4409-A13E-66001B757D9A","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":"Q903513$3BF4366D-481B-4003-8877-6BECA71179B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e4a00b519845431f1e78bd0e7d2b951cdcbbda9","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0305-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q903513$1977B421-4407-4972-B509-F464BA6EF3E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f074de337d572939c8a58b8a925ef16b8599b899","datavalue":{"value":"W1990752815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$53922B8A-1DBC-48B0-A8ED-9942A58EE0D4","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":"Q903513$88E305CC-B0D1-4D98-9165-3BC3AEF89323","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":"Q903513$92B3E0D5-228B-4179-9913-FADACB0AD2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$07EB671C-3D1C-41B1-92C8-A325F9CD5399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$E6EB9754-8259-462F-AA33-D74970428DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7856834b446a03ce91451f24e5b0dd139a2c9693","datavalue":{"value":{"entity-type":"item","numeric-id":1941891,"id":"Q1941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$5AA43D6B-AFF3-47D1-BF47-E7E561C66B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a250ea3b95762a4cf4e53b908f544cd041f99276","datavalue":{"value":{"entity-type":"item","numeric-id":3608889,"id":"Q3608889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$B61B7D39-3BEE-4246-9437-EB7F9E663C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83784a6b359821a57b6a856f8070f1b965ba9748","datavalue":{"value":{"entity-type":"item","numeric-id":5307481,"id":"Q5307481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$96BB90B6-6301-416E-BDF2-ED8678A6D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d74dab0af01ff69626bc2be75f3a0d0981b298a","datavalue":{"value":{"entity-type":"item","numeric-id":1395138,"id":"Q1395138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$04933302-521C-4D22-BFC8-CE8402521036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$3B56E9D1-C5BE-4028-A4AA-B81E5BF15B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$7530A860-2918-44A3-9883-7FB6F87A87D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$C9ABEA7C-79A9-46ED-910A-9BB2B3C45FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6250f98396d5c499d878f967aff444cda9ff8d3","datavalue":{"value":{"entity-type":"item","numeric-id":4250666,"id":"Q4250666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$03F2E66E-597D-4F33-98B2-4E0434AA8B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff91fdd17b290644b8158a8f8c228dd3a8f285d","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$0326F170-D261-4000-B783-4B51AB9B50A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1990c53957162605cc559d9c7c9c38af8fddbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":5305630,"id":"Q5305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$1A3DA57D-DBC0-4A1E-B8C8-CAEEA39A1525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02636b645312d58058beea81ee353a399e256cf","datavalue":{"value":{"entity-type":"item","numeric-id":1805037,"id":"Q1805037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$A7FDACD1-2FE9-4624-87F1-D9D9B8D10A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$CF6F419A-FBDF-481A-A19C-DA2457B24B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a9c8bff74724476a9ae598a018cc3b0afbc056","datavalue":{"value":{"entity-type":"item","numeric-id":4939620,"id":"Q4939620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$2A7A942F-1AFF-46BD-AEED-CA12AA969239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1534ffb89e8c07f8476fba5a34beba397ab388","datavalue":{"value":{"entity-type":"item","numeric-id":3135096,"id":"Q3135096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903513$19B8D642-40C3-4FB1-A97C-584FAA2C4F3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e1b4870d108e08083f446d8be931228b36e2b3","datavalue":{"value":"10.1007/S00165-014-0305-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903513$DC1ECE39-22BF-4FB2-B91B-AA57F769BC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d119d47395c0fbef674268e48534c4d80fa4cbed","datavalue":{"value":{"entity-type":"item","numeric-id":2219384,"id":"Q2219384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1ceaea8c71fb949586b5e2de9737318db791ba","datavalue":{"value":{"amount":"+0.7036021947860718","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":"Q903513$0F932727-DF67-4FFA-8B71-782E6FB38737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453dcd3f5c94aba4659ee803c984c4ff77882e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817299,"id":"Q2817299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3e257174f7980810c15cd8051a3c59d41fe16c","datavalue":{"value":{"amount":"+0.7014892101287842","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":"Q903513$EFCD86D7-E7CD-4714-89EA-EE5CEFE84D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692e14a89f592d32d7f34c8de661041aef2a8828","datavalue":{"value":{"entity-type":"item","numeric-id":3608889,"id":"Q3608889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758dc2bb3eb3c4faf43d34a59777c29b489ee6e2","datavalue":{"value":{"amount":"+0.6731025576591492","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":"Q903513$21A0A8D5-94C8-4C4A-A5AE-3388D6357C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc13ca82008d4df5f02cc0e9517cec4cffa4d552","datavalue":{"value":{"entity-type":"item","numeric-id":3608893,"id":"Q3608893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e06b91fd59e44c3833d953aa1c87bb8559c2cea","datavalue":{"value":{"amount":"+0.6686698794364929","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":"Q903513$8B32F15D-0C0B-46AF-88AE-48A5BCD659C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13aca015168c7420e828ba3c8070c3825219f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":633299,"id":"Q633299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f1dce04fb3afeaebb36b88b9348a487f194839","datavalue":{"value":{"amount":"+0.6621566414833069","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":"Q903513$342CCA31-DD21-44EE-A05F-7C5AFE554F5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrating stochastic reasoning into Event-B development","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrating_stochastic_reasoning_into_Event-B_development"}}}}}