{"entities":{"Q5875370":{"pageid":7904921,"ns":120,"title":"Item:Q5875370","lastrevid":97508387,"modified":"2026-06-05T14:55:11Z","type":"item","id":"Q5875370","labels":{"en":{"language":"en","value":"Computing probabilistic bisimilarity distances for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649917"}},"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":"Q5875370$4656778C-3C4A-4BA8-8120-30E8B130EFBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb61a5e2961b90c24cc43ddac18e0207af6e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":418839,"id":"Q418839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$9E896958-4C45-4A9F-808B-7EE0C13A7DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bfc5763f7a3a5817e63d62f548c450eb5696c2","datavalue":{"value":{"entity-type":"item","numeric-id":1785847,"id":"Q1785847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$C4B08784-B2EE-47AB-AF3B-1CDC08C2E7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$B1ABEFC5-8BE5-4174-A0D8-0D6B61B7F15A","rank":"normal"},{"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":"Q5875370$F87F44F3-A9AA-4031-AB90-B111B6070985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$C394577B-9D9D-4091-B54B-D816896FCCE0","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":"Q5875370$A20AE054-BE5D-4EC4-833F-BE16BE55508E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875370$2FDF28B0-D310-4CC1-873F-8BF0DD4AC8F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875370$3F5AB102-FE05-4945-BF49-1320A3DE4638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fa45ae5a236c8a19876fe9890d8f5075dac2a71","datavalue":{"value":"7649917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875370$F9A99516-01D9-474C-BAF8-3FFD3818FA03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875370$F7E506B4-7276-4271-82DA-488127A861E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0845c75a22d8f87c0ec2625d27c507ca10a5d69","datavalue":{"value":"behavioural metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875370$51C4BD8D-950A-452C-863C-1EE51E57BC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414672f18a649b734032e40c605ade172e2fb9f7","datavalue":{"value":"simple stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875370$8076C4EF-943E-4DA7-9961-221F60814CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2618e9c4dd946a42cb493842703aef475ea8e68","datavalue":{"value":"simple policy iteration algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875370$59064709-5693-4A38-9D35-95D579E15957","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":"Q5875370$D03AEB25-8B66-4B7A-8B7D-68AADADFAF77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c75357b9c8737bf86af09d508f75aa9d90c26b","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$B8836C8B-75FF-4AD0-BF3F-27CE64AD8E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bc5936c7ce525cabba3d3781dafb9c27bfe596","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$517A9B0F-4936-4DB0-A3A8-A360CCD92BDB","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":"Q5875370$8DC27A2A-226B-46A6-8B34-8FD88A52C3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d733ff10cd63581b69a9c7369dbdeb9f029f97ed","datavalue":{"value":{"entity-type":"item","numeric-id":1804365,"id":"Q1804365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$FE68C7EA-1DCE-4764-A61B-5FB7E15DB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b9a45d71dba8fbe83d1c440aa47a0889383bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5009455,"id":"Q5009455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$9AF29D51-C6A3-436A-B65E-A502BD93900D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd3fd08ef1df4f4fa915c4516b9a6eee17fd89b","datavalue":{"value":{"entity-type":"item","numeric-id":5588290,"id":"Q5588290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$FB268974-A45A-4447-875C-BDD110038231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381ef4478d959132ef518d62ccaeeec8807259ec","datavalue":{"value":{"entity-type":"item","numeric-id":647419,"id":"Q647419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$B0F41BC6-BDA4-4090-ACA8-EB61436FC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b846d13800611269a7c57eec4ac171491564b808","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$916BA6C5-0DB1-4834-8A37-F9783EFD2FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e19dd1a79f5975685845c8ddcd4c3bb5b76cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3722234,"id":"Q3722234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$39D6E2FB-4ED6-4BAA-BFC2-6FA3464869E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f717dc2c1054a95beca1649ef51b159cc44698bf","datavalue":{"value":{"entity-type":"item","numeric-id":65942,"id":"Q65942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$6C51E5EA-AFDD-47E9-A962-5D2545349D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$C8C223E5-5CD9-49DA-84BC-42FD3EFBFD30","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":"Q5875370$AE70C69A-4A24-4371-8EB1-2F4597C0CD05","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":"Q5875370$01B1D5E5-D2E0-492E-B502-C09D9491341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7390ef61e3523a6ade7be4b050f810e0f6816221","datavalue":{"value":{"entity-type":"item","numeric-id":4693067,"id":"Q4693067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$FBF02EE5-824B-4EB7-9380-3864F3DBDD3B","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":"Q5875370$9061D2CC-2056-4725-BB24-04A58483DDA8","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":"Q5875370$956E97C6-79D5-4EEA-BF2C-ADD5633AAEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4586872be8decf8918931c001c6d178e753143db","datavalue":{"value":{"entity-type":"item","numeric-id":5009421,"id":"Q5009421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875370$3B25D747-008E-44B0-8C7F-DDD9DB00C8C4","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":"Q5875370$8B714F4B-FFDC-4DA4-BB92-872C6BCD5A2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6146170763a8f398dfd5e04c17a93b008d31c8a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875370$9B95B799-7084-4A5A-AA27-F0DBFF5B1E14","rank":"normal"}],"P1643":[{"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":"78f11776bbd168bf70f4ded65d553694fa7ee7d3","datavalue":{"value":{"amount":"+0.9817745685577391","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":"Q5875370$27C13E5B-726A-48D4-B8B4-AD1869FFA511","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":"b41dedb54ef68a7b1c502314ec00185bf3f0292f","datavalue":{"value":{"amount":"+0.912320613861084","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":"Q5875370$546CC076-849B-466C-84A9-33C5D085CE4F","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":"b9c0e68ec3385b563bf1abf9d23995916f4c1a80","datavalue":{"value":{"amount":"+0.9079126119613647","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":"Q5875370$9CE693F3-8016-419C-97AE-B20629710AF4","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":"22d81e5c7e9745206d61adf7872ce4626a859987","datavalue":{"value":{"amount":"+0.8708363175392151","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":"Q5875370$E7AA43D2-00F1-435C-9AEA-EA5CD1F86440","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":"73c31f38eaf773fbe9f9ceb4723826ddfe3f1d24","datavalue":{"value":{"amount":"+0.8472070693969727","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":"Q5875370$3EE6C627-CA64-4449-AEF8-0EDC53E26DEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing probabilistic bisimilarity distances for probabilistic automata","badges":[]}}}}}