%0 Journal Article %1 journals/jar/IancuKRU13 %A Iancu, Mihnea %A Kohlhase, Michael %A Rabe, Florian %A Urban, Josef %D 2013 %J J. Autom. Reason. %K %N 2 %P 191-202 %T The Mizar Mathematical Library in OMDoc: Translation and Applications. %U http://dblp.uni-trier.de/db/journals/jar/jar50.html#IancuKRU13 %V 50

@article{journals/jar/IancuKRU13, added-at = {2023-12-12T21:21:32.000+0100}, author = {Iancu, Mihnea and Kohlhase, Michael and Rabe, Florian and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/21c6ba0fa21bdc98a9221c40f2e4fafd7/admin}, ee = {https://www.wikidata.org/entity/Q57389354}, interhash = {3cf917ae76653407c3a914aeda9a1c7c}, intrahash = {1c6ba0fa21bdc98a9221c40f2e4fafd7}, journal = {J. Autom. Reason.}, keywords = {}, number = 2, pages = {191-202}, timestamp = {2023-12-12T21:21:32.000+0100}, title = {The Mizar Mathematical Library in OMDoc: Translation and Applications.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar50.html#IancuKRU13}, volume = 50, year = 2013 }