{"entities":{"Q5325833":{"pageid":7355407,"ns":120,"title":"Item:Q5325833","lastrevid":50725979,"modified":"2026-01-14T23:02:49Z","type":"item","id":"Q5325833","labels":{"en":{"language":"en","value":"Validation of Stochastic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586600"}},"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":"Q5325833$45586063-5B39-477F-AE4B-13183B7CA9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18549eccaf1b75a164fd84b53f9fccd1aa42b02e","datavalue":{"value":{"text":"Validation of Stochastic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325833$65A7BD1A-5E92-48EF-A136-455C412B38DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df65c1e462b718b79548e041a538de6604c4dd0f","datavalue":{"value":"1203.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$CCC1414D-3C8C-4FFE-93C6-8E73C4E08FF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325833$5036B0AB-2381-46F6-A5D5-1BE3A9400F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325833$CC14F698-E21D-4E11-AADE-0474CF418803","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":"Q5325833$A550EBA2-1AE3-466B-827A-70A0D49DE44C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325833$1D5919F0-0A73-48D5-9194-0FF55DA2A0A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$A54A49DA-726A-4A0D-AA48-38A0200B3948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$8AF61788-2654-4F42-89C1-151FEF1988E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$5174FA6A-1FC9-4178-9E0A-E12C2D65B244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf16842e16c7ef748b03feffb8ba90f632cf0ba","datavalue":{"value":"5586600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$81A118C5-D531-4573-9050-E58A12254196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$841BFFD4-50D3-411F-B2C5-D2BD0961E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$4C814987-45DD-4CA3-B8AE-15D19CF1D1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$41EFADE2-9C0B-46C0-8EBC-B19260F8EFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17eaeb0fc5bdf374015b26e1d9eb4ae62352ed36","datavalue":{"value":"preservation and reflection of bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$99FE3B64-8334-4601-9E8F-87347FEAEDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$834421A6-F9F3-4B90-933B-251F15CAC915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325833$F0F0166D-3A54-4BA2-8245-73862F72F8CF","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":"Q5325833$3C593722-386B-422F-9457-23E10FFFB977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d489aadfd4ff7014f7914c7c7d9a80b93c67aff","datavalue":{"value":"https://doi.org/10.1007/b98484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325833$416CE060-6B34-433D-B1DA-CD817DC5DC70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971c459f97c1b472f4cb82f001fd6a82175988bf","datavalue":{"value":"W657718082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$58AF0272-C67E-460A-B58E-C0C987B488AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d464d1b94e5867fad4b8fa82305055ec2be0ba83","datavalue":{"value":"10.1007/B98484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325833$BDF34665-1A58-4E29-A7A3-0E9A04EE2421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fd7b346d9af738264e694b99dce0e32c21caba","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca525cdae5d0c2f3f3e2c39393a7a5967e60d8f","datavalue":{"value":{"amount":"+0.8065917491912842","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":"Q5325833$22875E12-2BED-48A7-A565-6CD2DC8F580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3234484a8a80fd4c4be9d9df43caf58157e3e42a","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609600a6f86b3ff547bf62d55299a18f38018ec2","datavalue":{"value":{"amount":"+0.7963587641716003","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":"Q5325833$F96A15B2-2529-457B-9C57-42490636C1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfab547d55c5c21ded489a129f471ed969063e5","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10187cbb950f662a8e050a28363e99c1e39cffa8","datavalue":{"value":{"amount":"+0.7881445288658142","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":"Q5325833$F53C9216-1B67-4A21-8F19-40FBD652023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39adff99c35e9e34f5e24773ea00971a503541b","datavalue":{"value":{"entity-type":"item","numeric-id":5892065,"id":"Q5892065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68f252146f239a7760fb4c81167c89f6de3ae5f","datavalue":{"value":{"amount":"+0.7602576017379761","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":"Q5325833$A70AAB94-1F0E-4BAD-9257-7DFD79AFD74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496dddf2b6fb6f3fab8e1df53a92f064f4e0321a","datavalue":{"value":{"entity-type":"item","numeric-id":3090825,"id":"Q3090825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190e89884c5e4ece1434bcc3a670a7cca30f1990","datavalue":{"value":{"amount":"+0.7597285509109497","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":"Q5325833$CFFB4140-0C28-4D82-AC94-629A7839B3D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325833"}}}}}