{"entities":{"Q5009421":{"pageid":7038998,"ns":120,"title":"Item:Q5009421","lastrevid":54058280,"modified":"2026-01-26T04:20:51Z","type":"item","id":"Q5009421","labels":{"en":{"language":"en","value":"Deciding probabilistic bisimilarity distance one for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378553"}},"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":"Q5009421$E9FE9EE0-D4A7-476A-A9AE-BCA387164293","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":"Q5009421$3C731790-22CC-4F46-8507-CAE503040382","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":"Q5009421$F3B792A8-6378-414D-8758-4768560EC97A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009421$FA3B6883-36E9-49E4-B4AB-4B687AA3A4E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009421$533FF27F-5655-40CC-8FE2-52B4EE8369C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4109f1e276720e192174883f234efc02e1d89e2","datavalue":{"value":"7378553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009421$18FAF91B-B4E7-40A9-BC55-B4AB4ACC6107","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009421$ADB53CE1-1761-4EA7-93C7-3BA209BAB0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009421$26EBDD6A-4ABF-4632-AC58-DC98EE477807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0790746f6410ed142073636c3fdda5375d90359","datavalue":{"value":"distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009421$4A468099-2699-44BA-8913-64F8700BE7C0","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":"Q5009421$6C62C53A-69AC-45DA-9E68-C9990AB9DF7D","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":"Q5009421$DD5CF7EC-620E-4BDA-851B-E67D3CF2F52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$6D4341D6-9530-4254-87D4-887ED687B784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b479eda3abfc6cd3d89bf265f488a85b2ed15180","datavalue":{"value":{"entity-type":"item","numeric-id":2306848,"id":"Q2306848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$0C455EB7-F698-4BB7-9B61-BC7106B13619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$F6326AD7-E5C1-4B97-9998-B3883366E20D","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":"Q5009421$975F82DA-20C1-4074-BC3B-A7567198F54E","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":"Q5009421$E94F05CA-2244-448E-AC74-2745981D891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$A7764057-1A1E-43E7-9BB3-4201A6DAA09E","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":"Q5009421$27F81940-AB62-4F33-8D59-34E55A4276ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$B4B88C49-7658-490B-908A-44F4BD5361C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$30738BB8-D086-4B90-99CD-90DC1C140AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9f72384369d0e22abbc58f3f1df73cbd7a609","datavalue":{"value":{"entity-type":"item","numeric-id":3167014,"id":"Q3167014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$C31B5CA1-9F35-4AE5-BAB8-ED7637FD62F8","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":"Q5009421$D8EFA5DF-73FD-4F0A-8647-2B893B76AA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0459d1a93a135deb9a3f3404173b887fd894a7be","datavalue":{"value":{"entity-type":"item","numeric-id":3266141,"id":"Q3266141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$1BCA4456-44FF-49CF-8A90-9ACAB729D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d7b2a5209cc1806c6660de7a1c1cb36b2b3b97","datavalue":{"value":{"entity-type":"item","numeric-id":2778590,"id":"Q2778590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$77D657D1-44C8-4733-8762-CB656D5003ED","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":"Q5009421$28DBB70F-6B1E-4B43-BDBE-A7251CFD2F96","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":"Q5009421$B2AB3212-C3EA-4B3B-8624-C80665BD038A","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":"Q5009421$731A801B-FE2B-467C-8768-F2DE8EEB96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$6500D6DA-0E57-4C00-94C9-2FEB9D43B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$72F3E1F3-1E77-452B-A78D-82AEC45347F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69203a421e9506353b72855af8d7cd99a51c079","datavalue":{"value":{"entity-type":"item","numeric-id":3063929,"id":"Q3063929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$0B87E467-C800-4B32-92C9-325B87E28E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$AD87C9A0-4189-465F-B461-8BA89A48B94C","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":"Q5009421$5C97CCF5-0BE8-4B97-AF10-D9B49F8A18BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8bce65ccde0a7ffb67d8ae2a36863a56f6eff5","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$D66AAF1D-B65E-4F64-ADE3-0B28714F1936","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":"Q5009421$AEF890D6-5F69-4996-8854-8D6A66A110E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111b88d6a07e311065185f1aed7152cd8712bb10","datavalue":{"value":{"entity-type":"item","numeric-id":4965819,"id":"Q4965819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009421$63027D39-9217-4C32-AB4B-FE4A404D7865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3443057a1593d1807bf0e0a5745e25e468ee9c5","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009421$BFF71F20-5579-4906-84C0-2A91A61D1069","rank":"normal"}],"P1643":[{"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":"398b2617d9c7921897139f604f11f6ff4d57dfa8","datavalue":{"value":{"amount":"+0.9967615008354188","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":"Q5009421$E6FA6BF3-3AAD-4953-8C53-4B48B2AFDAD9","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":"9680f598c5277d8424f29beff6347547adff9364","datavalue":{"value":{"amount":"+0.9156070947647096","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":"Q5009421$C152CCB4-9703-43C3-9369-8204CA7F5DF2","rank":"normal"},{"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":"df67f18034ffa4c04b62be8a2649ea3d961e414c","datavalue":{"value":{"amount":"+0.8798119425773621","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":"Q5009421$5FC74360-72D6-468C-AC3B-B90A0F68E943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78ff881ff4d7b0aa5b5d1813041a28c4f69da60","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266b5dfa5040d073e0d24d1b4c19eb4cd7e6dd06","datavalue":{"value":{"amount":"+0.8622817993164062","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":"Q5009421$893321D4-3E25-4D08-AA4A-065CCA2E10F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95e4580aa1adf08f3c83873ae09d9fafa82b459","datavalue":{"value":{"entity-type":"item","numeric-id":4965819,"id":"Q4965819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa150016a6d343660f456b778eadec87a77252ef","datavalue":{"value":{"amount":"+0.8516290187835693","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":"Q5009421$B492C287-F085-45CC-AF8F-5E0CC60F0E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009421"}}}}}