{"entities":{"Q6108902":{"pageid":13243209,"ns":120,"title":"Item:Q6108902","lastrevid":55470466,"modified":"2026-02-17T17:10:08Z","type":"item","id":"Q6108902","labels":{"en":{"language":"en","value":"Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719272"}},"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":"Q6108902$D5ABBC11-DCE8-44CF-B606-B2896AF899E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee9e19636b4d103c2397cfebf09b5cf6385518ac","datavalue":{"value":{"text":"Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108902$A4BDF4D0-7DD0-4720-969F-9011B2B2E7EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9713039a0b72957f55dd69020e56ead9b5106357","datavalue":{"value":"1524.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108902$7B5FBA77-CC5C-4AED-8473-5A2315F5C070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d26dc1bca35056240bef829c18a1ec75e60b2da8","datavalue":{"value":"10.1007/978-3-031-15629-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108902$01289BE3-4C26-4324-B415-F1EB9A9F0888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$6DCE621A-C12D-4BED-B191-76ECCC186FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$1503B752-6DBA-430C-BA5D-1FCDF7A62CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$6DB85313-7620-4B72-9050-88BA96649B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108902$29EFDD64-315B-46CB-A76B-FE2011FCD46D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108902$C01C4F23-9F99-4E6B-B4ED-7B6062DBFA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a27f2fdcef5cdbdce2cbcf7972219b98b2eb0bc","datavalue":{"value":"7719272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108902$C6CB1818-3D0F-46D0-914C-4DF30F00AD3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108902$683BAE8B-D7D1-446C-858E-A5ABCD3E9D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6732fcf4ea7b9e07c07db1ade86abc118a2583e6","datavalue":{"value":"divergence preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108902$9211FC87-DCC7-475D-A80D-7C795D75DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108902$285751F4-4BAB-4730-A4C0-7585989932DF","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":"Q6108902$024E93A3-E84D-4B37-9D19-A6238D21BF43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c059bc3263896f65f0da6763c6b6659ef2ac28ee","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15629-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108902$03F696B7-8184-44C7-A23C-824028F7B4DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fea543539b3f4cb203d733bbfa18962ca1dc04a8","datavalue":{"value":"W4297922681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108902$77914427-7527-40B8-AB0A-6893930E7649","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$C54CB69A-0D64-480D-A151-6BF0AEC54895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e106d561cac742f31cd6e62aeb0a142e215b5daa","datavalue":{"value":{"entity-type":"item","numeric-id":5119395,"id":"Q5119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$D514AAF2-8F6F-4B38-A1FE-9967AD0669FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5523ae6ddcf8abdcfa811b573deca6335953de3f","datavalue":{"value":{"entity-type":"item","numeric-id":3398965,"id":"Q3398965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$04737CA3-1BB5-4733-BDAC-57CF750D294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9828ac9d1bd7e467673c3d4b5d2c70594c659b02","datavalue":{"value":{"entity-type":"item","numeric-id":1802074,"id":"Q1802074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$22BCF702-16CB-4A80-976F-1153A7E001B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$1602CDDC-5EB5-4073-B4DB-139C5E15651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c12d01b4b17dcba5eb7f3e67eea2f1bdd2eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$7ED0100C-ADAD-41F1-AAFA-441A7C860307","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":"Q6108902$EA23CBFB-5CE1-4972-9F7B-EF068B6C4753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108902$F2F048FC-6EF7-40FA-8CE6-04EED8A07AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1539b8d0dfedefd5d6d0bc4f528c4655dfd0ffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38e95543182ce09c55314534b3adf3d01eb9c85","datavalue":{"value":{"amount":"+0.8174195289611816","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":"Q6108902$665A9429-DAEF-432E-8B20-2D9F1B639A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba213052ef9e175f0f661107db20078216007d96","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70606c5c4b98e6e5b6cb1d81298c3f0f9113f9a5","datavalue":{"value":{"amount":"+0.7866882681846619","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":"Q6108902$9363BADD-C047-46F3-8962-1E8D75A94012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d612e445a7570e345558759a9b2ec72b828dba9f","datavalue":{"value":{"entity-type":"item","numeric-id":3398965,"id":"Q3398965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08e0b34417814fd621ccc6200e565a51810700b","datavalue":{"value":{"amount":"+0.7696133255958557","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":"Q6108902$2B8A954D-B10A-460F-98A5-3B9A19C1CB1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108902"}}}}}