{"entities":{"Q5758050":{"pageid":7787601,"ns":120,"title":"Item:Q5758050","lastrevid":40741225,"modified":"2025-04-04T13:12:47Z","type":"item","id":"Q5758050","labels":{"en":{"language":"en","value":"Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188983"}},"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":"Q5758050$61DF6779-9807-4E02-921C-49A0DEEDB365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be681b2b43c47b66969809d210fc06352eb45fc1","datavalue":{"value":{"text":"Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758050$4C85AA5B-5F3A-416B-8B60-8388E9239B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59928c3051cac5fa07a07482887353138f2d956f","datavalue":{"value":"1142.68447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758050$4C221C83-A7CA-4869-A4FF-674206D7959F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0aa77a778de88f3c67da77d8dd8d52495281dd","datavalue":{"value":"10.1007/978-3-540-71389-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758050$8F810778-741D-4BC6-97B4-B765364415F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc606a85e3edbb28ecd422fe804367c76e563890","datavalue":{"value":{"entity-type":"item","numeric-id":3518277,"id":"Q3518277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758050$741C3F25-4689-4705-9144-06350D22722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758050$356A48EF-82BD-42BB-9426-A3A9E88B9D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758050$C14BC749-1CCF-4539-A83D-C43C38586CBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758050$6CD28D62-DD3A-4BEE-BE99-87FFC6EFD740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758050$9CA6286B-EF56-4DC7-BAD3-6868F1D01926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758050$1B406D96-5D67-45CB-8A9F-7917CAFE1C68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8e2b872b6c1866ecff17ee8b57ebf8bd8618342","datavalue":{"value":"5188983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758050$8E2ECA82-95FF-4951-8DAE-6FB331A382A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758050$2557B605-D58B-4B0F-9B80-8D123C1E6AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758050$96E91212-0E34-4D1F-A3E0-C2B89E5411CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2c35cad8c239e847b5b6def31b7656801067c5","datavalue":{"value":"behavioural distances","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758050$E6F835DC-0EC1-4FEE-B649-ECD1609F0942","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":"Q5758050$2CD00430-CFE6-4298-A6D8-9055B543CA26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9bbc83c1204af7dd7f347972a566e2ff52db349","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758050$C4B6227D-82D1-45E9-AE81-2ACDCD235A82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cee892190b1939b95fd0fd49402f9b078e39d437","datavalue":{"value":"W1526648666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758050$578ACE61-82A8-49E7-8F52-05D744250BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d81eeed999101d8a10a07f39ff10077e363611a","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$55AAB99F-9AED-451D-A3F5-ABFCE4740F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cbcf3e2216a5e83b0a89a8d290d1bc1f4ab3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1660766,"id":"Q1660766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526807643b3fb556bb5cb81917141f7d0aea145c","datavalue":{"value":{"amount":"+0.9326408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$222EA7EB-AEB7-4FB6-AC9F-19FA95A68DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc64d3a8556ab232ad15971be3a27771b43648b","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b85a6db86e7942226bcbf9661cf7d511f113e6","datavalue":{"value":{"amount":"+0.9019346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$5D7D6C4A-C703-4E83-9161-78D374132E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc4633be05f345286b1ff994f1f372c2d0593e7","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4012708697f64f34ea86d11e8ca6a57d58460c67","datavalue":{"value":{"amount":"+0.8689235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$053AA4C9-F945-48B3-83C3-F5A29BEF7C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f060553801a9d34eab84f4ea7518f6c30c418c","datavalue":{"value":{"entity-type":"item","numeric-id":351739,"id":"Q351739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2a053cbd47fe5d0bbf866d2afbfcaa8dfbd203","datavalue":{"value":{"amount":"+0.85373205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$8FD3887F-563A-4796-A97A-2CA6DCA124E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678ca67997499290c8253bae490627518318ca5b","datavalue":{"value":{"entity-type":"item","numeric-id":971582,"id":"Q971582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfea40adde38555948e72656ef8e8d452160246","datavalue":{"value":{"amount":"+0.84177125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$ACB0993D-8892-44D1-B60C-581A360CE1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c776aacb6e5caecd73c6df107ccecba759089bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3520073,"id":"Q3520073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba37f120743cf82d2fb87e3f25de9f95e8d25cc","datavalue":{"value":{"amount":"+0.83660203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$CA8706C8-7010-4608-9CF5-8AEAF3F8E638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2dd124f2bac4be5f14138b3cf3d60a726ef0abc","datavalue":{"value":{"entity-type":"item","numeric-id":271706,"id":"Q271706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a891ccf534f5c4f5856ae74879fb1711f95267a","datavalue":{"value":{"amount":"+0.82956153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$A89D805C-9E0E-45FD-813B-8668C400DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f76da371b61d3ad336b344068cd6bdd8678e14","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33371d87fdc1697a5acadc2f33be3ee2ad5fef1f","datavalue":{"value":{"amount":"+0.8273114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758050$76B38015-EC83-482B-A94A-8B0A20C31249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758050"}}}}}