{"entities":{"Q2495642":{"pageid":2506385,"ns":120,"title":"Item:Q2495642","lastrevid":49868539,"modified":"2026-01-11T11:12:26Z","type":"item","id":"Q2495642","labels":{"en":{"language":"en","value":"Bisimulation and cocongruence for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037504"}},"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":"Q2495642$0B42A5E2-B7BD-41A7-9256-6E0DAD4AD5DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e28f8bf5e12d67c3ba0dca560de47eae41c85a67","datavalue":{"value":{"text":"Bisimulation and cocongruence for probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495642$F53038A3-22D8-42B3-B781-78C09935EB0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5202f8188f874942ae8e678d96344ba436449b5c","datavalue":{"value":"1110.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495642$4F17F1B9-150E-45A7-B698-2BA0ECAC49A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93999ca0789e250fb0db50708f38a31742036836","datavalue":{"value":{"entity-type":"item","numeric-id":550252,"id":"Q550252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$9D32A7D7-8E69-43B1-827B-898B69C1DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8ddfb0d343fe3cfdb2f7d5a790a7afcf3447f3","datavalue":{"value":{"entity-type":"item","numeric-id":383366,"id":"Q383366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$4AEFBDF9-6500-4D29-A6B5-213437FE3588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c3d605fb8e689b1b551ce77225031f1a4c64b5","datavalue":{"value":{"entity-type":"item","numeric-id":383367,"id":"Q383367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$57BB8AC8-8B06-4F0D-8093-A984667D7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$B8B34179-D3DF-403F-98E6-3BE93E79F6AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$8CCCDE6F-2408-4222-8628-BC173D9902EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495642$831CEDD0-2ACF-4FC7-8523-7BC0873B5BD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67e3b2574051156d72f7279536b2681ca32253ed","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/16870914/Bisimulation_and_cocongruence_for_probabilistic_systems.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495642$B1C4129B-653F-4FC0-97B8-5C2B7D4014EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495642$52420097-7E4F-4F4F-9171-D928D406376D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1dba2cc0377bf32c88a90622f0e2cb1b66a754b","datavalue":{"value":"5037504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495642$17BF8D9B-41FF-4DA9-9931-90C26521C2FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495642$0593D3E8-6091-4D28-A161-F58CF4A1CF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495642$8630ECF7-CF58-486C-8B38-253B2A4D516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a80cb74186b6252b23c8f377acbb08f58a45c86","datavalue":{"value":"cocongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495642$11BDCF61-FBA9-478B-95E7-E6B23C9A0CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cd4086ed938cbec8b3b96e2a58bfa46aef065a","datavalue":{"value":"labelled Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495642$7631E574-42C1-4F70-92C1-2BA5F125EBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495642$96BE4435-87A7-430D-B869-45F41A8E4DBB","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":"Q2495642$A9D27FD7-D122-4D41-B618-DDB8C2968763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899c35d59b2f8e22c0682f5508f59dbf7af5fbd5","datavalue":{"value":"W2078103992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495642$1ED9B006-B22E-4930-8616-F5E1B4E088B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e876b856b3f5d6ef5102ec15c26c3cf32fa56c","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$FEE786E2-6477-4F8B-A0AB-50C40EEB72A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$8DB6F863-E158-4A3A-8093-C320CB11586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$944D2321-65FD-426C-8912-1706DCE555A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$E2E66074-FC1A-4AA0-BC32-1A518CD0760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$555D3101-E185-423C-8558-21E91DA406AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$15CF088C-8538-40D2-AA4D-576BF075FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$E29FB054-140B-44CF-90BB-1D2AE30C47D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53710a99f5a3080f6a602b100ba66d0a10e73bf","datavalue":{"value":{"entity-type":"item","numeric-id":4449236,"id":"Q4449236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$6A58D30F-E4A3-4300-AFBA-F941F164C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5045740bd57765d3dbc2538788e02ec3e8dc04a","datavalue":{"value":{"entity-type":"item","numeric-id":4719350,"id":"Q4719350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$90FBCD6F-1406-4738-8D0F-7A0135DD4717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$36D77135-ACE3-4ABF-AC21-1E0B50C06B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548d853a18eb713f9463402e105feb27bfd6a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3849299,"id":"Q3849299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$79189E3F-2480-4D70-8F46-0526B3385D91","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":"Q2495642$90A695C9-1FD7-48FA-9B17-A7C035D5E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$4B1B28FB-F0CF-46E4-9110-0EF5A5498B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$91548394-4864-4D69-9F4D-BF0F6B389289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$D7837066-C45C-4CB4-8D87-3FD324FE5221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c2550f2044f38e927ec98fa3c402888fe8ba32","datavalue":{"value":{"entity-type":"item","numeric-id":3997813,"id":"Q3997813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495642$4A6C0136-2488-4FF8-92A1-67DF447FF8BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cbbb2ab0ee0ed0a37fcf482c3307c37b415b6e0","datavalue":{"value":"10.1016/J.IC.2005.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495642$F83EFDC2-818C-40AB-82FE-07E02AFD55BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3032a20242225f888f33b509e0b90b350d18d1a3","datavalue":{"value":{"entity-type":"item","numeric-id":5418956,"id":"Q5418956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa19dda81e2d990b40a49cd68a8399b1ad0ec50d","datavalue":{"value":{"amount":"+0.8794932961463928","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":"Q2495642$D04DFD32-001C-4037-8DDB-E46FF596E514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcda1a7af4a80887be9e568dd5296e76f9a480cf","datavalue":{"value":{"amount":"+0.8612346053123474","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":"Q2495642$7F086636-F924-4D50-8DC9-BAA594541A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ecbfdb934fa89752f3ae944bccce7d69590e3bf","datavalue":{"value":{"amount":"+0.8521114587783813","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":"Q2495642$AD81EC5A-DD1E-434B-A972-EE4E4C6646B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abfd2dffbe75ce72d18081d57e6c103491a93e1","datavalue":{"value":{"amount":"+0.8508073091506958","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":"Q2495642$FC8034B0-3F03-49D7-AF27-5BE1DB166C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8373119f864a85a6fefdb88cd4c58b6bed970cc","datavalue":{"value":{"amount":"+0.8123437762260437","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":"Q2495642$959B5B6F-0D7E-48BC-BCBA-138F7F86F04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495642"}}}}}