提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/mics/KohlhaseR12AU-迈克尔·科尔哈斯佛罗里达州拉贝TI-OpenMath和MathML3的语义。JO-数学。计算。科学。VL-6IS-3标准SP-235型EP-2602012年上半年//DO-2007年10月10日/S11786-012-0113-XUR-（欧元）https://doi.org/10.1007/s11786-012-0113-xUR-（欧元）https://www.wikidata.org/entity/Q57389373急诊室-