Semantics of \textsc{OpenMath} and \textsc{MathML3}
scientific article; zbMATH DE number 6157176