Position paper: A real Semantic Web for mathematics deserves a real semantics

by P. Corbineau , H. Geuvers , C. Kaliszyk , J. Mckinna , F. Wiedijk