{"entities":{"Q1941884":{"pageid":1952626,"ns":120,"title":"Item:Q1941884","lastrevid":51679055,"modified":"2026-01-19T10:55:46Z","type":"item","id":"Q1941884","labels":{"en":{"language":"en","value":"Exploring probabilistic bisimulations. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148349"}},"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":"Q1941884$06572ADC-054D-4EDD-8829-C22006FCD475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc5e78f824f1fd46964bc174b721dc7da069b824","datavalue":{"value":{"text":"Exploring probabilistic bisimulations. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941884$1E342120-FE58-49DE-AD9E-ADC7833DB3D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f64e6c8b0fff085e9d559970a67c8b232df30e79","datavalue":{"value":"1259.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$744BCA22-43BC-4BAE-8902-620CBFFB2F2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$8402CA3D-0582-41FC-B786-488DA959BE72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941884$D65D7F59-E172-47F8-9AE7-F376DE0619BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$04A99061-EC5B-440D-BCB4-B48ECD622D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$5075DCE6-0189-4386-8E4C-C4C17CA32074","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ae599e50d23a7ffa4403da890d7d41d6520591","datavalue":{"value":"6148349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$A1CED1A0-5E0F-4EBB-81D7-EE481D8C5FEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941884$2CC52B69-909F-4D0E-8654-A6657F5204DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941884$A61410D8-88A8-4364-BFA3-B5FE3AA69AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941884$BF1A6F83-A980-4244-B1A4-DFFA644F8B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb3b5edf92a5ede76026209804249f7152e8220","datavalue":{"value":"logical characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941884$55F08AFA-FA11-4FE0-890C-D71C952F22DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941884$E9297C73-820D-479B-8E8E-94CF80B2C2DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$093D90AC-545F-4114-A96D-173131AFEE91","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":"Q1941884$8DB75BA6-0362-4C63-B797-29C398991DA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63097b730f2dd4c51f31c1cda8fd5b55626b3ca8","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0242-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941884$99AB5654-5A06-46CF-BAF3-AFBB8D9AFF65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f36b07f89c25739f6be7188c97e2230e90205a3e","datavalue":{"value":"W1995469594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$3977A47C-227C-459B-AB96-071A78E1D720","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0eb5674f5aee2d2425c47370db13662fd90f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$D6988D05-21AB-4691-ACAE-D2E108D36C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$85796449-F496-493A-AC4E-16D1996632A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$911B79A6-9CDA-4BA6-AF59-7F57809BE6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$7CCBB13B-4BE3-43DC-B379-2644C84F374F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed2ebff24fd797470c460beee365755e4b248cf","datavalue":{"value":{"entity-type":"item","numeric-id":3012929,"id":"Q3012929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$A8774E65-2D82-4847-A200-D7AB53C470D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48613c77d62a14fb032775f4b6795645924510eb","datavalue":{"value":{"entity-type":"item","numeric-id":4933311,"id":"Q4933311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$67D3DDFC-BDC7-4A5F-9401-93BD90AA1941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46552b7a5707ec562b440c80dc116bfa0f905cf","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$5B19536D-2E84-48BB-B297-69DE0488BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$48E0C9A8-FF71-434B-89D3-3B5DAEB662B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$73D07BB4-B611-4564-8D35-B12C44360F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$41C05C4A-5981-4535-92E9-801E0AFE2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$79AEA0A8-4350-4F5D-B8B6-7DAC66AE066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$A1231BCF-CDEC-4BDA-B798-1332BC5CA447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$506DF3EC-5EBA-4533-98FB-E50309DD9C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6b72f9c8f81b8d711ea18b4fe96c1f2fab19a9","datavalue":{"value":{"entity-type":"item","numeric-id":2365393,"id":"Q2365393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$4CCA4A53-9FF4-4F38-AC03-9A2F5F799638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$6B013E1D-1D61-485A-887E-4F21476D20EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$A6771B08-0563-4AD9-8401-58BFBEFF1CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4750cca92184ae4b471328f5c701fe49a2c218","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$84685F13-F839-4DD1-B031-9D03C7294B77","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":"Q1941884$F9AD9E5E-AB33-4DE3-9D24-9C9A2B4D2F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$784D22A6-403E-4316-84A5-CC7817B6BEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54edf4f219cc341320e452ee26091fbc705bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941884$187D6419-7F37-4296-85D6-28AFC6C7A7AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ead14b74d2a47ba52ed6383bb385f373052fb1ec","datavalue":{"value":"10.1007/S00165-012-0242-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941884$5F631EC4-FCFA-4C32-96A7-0A3FD9263D3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cce1f912473957b77c142c6bfd1778207390aac","datavalue":{"value":{"amount":"+0.8567596673965454","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":"Q1941884$68D52813-3559-4817-8777-0345B09AB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e28a65958541ac34a5814835d312f57fea436","datavalue":{"value":{"entity-type":"item","numeric-id":3190122,"id":"Q3190122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7a7c56061f4b0a5844fa530b26a891efc78a37","datavalue":{"value":{"amount":"+0.8489357829093933","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":"Q1941884$446F1BBF-A263-441A-B9E0-B4DC5ACA9216","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":"3cf52ac5ba96af2187cbd69aa7afea1776bed5c1","datavalue":{"value":{"amount":"+0.8362999558448792","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":"Q1941884$E907E5F3-CF82-438D-BA39-4E236B995AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33e5d03417cef85b116c18e3b1fcdb4f6370687","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f811a687e338bca768c5124169cc530b45cc5ffb","datavalue":{"value":{"amount":"+0.834877073764801","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":"Q1941884$8CCD064C-9FBC-478D-B29B-9FE5B4B2B743","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":"696857e24fb63748e85cbb4293576f5249fa129c","datavalue":{"value":{"amount":"+0.8347786664962769","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":"Q1941884$89D476E0-9205-48B0-A2CE-8952BE3F8716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941884"}}}}}