{"entities":{"Q4608673":{"pageid":6638256,"ns":120,"title":"Item:Q4608673","lastrevid":90558500,"modified":"2026-06-04T20:41:29Z","type":"item","id":"Q4608673","labels":{"en":{"language":"en","value":"Complete axiomatization for the bisimilarity distance on Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851943"}},"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":"Q4608673$B0923900-7A91-43D6-8B24-D8951D72100F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcde3732f1a7ee101090ef7e35b4957e7e591ca6","datavalue":{"value":"1392.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$1F3693AA-8104-4705-9F96-938D63159BE1","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":"Q4608673$91C1B553-6252-4660-87D0-8DB4A99A299E","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":"Q4608673$5B042ED7-361D-4B58-AD99-4142F1430AC1","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":"Q4608673$6AD2E828-5D5E-4289-BDC2-1B3169FC040C","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":"Q4608673$35E01C4B-3B38-4BA1-BEC2-36936C006BAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608673$A6D0D1A7-B3EE-4A02-AEB7-53993D59EBD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$6EA10DB9-8FAC-4A9C-9563-9FDE99B979C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$456236D7-CF2D-47D1-ABF0-5239885998F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$1EE9615A-D9E6-41B9-9071-BEE45B70CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$1D14E920-9BD8-49A7-AA79-8147573A7272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d5662d2a57d1b51c01b161dab0438a4bc6ead33","datavalue":{"value":"6851943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$415BD6F4-9F4F-4030-B825-4559B80F7C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608673$EDFF8F99-D96B-40C5-8ADB-690689DBBF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c90a8b848cf52bcb47b9d88264392e396db00e8","datavalue":{"value":"behavioral distances","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608673$05113B86-9404-4359-B340-888CCEB7658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608673$5092AFCB-EC55-4E42-9A16-18DE95EC7105","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":"Q4608673$0962176D-CB8D-4C9D-8FEA-6E88B17E1863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d19a5b72649d017eaf141e5f61c3c50910748326","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608673$7B76A2DE-3CEC-452D-9339-47AB494FAF1F","rank":"normal"}],"P1643":[{"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":"df8b361abe6eaee6b2fce72407081d2ab06ad990","datavalue":{"value":{"amount":"+0.9618104100227356","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":"Q4608673$C8729F1B-0430-4D79-A7A4-8BD4373D656B","rank":"normal"},{"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":"d382624b7b074afa893d41cef75828d15e5656cc","datavalue":{"value":{"amount":"+0.7759456634521484","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":"Q4608673$912BE1E0-B2DE-402D-A7A8-9ACCFF9DCC52","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":"dbfd049085c83c22d0be5669ebecaac09fff49b9","datavalue":{"value":{"amount":"+0.766719400882721","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":"Q4608673$280BBB9A-FF87-4301-82B7-973377D27A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6f6d84687b897930055cb2f7ed9e9f6cd647de","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf87c8bde6ffbb86ddc1b978d4d136cc862e189","datavalue":{"value":{"amount":"+0.7550821900367737","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":"Q4608673$01B5A894-7B5E-4513-8A6C-B6343AF5150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b39a23aba1ac18ac7dc32bf6e07bc3e543cf177","datavalue":{"value":{"amount":"+0.7513755559921265","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":"Q4608673$225FFE34-0AD6-4B23-9BB6-030B0BC9EE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete axiomatization for the bisimilarity distance on Markov chains","badges":[]}}}}}