{"entities":{"Q4608588":{"pageid":6638171,"ns":120,"title":"Item:Q4608588","lastrevid":53047295,"modified":"2026-01-24T03:00:51Z","type":"item","id":"Q4608588","labels":{"en":{"language":"en","value":"Logical characterization of bisimulation for transition relations over probability distributions with internal actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851862"}},"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":"Q4608588$448FDE6B-26AD-481C-9FD5-2119D0373FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76ba64dadaec5e823209cbcf6145178fc5b721a0","datavalue":{"value":"1398.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$E081E775-BEC2-444B-B151-680BBB6D67EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6ee79c459e72baf24abf4180a3c75000dba8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2093148,"id":"Q2093148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608588$8755537D-A525-4A10-AA92-D42F42873103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608588$60BE94DF-F51D-4FD4-93DA-B1862E2A24A6","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":"Q4608588$2D2CB2D6-A7BB-4C83-BDE7-FE77970D2373","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$4D9D7954-9096-4CBC-95CD-258E7197564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$03852159-46BE-42BF-AD56-42C1D1A3D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$6D9DE6C3-27FE-4219-86C8-590F8B4D9588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12cf475fab33f016db6afca325bdf9b26b808046","datavalue":{"value":"6851862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$328E8713-0F6F-4B27-9030-2E72E6012D65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608588$9D266D70-BFDB-4380-BAB9-890913FF7173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59a3a84b56fcf94e944f9da37a9fdfde9078bfe","datavalue":{"value":"weak bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608588$3DFE251B-BC7E-43D9-808B-E6D711F7ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608588$878D6B21-9CEC-46DC-9BDC-FD79A3342986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a483c92a77ee5355dacb51c80d47974c3400b322","datavalue":{"value":"transition relation over distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608588$1ADDD1F1-0C91-451A-8800-6C4F991858D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608588$55C2550D-48EC-4EC1-9D6E-94AB2C463B48","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":"Q4608588$5EB55760-E244-4FF4-B57A-7676E7AF6186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b80d871ec5e680f39addc8348c1b09c510fe120","datavalue":{"value":"https://doi.org/10.4230/lipics.mfcs.2016.29","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608588$39B6B6B3-2330-4F27-9803-2DA43BA3E883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"420bdace344aea90358535a79ecda3e3225225f5","datavalue":{"value":"W2541071849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$01C98E9C-80A4-41FC-8695-AC53E0961855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c1c26329c1c21247addbf9c36d99565ddddd44","datavalue":{"value":{"text":"Logical characterization of bisimulation for transition relations over probability distributions with internal actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608588$D9EB0C79-6F87-48FE-82FD-C12B980AD356","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b2471e34b66ca4924d0a40c64c1d3f5bbee992","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608588$06382EB7-D451-4830-9550-B6F3674F00B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29369768311e13d8051e44e759a601b77940edbc","datavalue":{"value":{"entity-type":"item","numeric-id":2946748,"id":"Q2946748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14060ee9218bf0aad39357b64c937cd7f8853f24","datavalue":{"value":{"amount":"+0.8295159339904785","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":"Q4608588$B0B89AC8-28D7-45C9-91ED-AF9A1F7C1906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cdf29caa07a9f843ffa8b503d3b8cda24aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf5cf0a5b5212f43101bf998955da3d9ecac805","datavalue":{"value":{"amount":"+0.8206261992454529","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":"Q4608588$266BAA72-EC17-45C4-B1E8-E9CF31D31019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ba4a659fc13859eb8c16c3679cf033cef0b172","datavalue":{"value":{"entity-type":"item","numeric-id":5058364,"id":"Q5058364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4698c19f27a09f21411cffbf4d0fa33167bcd76","datavalue":{"value":{"amount":"+0.7863097190856934","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":"Q4608588$0333C13F-EE04-4180-ACEF-5ADEAB83CAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7399737823428672f9cfb76c9043353de824b4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2830042,"id":"Q2830042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674d745539db9c6846e63f9b155df36b1f93f028","datavalue":{"value":{"amount":"+0.7773966789245605","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":"Q4608588$F1A594D5-A338-4E0C-B31C-08123503124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2205b0a4fc2df21258e215775042aff2d1cd7c98","datavalue":{"value":{"entity-type":"item","numeric-id":3090826,"id":"Q3090826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82eea4e1eba5a0709aa258f97b51afb852a10ccc","datavalue":{"value":{"amount":"+0.7772292494773865","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":"Q4608588$61481D25-CF08-4CCD-B940-35C453E0EACE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608588"}}}}}