Semantics of Mizar as an Isabelle Object Logic. - Kaliszyk, Cezary; Pąk, Karol (Journal of Automated Reasoning, 2019)