{"entities":{"Q6487689":{"pageid":14066458,"ns":120,"title":"Item:Q6487689","lastrevid":95315261,"modified":"2026-06-05T08:50:50Z","type":"item","id":"Q6487689","labels":{"en":{"language":"en","value":"A probabilistic extension of UML-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7654739"}},"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":"Q6487689$5A001335-13BB-48DA-BD45-8151C9EB19AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47ecb79065327e490f36ef2dd8fb26b091ebc2f7","datavalue":{"value":{"text":"A probabilistic extension of UML-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487689$1188A38E-62ED-4B41-9549-AB6E52B3DFE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b590ebafa1fa2f959363408b18caa116033e3ff3","datavalue":{"value":"1518.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487689$D6481A69-420C-4970-ABF7-22C9FB49D502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b1493835f91b1d012dbfc03e3581de3b843b739","datavalue":{"value":{"entity-type":"item","numeric-id":6487688,"id":"Q6487688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487689$4DE8E5ED-CC34-4DB6-88EF-621E8C976DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"096077f6a08b10bb45cccb656e516b8f995c2433","datavalue":{"value":{"entity-type":"item","numeric-id":626746,"id":"Q626746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487689$52174463-ABBE-4FE1-B37C-28274136CAA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef2fd883b01755cd57ab23deef854db4dcfb2dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4557308,"id":"Q4557308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487689$40061A26-7821-4C19-9EC2-6E2CA16D931D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396d6589ca4ee5b017db072a4b7a874460ed3465","datavalue":{"value":{"time":"+2023-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487689$64A17E7C-9608-4454-AF4B-D5B28B2C31D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487689$A4E775A7-7E6E-4AC3-82BF-E4840EF53327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487689$8C9493A9-11AD-4C8C-BF35-B9B258D05860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3e31c996dec938e6b631f5b71fd6f00c3d0c218","datavalue":{"value":"7654739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487689$81B9114F-A662-4DDA-A852-7817C08393A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"405e8dca85c9f257b2feb22c7b6ac0bdcbc30da3","datavalue":{"value":"UML-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$11C24245-4765-4D0D-A7B3-3A18328EE6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$0CFE6F46-3D84-4C08-A911-4B64C249E08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$2DC4A3B3-FB4D-4E4B-BE7F-EA1EEAB2150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e19f2d89af2636ac704438692086cee44b23c4b","datavalue":{"value":"interval probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$E386B006-1B64-4CA6-A538-C4407A0E81DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9fec8b13843d150a0eeec095b17bcf90cdb778","datavalue":{"value":"stochastic delay","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$43446147-F362-4816-A5DA-F8C24D73CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae25a9f1a0c20972ad0e26cdf54b20dd46501f1d","datavalue":{"value":"probabilistic model verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$0965EC42-9470-44A6-94E1-CA14F4B190DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e59745bfd7cc15db2f1ab22df8c508e5dd14111","datavalue":{"value":"MDP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$4380DB82-B4FF-46A2-948F-47555A36E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f993c3800a604c1a6a8399ee198a430237187fba","datavalue":{"value":"PRISM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487689$86CECAC0-C4AF-431E-8887-A31A3C3CD75C","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":"Q6487689$AB170DB8-01A5-4D1C-B250-50E117450DD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17bb38a3c4b0e09725ffaad52b8c30952496d7fd","datavalue":{"value":"10.31577/CAI_2019_1_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487689$DAA4A9A5-5F71-49CE-BAE0-50002267D53A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cccbb0d03275d990e88afa798c6846a1e2b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5392299,"id":"Q5392299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8093539407710846190266660e9c7b0e6028bd0","datavalue":{"value":{"amount":"+0.8561326265335083","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":"Q6487689$C8666A8C-0460-4FA4-BAC0-2789BBAA4D0B","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":"4103db7e591318392689a81c96437783f7337aee","datavalue":{"value":{"amount":"+0.7663412690162659","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":"Q6487689$4D99F521-E90D-4EE0-B51B-EBD62E86D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8601a13b0a78410559e032867c7833a65ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98b61aeacb796f28968f58e7661c23c16f8fb85","datavalue":{"value":{"amount":"+0.7481464743614197","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":"Q6487689$19FB3367-B9D1-4C1F-8EB0-3B6373DE0525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e271d318349fac2871f49674f2cea2fe25727","datavalue":{"value":{"entity-type":"item","numeric-id":4436971,"id":"Q4436971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c25fcfb43bda40d4d6148c4cbb926b972896a02","datavalue":{"value":{"amount":"+0.7278435826301575","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":"Q6487689$E84380A4-112D-4246-ABF7-181EC0EAB3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e585de45193b79dcd3f48b2b35b9223561c1ce","datavalue":{"value":{"entity-type":"item","numeric-id":4436969,"id":"Q4436969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c25fcfb43bda40d4d6148c4cbb926b972896a02","datavalue":{"value":{"amount":"+0.7278435826301575","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":"Q6487689$DA50626B-DE38-4244-B8C9-19F5085A74B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A probabilistic extension of UML-B","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_probabilistic_extension_of_UML-B"}}}}}