{"entities":{"Q3398965":{"pageid":3409668,"ns":120,"title":"Item:Q3398965","lastrevid":50774486,"modified":"2026-01-15T03:13:32Z","type":"item","id":"Q3398965","labels":{"en":{"language":"en","value":"Branching Bisimilarity with Explicit Divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5608715"}},"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":"Q3398965$EF5659B3-B3F4-4EBE-A9FC-52EAD56C48B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdb623f2933f75df58587b7943a140df5578aedf","datavalue":{"value":{"text":"Branching Bisimilarity with Explicit Divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3398965$3098E190-0AEE-4B74-A3C9-6CFEE52ED4AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ee85582eeaf970f56e4d1bdc17f4b8d6696eb10","datavalue":{"value":"1183.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$578101DF-0D60-4E8E-9BA1-50D93735A1A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7148df7167659fc9cda9c9d08763828747a8480f","datavalue":{"value":"10.3233/FI-2009-109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$E8D44509-0FB2-4137-BCBD-3CB8C079F136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398965$AEA39307-C49E-462B-84D7-50337E301CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7682ec469886f24d2f5d573d128a429f22c994ac","datavalue":{"value":{"entity-type":"item","numeric-id":764288,"id":"Q764288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398965$3AFD59BC-CD2C-4306-A678-9A0D80E16EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398965$4160AEEF-6254-4EA5-BEFC-BCFA175014F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398965$586B7FB6-2ACC-4C07-93F5-EC0242C29CD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3398965$2C7F9E8A-68BE-4811-B83E-BA047A5F2182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$1996EEFE-ED0B-41A6-884F-DF45A74085B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$DF595600-DBB7-419E-8C2C-0BD348605D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$220DE4D1-4296-41D1-B9AA-EF005D9CF7C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e762f7f3f480e8aa5e4fca00084912b417bf60d0","datavalue":{"value":"5608715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$A34D39E8-AE83-4442-95CB-763EDF83E13A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398965$988F44E2-F7A4-4F5C-99C9-B5E94B3B1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398965$12D7A401-C7C8-4DAF-A773-983C9799A436","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":"Q3398965$3F8403FC-37BE-4033-88FF-4CD6D2789349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75635ec9bf0f28b16dccc22c383ea1b20b4d3620","datavalue":{"value":"https://doi.org/10.3233/fi-2009-109","type":"string"},"datatype":"url"},"type":"statement","id":"Q3398965$03D9F86B-73C8-49E8-BAE6-96CB236CA808","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1c09c4fb14a88f8dcc1444bcf3181dc5f450424","datavalue":{"value":"W2103718058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398965$B91494D2-61C6-42AA-93E0-2724CDA1CDE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7a54c0d42aa98c67e8d5e88724ed4b86d4affc","datavalue":{"value":{"entity-type":"item","numeric-id":1652984,"id":"Q1652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292f1f6beabd0b464e20aee3879b821488b3b849","datavalue":{"value":{"amount":"+0.8189798593521118","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":"Q3398965$B968C684-5E60-4B5B-969C-A5E26D7FADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c62cb127df602dbeb10b07252d6d8aad0ab9c9","datavalue":{"value":{"entity-type":"item","numeric-id":2827464,"id":"Q2827464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e67c68a49321268966701347ef7ca096c2896c7","datavalue":{"value":{"amount":"+0.7970799803733826","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":"Q3398965$11C3E567-695C-4373-AB88-A1E94E1B5800","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":"685608e9db3521919a3c21750e806cab963c106e","datavalue":{"value":{"amount":"+0.7952275276184082","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":"Q3398965$73C7B948-7D1E-4972-8870-C8E0741D1AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10faea875401b7de45de89f1ca21e6549535e","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065ebed7d65176d00df815d6b74f20ce05dc642e","datavalue":{"value":{"amount":"+0.7663519382476807","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":"Q3398965$8ACBDB75-54AD-434E-8847-C0969DF3A0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a81037367f33eef8852dfe390e01c3495e0d8d","datavalue":{"value":{"amount":"+0.7595499753952026","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":"Q3398965$E2700877-7D84-4F1B-8111-50F38996275B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3398965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3398965"}}}}}