{"entities":{"Q5111641":{"pageid":7141215,"ns":120,"title":"Item:Q5111641","lastrevid":53741294,"modified":"2026-01-25T15:43:53Z","type":"item","id":"Q5111641","labels":{"en":{"language":"en","value":"Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204944"}},"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":"Q5111641$B547744C-526F-4848-9E66-72E29D3D4B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87cc0fd2df33c35283054aeffdf5f38e75cb1aa9","datavalue":{"value":"1442.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$51B4EA79-57A6-4253-A106-757DD35159BB","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":"Q5111641$5B9A2785-D8AF-4559-9966-48CC0F6BCADD","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":"Q5111641$B44E8A9F-E009-434F-8D5A-E64661991069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111641$2223BBBF-FDE5-408B-BA52-ACCBCE6F9058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$2CB9B1CC-96E4-4773-90B3-0FFDC82DF44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$1260D01E-7CE8-40A3-8C59-4FFFE30DDFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$91AA202F-E3BA-4F75-A560-25DE8D73D69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$112F7759-345A-4873-89B7-B98D915DD925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c3ebd479b1975bc028a23428cbcf8ab76484af8","datavalue":{"value":"7204944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$6C10C42B-4425-4C32-B58E-B909C3D00D99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04fd3460b66471450f2abbdb533dd063c384127d","datavalue":{"value":"labelled Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111641$2D5794FA-1B05-467F-BF41-97829725ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111641$9881E96D-33FE-4F95-A41B-A28078B35953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e20b56f758de65f1b5e2b6017592594730f4f67","datavalue":{"value":"pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111641$1F8C9584-48DC-47DC-9C31-D9FF84C415C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111641$2284BD2D-A7D3-4D08-BD88-9F8D57787F57","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":"Q5111641$457262DC-072E-4ED1-8E20-936D0B448C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f7d725986881a438be25713a112fad6dfb3238","datavalue":{"value":{"entity-type":"item","numeric-id":5326310,"id":"Q5326310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$5A84FBD5-27F0-4211-92A7-DB4A2B608787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$A240A591-4C5E-409E-B309-EC8675C1C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa7ab7d7288cf8b7707887b2bef0e09c74d70d9","datavalue":{"value":{"entity-type":"item","numeric-id":4608674,"id":"Q4608674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$3F8CD142-F095-4F33-B158-03A376381A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cbb125a4325b962745ed7426bba0f5ede12ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$D83A8D19-F0C7-4A89-959C-B6C3908B6C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58356e6f02b0944185dc1a29771de60651a3f722","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$E2B925E5-07D7-414F-9CCA-9C47A48214ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$9059296C-E799-4A0A-897A-48C4F62EE26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$DE665C1E-F389-491F-B0D3-AF1DDE236B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059f3dca199d7994c5fa7a4449218cc1872240b","datavalue":{"value":{"entity-type":"item","numeric-id":4287357,"id":"Q4287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$AE5C5840-393D-4775-A530-2A00A316730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$08C47FCD-C1C0-4077-93AF-FBD9F5C62C9E","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":"Q5111641$A47F0394-61D7-4973-AD03-178BDFE60A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46109d90c77f163137e2ba85ff02d3f93074770d","datavalue":{"value":{"entity-type":"item","numeric-id":5781454,"id":"Q5781454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$CA184134-C5EC-4256-9F23-1B06AF46C2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c08df1a13e6cd99e1c82b5ab080bf3df32e25","datavalue":{"value":{"entity-type":"item","numeric-id":5510376,"id":"Q5510376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$7C228DE1-0E05-421E-8360-47755342C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97236fbeb6b6b2bba840114a8ba2f0448b9619f9","datavalue":{"value":{"entity-type":"item","numeric-id":4197641,"id":"Q4197641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$0055D73F-7DE1-4180-AD09-DF28E3612E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb6dda69e6e7dab003aab2088007d9f0da7ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5576685,"id":"Q5576685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$7178E9B8-84A6-4A2E-8D82-68BA83D72918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2de4e7d4a64cec0b81a66df673db8cd9c23954d","datavalue":{"value":{"entity-type":"item","numeric-id":4178385,"id":"Q4178385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$D5F40EBF-77F9-43C7-AEE6-A97CC668C9C6","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":"Q5111641$164AC485-47A0-4691-BBCD-463A17356521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$E6205563-C113-4940-992B-85AC07B3B815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8753e520f7d6967cd6b68ee4b8342c58e4801be1","datavalue":{"value":{"entity-type":"item","numeric-id":1373741,"id":"Q1373741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$EA76728B-930C-44A2-AAB1-ECD4469A0E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$1BDAEB67-02BA-483E-BF4A-841E11547BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$54889128-BBB9-47D3-B149-F81EC28D7089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$122BD1F6-939F-4067-89AA-44FEAA2C8D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e0e65bc0258e3fb24301d38f9385a7e4dd4333","datavalue":{"value":{"entity-type":"item","numeric-id":5820908,"id":"Q5820908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$BF996B60-943C-4734-A336-F0A5D2FE619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$21E44607-5EA2-4491-86E8-16D16DBBF824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111641$3CF061EE-E35B-463D-B158-DDE0A52D79AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c62274613f49b903479ad0e225774c3d449c57b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111641$2F3CA410-D144-44B4-A6B5-C7113B808DF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec9ed2cd515a818bdd0ecbd74168470db07f6b","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d56316f4d4cd652db12a48e6379cc5d38b98360","datavalue":{"value":{"amount":"+0.903601348400116","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":"Q5111641$F7AA828B-837B-47DE-9C95-837795CD313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e427df8e127f87e02a9794c07215124382220d","datavalue":{"value":{"entity-type":"item","numeric-id":4608674,"id":"Q4608674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2718d0d27ec345e1ac2ef62d40aa09fadcf8ac","datavalue":{"value":{"amount":"+0.8528745770454407","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":"Q5111641$FCA472D6-A51E-4462-9758-E760D273A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130c11d4aaabb9ce39653d1b182ef5dfb19e2808","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9873035e9b6cb73ebdbb86a28affd27d43a6037","datavalue":{"value":{"amount":"+0.8497095704078674","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":"Q5111641$494BEB2C-F5D3-4B8E-B6C5-B34E9201454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c706e57d318544a2ba3f89062f582ea018aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8a396fb7dc7e47a0ca823d1fbcca3baa4837fa","datavalue":{"value":{"amount":"+0.8330886960029602","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":"Q5111641$E8A1E621-2DA8-41A2-94CE-49630AF04879","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":"a5f90688f72616687f3de24d360d661487476fc3","datavalue":{"value":{"amount":"+0.8282319903373718","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":"Q5111641$E5B6F8F8-7517-4408-90C8-012BA88E1AA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111641"}}}}}