{"entities":{"Q6587111":{"pageid":14198267,"ns":120,"title":"Item:Q6587111","lastrevid":103906907,"modified":"2026-06-06T08:26:51Z","type":"item","id":"Q6587111","labels":{"en":{"language":"en","value":"On the axiomatisation of branching bisimulation congruence over CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896539"}},"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":"Q6587111$A53613CF-0311-4B76-905C-185BCCF1FC79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9afbc1cfd41018da8fd46133ac8b4dc28f0f8cd","datavalue":{"value":{"text":"On the axiomatisation of branching bisimulation congruence over CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587111$D65E5821-4236-4DB9-B0B2-DE37EADFEE6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587111$CD33AB27-C043-49F9-8474-B36C9D17800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587111$32BC381E-23FF-4238-BBCE-EA6C0A312AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587111$5626FE7D-502A-4415-AEAC-C237A04D6BC2","rank":"normal"},{"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":"Q6587111$C6F2204F-76FA-4683-A1C1-D80663FB30C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-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":"Q6587111$C8A799B2-8932-4DAC-BC9B-2ED1B26567B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587111$02204CC5-9C39-4E38-9E03-AAE860FA2139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7bf88cd98975b9081bbd9a78e781423a3e8ed5","datavalue":{"value":"7896539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587111$341C04D8-C2D6-40C9-8201-BF92CFA2A8F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587111$1ADE595E-1A21-4AB6-B907-1FE7945D409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257d38d6f555fa0ef053f6d68dc7b4b7b124e168","datavalue":{"value":"weak semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587111$5CBB573C-B37A-4A78-86C4-58EAD06CEA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587111$7DA3ED52-8C89-4B47-BD84-6072B78621D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587111$5CC73691-6D3E-43BB-93FD-8E5DB4DB7348","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":"Q6587111$4D77A409-EABD-4E14-9D6E-D87033960448","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d06a0402eeec34aaff2164562e29568b10a8e5","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587111$28EC4E55-5957-4199-AA9A-4C165C34BC0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the axiomatisation of branching bisimulation congruence over CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_axiomatisation_of_branching_bisimulation_congruence_over_CCS"}}}}}