{"entities":{"Q764289":{"pageid":766138,"ns":120,"title":"Item:Q764289","lastrevid":64161045,"modified":"2026-04-11T18:03:04Z","type":"item","id":"Q764289","labels":{"en":{"language":"en","value":"Branching bisimulation congruence for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014288"}},"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":"Q764289$7FDE08D0-3E5F-4CF4-806C-234322181C87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95424bb56379c26e3767ad11988d534dae72b371","datavalue":{"value":{"text":"Branching bisimulation congruence for probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764289$E4561C5E-C392-4588-88DD-ED118F0170BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c78088f00e2b0b49af351c32d7d389d4e81c7909","datavalue":{"value":"1234.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$3C5EEEC1-450C-491D-A73D-4D275DB49DED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16005753db8d274fdeef9a295ce92917824fddd","datavalue":{"value":{"entity-type":"item","numeric-id":764286,"id":"Q764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$5144B89D-32DD-4E17-9D1C-21BCDA4F5006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01618408978b58a5ce1a7615c8f65fc597efa557","datavalue":{"value":{"entity-type":"item","numeric-id":764287,"id":"Q764287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$F89C385C-96C9-4434-87D0-40265BA9CC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7682ec469886f24d2f5d573d128a429f22c994ac","datavalue":{"value":{"entity-type":"item","numeric-id":764288,"id":"Q764288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$5AEDC302-669C-4A5E-A0A3-EA9134C6756F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$5B149ECA-4164-4B5B-BAAA-1230C0ED738E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764289$087E6047-8EA8-4C9C-8B7E-C2BE4E3359BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$C327E1FB-EE62-4E04-86DB-DA407F341434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$1AE3C315-5D7E-42CD-9D4A-CDD2595D6433","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718e0a0eb47db0a584398be241df707cde4a41cd","datavalue":{"value":"6014288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$843741ED-8147-4BE1-9D38-5AE32BED4EFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$C2C023F0-C384-465B-886A-F529C9D73132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e53754f3e3d9f17a396d5ae8def89d23e1611b6","datavalue":{"value":"probabilistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$8D70FF3F-8FC3-491B-9777-60E49C052BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8f3f0a2f41e19d37c2eddcb9a7fd0e7b13f4a2","datavalue":{"value":"nondeterministic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$B36324B4-34AB-4C28-A94F-B09148E27E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$0ACC6B83-0333-4D91-8A15-DEAB862794A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$B07557B8-21DF-4BA8-9C9E-C35C1E1A7563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q764289$920F3F3B-BE4B-4351-A0CC-BB36DB9630D0","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":"Q764289$6E1C0B6E-D33D-4B3E-970A-02208EB39274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6b4423b956b83c308b6f6a2bb9843c2d8bc704","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.07.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q764289$1DA20023-A2CA-4FAA-A085-50F4FED384FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b0206b3b56aba3c6b9a3cf43fd8d99f13edb780","datavalue":{"value":"W2020876738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$807802E2-F96C-4C9A-AC28-56BAFA864B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$2D25A860-C817-4E46-A7C1-240346781C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$674BAEF6-EDE8-4ABF-B9B8-5AD6ECFB7674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$CF4870E8-EC02-43D9-9F03-A1AD4EF431EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$B9F1A18E-33FC-43D4-9C2A-BD8B5648E63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$2E3ED97E-2282-46BB-A235-7706BAFF6029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e9d0ebf5abf69d8dd6565593a2e2426dcb200","datavalue":{"value":{"entity-type":"item","numeric-id":2491633,"id":"Q2491633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$494B8C41-4936-48BE-BEA0-500A0258D75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$C463F28F-FDCB-4463-A7D7-6A9FB6ED58AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f7addb5367552849614d1ec1a6717c11c7f09","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$05133149-E83C-472F-8971-970901CC9DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3cb8f5806bf7f2bad3b68fc4f27fa09834aa01d","datavalue":{"value":{"entity-type":"item","numeric-id":3519383,"id":"Q3519383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$A5DDA539-7EBB-4884-A6A5-9CC97875A6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0eb5674f5aee2d2425c47370db13662fd90f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$D2172EB5-B99B-4EF5-A533-A37D982D3C44","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":"Q764289$F293E68F-32F4-45A3-B6E1-FEB11B4299F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$8F85F10E-D89D-4B4D-BC37-0D4D01C9278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$C8592725-824F-4CAC-BF0C-F7504E4D8EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$3E697E84-869C-489B-910D-E827C9FA7B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58d63a2b56cff568cb61a05c2e695ff3a15767","datavalue":{"value":{"entity-type":"item","numeric-id":5415667,"id":"Q5415667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$19114BBB-8A5E-41A2-B264-AEF0A56080C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21343c34e2ab8c20ef0fea79939b521957ecff7c","datavalue":{"value":{"entity-type":"item","numeric-id":5897487,"id":"Q5897487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$EC6C5EB8-01DF-4E4B-B22B-44347525435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7f41066e9f4c31755bb0d6f58077d78d50178","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$4CF0F54C-68B6-423D-97B6-0428BC886E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98877ebc8fc2d0c14ca462f0ae5ac79633bcaa76","datavalue":{"value":{"entity-type":"item","numeric-id":3599065,"id":"Q3599065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$6168AE45-DE62-4036-9DFC-DFDE3B5CAC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f649828151c3d4d4d87701c8706c7e4172427159","datavalue":{"value":{"entity-type":"item","numeric-id":3636862,"id":"Q3636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$6D4C69A6-B119-4BF4-A554-85C23B4024C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$BB2C081F-1403-48FE-ACA6-965C9E8F173F","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":"Q764289$B11815F7-5D76-4508-9F59-D421E9D97461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$74AD26AF-EFE0-49A3-8B8D-93E813C11BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$88669046-9B54-413D-92D0-4554412965E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$537283AF-CD25-4056-9ADE-10EF71BD2183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$195D5064-6150-4439-8738-055FE9FDDBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764289$22F98CB7-4BB3-4994-A8EF-45BB2EE1E566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66abf346b603ea8822ba1051203a652355c7de4e","datavalue":{"value":"10.1016/J.TCS.2011.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764289$79FEC992-9194-406E-87A1-09618A6E5ACF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41003ea8d4b487b067798c7a7ca8c19bd3cfeb9","datavalue":{"value":{"entity-type":"item","numeric-id":5415667,"id":"Q5415667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d0b4eb2849cde1ec6b80cb241ca66f2067dcc5","datavalue":{"value":{"amount":"+0.958343744277954","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":"Q764289$2FA3E327-9B21-420F-8BE5-FDF06257D1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b839ae9a8c9f96dd6824a64a60e39664472dceb","datavalue":{"value":{"entity-type":"item","numeric-id":2491633,"id":"Q2491633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1074609877f8de1fc43d68d18c5d0457dde3a8e","datavalue":{"value":{"amount":"+0.8832939863204956","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":"Q764289$A3108DB9-8F5A-4C32-A3D2-27EF80E8AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61ed46f73999ff1c62562bb5af8e3fed2d88837","datavalue":{"value":{"entity-type":"item","numeric-id":3599065,"id":"Q3599065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae21a6b3f43436e8ea8e294f0ac07fe512430bb","datavalue":{"value":{"amount":"+0.8452989459037781","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":"Q764289$FD993B41-A9F2-462E-B82C-40BA99EA23E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc01bf4f87e395e8f4e7392f50e192653225eed9","datavalue":{"value":{"entity-type":"item","numeric-id":2848135,"id":"Q2848135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c5998da8448e70bb1127c48f02e55c6cf63617","datavalue":{"value":{"amount":"+0.823456346988678","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":"Q764289$3D7545D2-0747-4CFB-9035-BB9F1259F0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2a72d74916aaada3a92494cae543a4a3b26631","datavalue":{"value":{"entity-type":"item","numeric-id":2007735,"id":"Q2007735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b390342efc93524044fb6a0b70c61bf44670c347","datavalue":{"value":{"amount":"+0.8192577958106995","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":"Q764289$043501B3-0C23-4FF0-A888-1BC4297A4543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching bisimulation congruence for probabilistic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_bisimulation_congruence_for_probabilistic_systems"}}}}}