{"entities":{"Q6041138":{"pageid":13173350,"ns":120,"title":"Item:Q6041138","lastrevid":93738722,"modified":"2026-06-05T05:00:45Z","type":"item","id":"Q6041138","labels":{"en":{"language":"en","value":"Deciding probabilistic bisimilarity distance one for labelled Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689238"}},"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":"Q6041138$C22CB000-A91E-4FD6-BFCA-0FD9BD1B7FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd70c5aa96b7026c8429cc149a4aaa74622a4461","datavalue":{"value":{"text":"Deciding probabilistic bisimilarity distance one for labelled Markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041138$0E9701F9-4465-4871-83A2-2703B39B7889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30cccf51e5ef79c29d1c03f21a324950d0ad21f0","datavalue":{"value":"1511.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$17ADEF35-1816-4728-BD95-C630A7AF4324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6349873ae109efcc002884d7061218a520ec74e5","datavalue":{"value":"10.1007/978-3-319-96145-3_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$9360DB34-9213-4C85-9414-3288A217BBC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca44c5994cb111f050322327ec89feec3c367f86","datavalue":{"value":{"entity-type":"item","numeric-id":2306847,"id":"Q2306847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041138$A14EDECA-721A-4472-842E-551723B45322","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":"Q6041138$7BD6A787-222A-4690-8551-E0AD439FE95C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041138$5C1D687E-1C8A-439F-8144-55F7289E026A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041138$CE66DA1D-9B81-4339-8372-739CDA303F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$36A4C0A8-DED2-4972-A41E-3E7905F43712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$ABBE9A70-6D18-4010-B78C-3DCBA6D75204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44bcc70e1ecde8ad9990ac4391037624bc243d2c","datavalue":{"value":"7689238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$E119190E-F39B-4AA7-AAE9-864FEC4092FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04fd3460b66471450f2abbdb533dd063c384127d","datavalue":{"value":"labelled Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041138$69B91CFD-B1A7-4437-BEF9-AE181A015F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041138$B46C0EB6-0A9E-40CD-9DFE-A92F12A774FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1248363c3b8049bcda7bfe54fbb88ee8f74585","datavalue":{"value":"probabilistic bisimilarity distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041138$A61ADB28-1CD6-47B2-8A12-DAB15177410B","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":"Q6041138$0A962F7F-1E80-4EDC-8721-3352B8C6E990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9e10087e45cc3c42ad5009b63af1a427eee5c6b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041138$D655B332-5496-4913-ADC5-6B2D8EFCD946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cf5c6dce7779ba41621218fad02db03e3c62867","datavalue":{"value":"W2883844381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041138$F0A4E522-D994-48A7-83B7-280C6D95523B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9670ab378f8066a8a55f8e80eb0a2fbec89caf7f","datavalue":{"value":{"entity-type":"item","numeric-id":5111641,"id":"Q5111641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6602643f6d7252c369f00994c5bf475e159acc","datavalue":{"value":{"amount":"+0.9522613","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":"Q6041138$E56DA795-5B9D-4EA3-8779-BCC7B0914F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e233041a8e190faa28022c823688832a2b104585","datavalue":{"value":{"entity-type":"item","numeric-id":4558787,"id":"Q4558787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a0b39c834877d358b959a6cfb53c786948d86f","datavalue":{"value":{"amount":"+0.90815175","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":"Q6041138$02ABD5D2-C3EF-474E-98B1-89CCB00AA501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1192e33cdcc450ccc0e198ae2d0e3635b56007","datavalue":{"value":{"entity-type":"item","numeric-id":6091199,"id":"Q6091199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1515bed1bd396b3a954343b1e4a08a88c2854a","datavalue":{"value":{"amount":"+0.89767486","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":"Q6041138$80283694-6473-42FF-894D-C9499BBC622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6cc67862388efd8cd8ae475c1ef67c5de72d24","datavalue":{"value":{"entity-type":"item","numeric-id":265837,"id":"Q265837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66553a2b856ad2eb74f33566d21966f6f2eb3a96","datavalue":{"value":{"amount":"+0.89504755","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":"Q6041138$81BC4306-D999-470D-A2FB-FF424BECC30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a747d480755398f48218f36f5f0433ae7d7ddbf","datavalue":{"value":{"entity-type":"item","numeric-id":2306848,"id":"Q2306848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114cefc37ca636a8d856eeadc57404b40be3dbf8","datavalue":{"value":{"amount":"+0.8892768","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":"Q6041138$1860618A-1BA9-487E-97C5-ECA1E7E012E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4126cfe0ff7db2dc28d8df0214bb7e3ed7239db6","datavalue":{"value":{"entity-type":"item","numeric-id":5009421,"id":"Q5009421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114cefc37ca636a8d856eeadc57404b40be3dbf8","datavalue":{"value":{"amount":"+0.8892768","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":"Q6041138$E2B5ABC9-B84F-4A79-BE2C-DFC55E26C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da94f0ec9ea676e3cf7513ca2cd2ddfee13234ad","datavalue":{"value":{"entity-type":"item","numeric-id":4608673,"id":"Q4608673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323095844b9523782d8984760de5b098a598b3b6","datavalue":{"value":{"amount":"+0.8816592","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":"Q6041138$053428C1-7CCC-47AC-BE0C-1ACFBAE0DEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9783f6affbee60adcbdd2afb90a4c55b14123ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4635617,"id":"Q4635617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bd12a01bc70152899834a328f931ee743d9ed4","datavalue":{"value":{"amount":"+0.8772151","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":"Q6041138$6B55E001-F5FD-493B-B7F8-96C05FAA20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a891728df5723943b77f7af401f6fac27a3b5b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b278b27f83b634af66826485e787a9e831f0d60d","datavalue":{"value":{"amount":"+0.87079114","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":"Q6041138$0E4287A7-421C-47AF-9001-84644A514E2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041138$0854C60A-FC4C-47F3-ABE4-65BF1B3E0EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding probabilistic bisimilarity distance one for labelled Markov chains","badges":[]}}}}}