{"entities":{"Q5415607":{"pageid":7445181,"ns":120,"title":"Item:Q5415607","lastrevid":51997460,"modified":"2026-01-20T17:26:37Z","type":"item","id":"Q5415607","labels":{"en":{"language":"en","value":"Bisimilarity of distributionally equivalent Markov transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294809"}},"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":"Q5415607$3100FFCB-963F-4621-999D-7C6B39CDE96C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffa5b85c95b33b58d7a531142e66a079e9584c6","datavalue":{"value":{"text":"Bisimilarity of Distributionally Equivalent Markov Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415607$E5129F59-8A63-48CE-BC37-693AC758D4AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b850f8e3c813fa8de473a5eef1f606c20c4ddd69","datavalue":{"value":"1286.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$ACA46604-8FD3-48C2-9A84-8D774D352CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$C785A439-3888-4F91-A3E7-A12E0F4C94F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$B65F5537-AEB2-45B1-BEC1-4CC808346325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415607$853C698F-FDBC-42B7-8E96-75FCDAEDA204","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$804EB093-BDC1-414B-B449-1F20F0636DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$8AB2B189-FE6C-4A2E-8829-ABB6391C6164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$6A0A201C-F112-49CD-A511-917E4E3DC6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$459A2581-AD27-479C-9C14-9091E17F0F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"746a17d45e7e229eb89169b964b1c9b8f7dad391","datavalue":{"value":"6294809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$B750D53B-0481-4949-A445-1A353A03E048","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415607$24EA221D-0142-4E6E-99C7-4CD777DA001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415607$1CE98A75-1394-469F-A91C-08BB901DE24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b3b85975b4e57d1ef1ceaea645496e678172b6","datavalue":{"value":"Markov transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415607$6652D1A3-1E69-4CB4-B210-E3C778B053FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899842a87a829a1c519fc1dea88abcec00117b62","datavalue":{"value":"Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415607$564F2C7A-A746-44C2-B154-7DD21CD19EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f241e3158fb47bf3847f6fadb9b3353b5a64e7","datavalue":{"value":"stochastic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415607$4033BFE4-81AD-46B3-8BAA-4D363EFA3DEA","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":"Q5415607$6C4160D9-4A45-40F7-9172-858B0C90B231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a814eec653df448efd61cc11dc3d7fb949af7e12","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.052","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415607$3DB8896C-BC34-4718-AB01-779EF28244C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c565c745015111324b5da100eec6bc2b69f77afc","datavalue":{"value":"W2073640081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$37751E05-B286-4B90-A66D-F9463339B10E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc405d82697a671b0ec0b92b9342f8c2268798","datavalue":{"value":{"entity-type":"item","numeric-id":1818626,"id":"Q1818626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$75FB866F-67DD-4A67-A13E-CC86371F132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e9f51174dda7c2dcccdfe8d51f717eabcb9ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4112980,"id":"Q4112980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$24E18B12-DAF6-451C-8BE0-D2FE7E2FDD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$90B1FABD-58E0-4B5D-9D5C-774A23569F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$E7EEFD1C-F231-4107-8B6C-AE6C80E33D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e030d03f9ef4bcea642ecbac1a0ae87f95369","datavalue":{"value":{"entity-type":"item","numeric-id":995624,"id":"Q995624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$F24D6B72-BE94-4CF9-BB1E-1C065E3DDE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$53D2420B-1FAF-4184-9DD8-E8762E9B7575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2992f74ef30ce4f2c1a347599a79c281d57686bd","datavalue":{"value":{"entity-type":"item","numeric-id":947269,"id":"Q947269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$1A10849B-0F4E-46F8-9B9F-37AE8A01154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$89C5DA90-D861-4CE7-BCD8-DB6C920448D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$EC864EC2-4459-4A08-AEC3-2FE2A40FF830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415607$87A86B92-9A49-4B3C-B353-E6FDECAE1D3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17077a25b2a81f94861639b016da1f6387be8612","datavalue":{"value":"10.1016/J.ENTCS.2008.04.052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415607$7DC95D10-A065-4277-8819-AA97E6BA06F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e05c717366aeb6ae7d04dd13214b43db8161e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683448,"id":"Q1683448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bae3fdbb1ce8cfe3b83d2ec5d9bc806e121a748","datavalue":{"value":{"amount":"+0.7977192401885986","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":"Q5415607$AB30888D-E1F7-484F-AD07-4B5D12C015B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd47c34ace84ada863241dd8ede234cae1b24cf","datavalue":{"value":{"amount":"+0.7865234613418579","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":"Q5415607$329AC9A4-D3FD-4263-9EDE-3657A7314F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea6d3d987c1e82eefebe0380be6db4c8e91d92d","datavalue":{"value":{"amount":"+0.7684420347213745","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":"Q5415607$64CF6AC7-2F48-418F-89F8-8D11EF785B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dcdf2e147aa875fe6c66c45b0a62c0cdf6d146","datavalue":{"value":{"amount":"+0.7651895880699158","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":"Q5415607$05CE0F2B-AE53-4F16-8CC3-C8E5E076D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c486602f8336e7d9263d4bd03c9eda9f18a3336","datavalue":{"value":{"entity-type":"item","numeric-id":4608588,"id":"Q4608588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f20aed1e3caff511a54925739fa77812587004","datavalue":{"value":{"amount":"+0.7630869150161743","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":"Q5415607$D165703C-B1A0-48E0-8B2F-1B349D7D47AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415607"}}}}}