{"entities":{"Q2254493":{"pageid":2265236,"ns":120,"title":"Item:Q2254493","lastrevid":72939426,"modified":"2026-04-14T08:53:45Z","type":"item","id":"Q2254493","labels":{"en":{"language":"en","value":"Decidability of branching bisimulation on normed commutative context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398301"}},"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":"Q2254493$C16CB301-33BD-4A22-ACC1-0A4FC23DB51D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d5560f8eb03b9e9fcb0eeb03f26162e02e07340","datavalue":{"value":{"text":"Decidability of branching bisimulation on normed commutative context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254493$5F067B78-6907-449C-955C-6B7A73B94AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fe2973e14118f974adc7048edaf25caf48bb1a1","datavalue":{"value":"1319.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$A5E559A8-0BCF-4206-AEA0-7297AB75866C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$D2C6F809-B08F-4F1B-8FF5-D1FF54DDE3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$E9AA732D-19FB-49AA-923B-257F84A13983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$511ECEEC-00E8-408F-BA5A-53E4FCE44729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$1E224D10-2626-4FA2-A7AF-3DE8C23C50DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254493$BAA97B6C-2A28-423A-97DC-B847FC414179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$92F2DD8F-D613-46BF-9937-93685D14AC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$641D2441-27E5-4944-A96B-B6A800AE3C5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c672b8dba776f11a50c382a9106401d272dca1d","datavalue":{"value":"6398301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$9A69E38D-5A11-4DC9-84B4-6D8D7FB7D20C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9faadcd25ba6bfcb6574f70813d64f7651f95350","datavalue":{"value":"branching bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254493$A73FA9DB-6F4E-40C0-976A-0D62BF54136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8f537834ed1ae49eff8e5146b66a0e63eb0bf4","datavalue":{"value":"commutative context-free graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254493$F689ADF9-551B-497B-914D-45DCC954A981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254493$5E8AB001-A4C3-4ECA-8308-4FDFCB7325AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254493$8836B547-2456-43C3-A349-489935E6B750","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":"Q2254493$DD01F417-34CC-4EC7-8029-DB2590A05595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"177b4abcef70b3d3fd590decad7bf3f256c13e05","datavalue":{"value":"https://doi.org/10.1007/s00224-013-9505-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254493$6E933150-7919-4504-9E11-4E559868AE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d24f5ccc71cb64565e3f3dfe7280bee6b97dcf4d","datavalue":{"value":"W1983845977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$CC9436D4-97A4-4B61-A3E4-B9C27B4CBF6C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"42dbc850463dde74d798937f842a9e730af8977f","datavalue":{"value":"Q59394498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$F2216884-EEA6-435B-8F31-822ACD0C2069","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$6EB9BB52-0FE3-4D06-B17F-C9FF2FFDE548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfe8538ea2252dcaa532f026bb72e391a004ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3090854,"id":"Q3090854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$017AC147-8EF4-4D22-A97C-7990BA423DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$63E25BA6-6B68-4014-A341-79A3A1FFC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09873cffd167d733116a0af539165519c3cedb51","datavalue":{"value":{"entity-type":"item","numeric-id":5179048,"id":"Q5179048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$19664ECF-7DC2-4E53-A931-FAD3509F43B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$2124F27F-2052-444A-BB92-50F6307CD4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c42340107608b244864a297fab282ad3104d016","datavalue":{"value":{"entity-type":"item","numeric-id":4986262,"id":"Q4986262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$F889BBC7-1A08-496A-A187-63A645E6123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$EFAC2309-FDE3-4D49-BB6D-902B5B6C1FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b422e323cfd6825189d1d8e5c7d8176911d5641","datavalue":{"value":{"entity-type":"item","numeric-id":2503324,"id":"Q2503324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$CB3CA39F-E2FF-4195-8D62-F7605177D04F","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":"Q2254493$E018188D-F852-4D70-AC4B-1187327DA6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95789b1ded4f64bc044fa53a65a44241082d655d","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$6F8FB464-1F9C-4C55-8AB4-B4B6688B7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$1CA4E80B-9B05-4677-8FE5-A3DBC694BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$DA77059F-4466-4E7B-92D3-BBD90D2D8B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$20055680-93AE-467D-929D-1B0A91497C7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d5383ca5a571fe8b8e99a7d3021340f55808f02","datavalue":{"value":"10.1007/S00224-013-9505-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$88DEB31B-A31B-40AA-88C4-9492464CF545","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2073865502307bea5bf812e1100cef3baba9e405","datavalue":{"value":"journals/mst/CzerwinskiHL14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254493$CE891398-B9BF-4EA5-A6CA-4CDDEB5ECD49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a33d730e58b3ea1389803b864df96f87ec5cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3090854,"id":"Q3090854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a5b1cde0e4369de4b03cc710e9a9b2a3ebc643","datavalue":{"value":{"amount":"+0.995855748653412","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":"Q2254493$BB1B9507-324D-4004-85F6-E41365B28359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b652b48dd6d14fca6b0e904dcfaa1f9f092249c","datavalue":{"value":{"entity-type":"item","numeric-id":1892892,"id":"Q1892892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ad2578a6cbce4f27071d34695609c8d771a6ce","datavalue":{"value":{"amount":"+0.8865296244621277","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":"Q2254493$71E323C7-D2E0-43C2-B116-8AA6A93A832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e785ea5ec0eaeadb14d6d07925cdede9fbf8b3","datavalue":{"value":{"amount":"+0.8401707410812378","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":"Q2254493$57E2088D-612D-48BD-8EC9-5FFDD1054358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1396d1e0e17f6387e96f18e799337976c630069c","datavalue":{"value":{"entity-type":"item","numeric-id":4635801,"id":"Q4635801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e785ea5ec0eaeadb14d6d07925cdede9fbf8b3","datavalue":{"value":{"amount":"+0.8401707410812378","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":"Q2254493$99C954F7-0A3C-411A-A0B7-437924B702C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce568d9c71d22147af8efd8b2c7e702bae60fc2","datavalue":{"value":{"amount":"+0.8400170207023621","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":"Q2254493$625EE959-7C3A-4165-BFE3-2BDDC4E05AD5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254493$4CD71BD9-B218-426E-A9BF-F2313F6EDFD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of branching bisimulation on normed commutative context-free processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_branching_bisimulation_on_normed_commutative_context-free_processes"}}}}}