The Mizar mathematical library in OMDoc: Translation and applications

Iancu M, Kohlhase M, Rabe F, Urban J (2013)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2013

Journal

Journal of Automated Reasoning Springer Verlag (Germany)

Book Volume: 50

Pages Range: 191-202

Journal Issue: 2

DOI: 10.1007/s10817-012-9271-4

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Univerzita Karlova v Praze / Charles University in Prague CZ Czech Republic (CZ)

How to cite

APA:

Iancu, M., Kohlhase, M., Rabe, F., & Urban, J. (2013). The Mizar mathematical library in OMDoc: Translation and applications. Journal of Automated Reasoning, 50(2), 191-202. https://doi.org/10.1007/s10817-012-9271-4

MLA:

Iancu, Mihnea, et al. "The Mizar mathematical library in OMDoc: Translation and applications." Journal of Automated Reasoning 50.2 (2013): 191-202.

BibTeX: Download