{"entities":{"Q2912693":{"pageid":2923418,"ns":120,"title":"Item:Q2912693","lastrevid":44728776,"modified":"2025-11-25T13:09:56Z","type":"item","id":"Q2912693","labels":{"en":{"language":"en","value":"Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086192"}},"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":"Q2912693$AF3D6F69-5A06-4F60-8007-192E6D480565","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"581a09288f4906b903af65ae002306e0e834cdd5","datavalue":{"value":{"text":"Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912693$5768EE0A-F58E-4DB3-9993-2F0B192A9C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5cce5fad055068bad7bbeef993858f45bf34d58","datavalue":{"value":"1364.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$1E17B97D-B23F-4085-933B-1657A5D4C403","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32b9322df385f442ded57c57475e40c7dd0ae917","datavalue":{"value":"10.1007/978-3-642-32940-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$B29E1E87-B246-4C2E-8822-CDAEA3F3361D","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":"Q2912693$F31E8923-F77E-4733-8A14-E2310F63C8C9","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":"Q2912693$CE760931-C149-4249-9292-6E806E54CAC5","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":"Q2912693$A11432F0-4E11-44F8-8549-F39B4EEBE8EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912693$BD6E295E-75E3-45D7-A051-2C2BBD54B7BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$39E7D940-86E3-4564-ACA5-76D3DA875647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$4325FD6F-9001-430D-BFE2-36E68E2B45DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$66C75E4D-8AE0-40F7-AC70-C5E170C57957","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7e3defafc7c5d4cbbddb1a87e3d5ea77a27e2aa","datavalue":{"value":"6086192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$0539E159-A84E-4F69-91F9-0BE561C0361B","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":"Q2912693$F3971C76-097B-4BA2-B650-DE3555AF28C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3cbb68ae6d58ac5ba1570f168932eaa1eae33c3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912693$AECB5C31-6D5F-4E41-BCA7-83F03B46BBD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35d606e1121f072126842a5de541858fa5781264","datavalue":{"value":"W1752709585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912693$6AB2E0EF-6A63-42A6-BE95-6E5D0D29711E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fc185b534b7cfd9fe5bc72f57b21c8745ce915","datavalue":{"value":{"entity-type":"item","numeric-id":2873666,"id":"Q2873666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d613703031611f8053b120e9a44aa3a2e31feb5d","datavalue":{"value":{"amount":"+0.95613796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$E34EEC20-614B-4FE8-AEFB-936CFEDFA6CA","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":"fef17604229d1da58cf42921c40b1fda57d3c712","datavalue":{"value":{"amount":"+0.9176643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$E5E61218-4391-4344-8D61-AE7C76BC9B69","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":"fef17604229d1da58cf42921c40b1fda57d3c712","datavalue":{"value":{"amount":"+0.9176643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$CD21D229-BA0A-4A38-84C8-F5D5956F6A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcd32ab3ded823123139659606dcf2694368238","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad95770c59a6e348fd87daee85fa685246faed1","datavalue":{"value":{"amount":"+0.9090103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$EB56DBF1-05F8-42A9-8025-7DB237C41F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4905eaa37afdc8da4a52871d57274ea671d963ed","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2079796129b98573d2b7994bce423a84377e18f","datavalue":{"value":{"amount":"+0.9089342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$37591555-5505-4FDF-83D3-500421E5FCFE","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":"e8b0abf1849dc66ef8aa236d19ff22085d95c0be","datavalue":{"value":{"amount":"+0.8909289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$C4C6A53F-888F-4216-BC51-B12D8377384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed33cfd8809c50b348cba3ab8f091518f472c6","datavalue":{"value":{"entity-type":"item","numeric-id":4989395,"id":"Q4989395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e2226b680258886dc3611e1dd5bf7e3964fb21","datavalue":{"value":{"amount":"+0.8897158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$C3AAFDDA-365A-477E-B71D-ED9D21D595CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80af6bd10a9423ae358ab2c90c400de7946908e3","datavalue":{"value":{"amount":"+0.8849225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$F38C1FDB-1C09-46B8-B727-C665296766ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666a987818cc50da64f496ca6b7ff209b595a498","datavalue":{"value":{"entity-type":"item","numeric-id":5094151,"id":"Q5094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172966058d2abacec402a1899d086f482223b525","datavalue":{"value":{"amount":"+0.88151443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2912693$BF9AB6B6-0865-4417-BCBE-0134116FCFE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912693"}}}}}