{"entities":{"Q2871468":{"pageid":2882188,"ns":120,"title":"Item:Q2871468","lastrevid":58038981,"modified":"2026-04-03T13:43:35Z","type":"item","id":"Q2871468","labels":{"en":{"language":"en","value":"Coalgebraic trace semantics for continuous probabilistic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243318"}},"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":"Q2871468$988C340D-48A1-47BD-9E3A-64134FD15C45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c44124c4350c5d3e2f5d63eda2d4604c0d3751","datavalue":{"value":"1314.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$9043D2A3-9C75-400C-80B8-6415C58D54AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8eb86c9db2096179c526b13ebe18182d4ea137e","datavalue":{"value":"10.2168/LMCS-9(4:16)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$23F236A2-70B2-4E54-B14A-A8BFFB674254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f72cf59af971b375a9b656f4b46ece9a1f8b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2871467,"id":"Q2871467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871468$C3C143B8-CDA6-4F67-885F-6E9E0F5F59E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871468$7F77799D-7CEB-4B2A-80B7-0E7BD83F836F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871468$6B67A4F2-09B2-4738-9B8F-071AD8E98E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871468$8C239ACB-6A0B-429D-8449-80F8E9F7A9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7edf21258dd6d43927bf020602ff1decc5784f48","datavalue":{"value":"https://arxiv.org/abs/1310.7417","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871468$12D197AE-4F0A-4893-B4C5-D63CC1EFC403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$3EBBB9B0-EC6C-46CD-8A57-E5A2142AF79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0ecd49782246b7fab028f912f49cd163073d4bd","datavalue":{"value":"60J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$6541D276-FD2B-4BC3-8C46-D3C42470F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$25446E26-E3F6-462E-8228-8B615DF239FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$D5A24A25-9838-47AE-98B7-87491679CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$DEB6A562-5F5A-41DA-84A8-38ED040DB981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfc765d94bfad5a3166acae46169cb0c5e3880ec","datavalue":{"value":"6243318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$BDB4D3BE-9A6A-432F-93BC-6EA4D27F9D0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871468$F34E775A-D86F-438F-A8A4-77595D48DC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871468$60C59DA9-BFBB-41BF-B632-679B590C719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871468$59A6CCBB-242C-44E0-9AB3-EB22AC28A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871468$26628A28-C084-4EBC-B6AD-6F5902208CE8","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":"Q2871468$C9C8E58A-ADB6-4DDA-83C8-32119FEC3AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a93182852a3bc34bd0fcc84a300704c9c705ec8a","datavalue":{"value":"W2061164145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871468$C8F0CB02-FD35-4787-AD1D-D950C149F8ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bdae0fe355c6994c819c5b69832a3c178b397a3","datavalue":{"value":{"text":"Coalgebraic trace semantics for continuous probabilistic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871468$0B28EF39-4148-41EA-882D-3DA5F6A9E4E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ddbca50e3ed88ed87b84a991e5be38ebbdfd45","datavalue":{"value":{"entity-type":"item","numeric-id":2912693,"id":"Q2912693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec9d475923ca0d57bdd59b63a38b17d5d4983a6","datavalue":{"value":{"amount":"+0.9793857336044312","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":"Q2871468$E5CCA0D7-ECE1-4B3D-BA4A-1F542136BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d20e84dbc175275f547b8e22c89772fad3faf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c71d1d80a06019f49e534e838410eaaa2f86ca","datavalue":{"value":{"amount":"+0.844399094581604","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":"Q2871468$C49C3649-D348-489E-8048-41E34B3C6BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690ccc2866457a133847e39b71902a74e8a290b2","datavalue":{"value":{"entity-type":"item","numeric-id":2863893,"id":"Q2863893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3bacbebf873c662b69f2032eeec69fb67f5fae","datavalue":{"value":{"amount":"+0.8285649418830872","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":"Q2871468$A55F5E6F-98D6-44F5-A8BE-7F3DBA94DE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1daa601c0a91bb76af3b8d0c5acf03e6857fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f43ad54ea083590e0d28d471487b92e9adfed2","datavalue":{"value":{"amount":"+0.8080713748931885","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":"Q2871468$2D39FDE4-B536-4149-929B-AA933326A71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d723fe3b25f4f2d2aea3e813f08f35045a419186","datavalue":{"value":{"amount":"+0.7882450819015503","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":"Q2871468$2F6370F0-4AEA-4F56-92A6-ABD754D1BCB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871468"}}}}}