{"entities":{"Q4938637":{"pageid":6968219,"ns":120,"title":"Item:Q4938637","lastrevid":108550910,"modified":"2026-11-06T23:02:31Z","type":"item","id":"Q4938637","labels":{"en":{"language":"en","value":"Bisimulation equivalence is decidable for normed process algebra. (Extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405656"}},"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":"Q4938637$54F4AF79-15E5-40D2-86CF-BCD8043003DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36a64b50b434927ce55c36d7136bc9f81509932a","datavalue":{"value":"0941.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938637$3E954A9E-7823-4E65-8DC0-122E9E34E2EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73a06eda8b8bc24f111c81307fdc67b9314f5da0","datavalue":{"value":{"time":"+2000-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938637$7CA946B9-CDAC-482E-86DD-6408575CED9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938637$D18C697F-6512-414F-B449-9D467CC811D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"003dc755158f68c8515d57f71454f1b49e419e26","datavalue":{"value":"1405656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938637$522448A7-490C-4316-9DE6-E1FD2027F482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938637$6652639B-CDAC-4427-8FC8-7E19966A13D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"871bc74022ea4f6f28f92d19fa6227a3c4413324","datavalue":{"value":{"entity-type":"item","numeric-id":1058289,"id":"Q1058289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938637$16D07875-1453-45F7-A3F1-9476E7759B97","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":"Q4938637$45720667-E273-498E-AED4-7AEDA68A7E5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fe9512895e3b8db1183528789344c08e5bb8085","datavalue":{"value":{"text":"Bisimulation equivalence is decidable for normed process algebra. (Extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4938637$C79030F4-707E-4D71-8BB1-55AB6AA04CA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"816ec71677b069deaa079d93b960ee7e0ee4fcb2","datavalue":{"value":"10.1007/3-540-48523-6_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938637$68C02006-8178-466B-8B0F-4495A2E885A1","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":"Q4938637$B12D8D88-7E63-40FF-AB90-755414B51FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation equivalence is decidable for normed process algebra. (Extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_equivalence_is_decidable_for_normed_process_algebra._(Extended_abstract)"}}}}}