@article{freek2002c,
	Author = {Marcus Wenzel and Freek Wiedijk},
	Date-Added = {2014-11-15 22:45:08 +0000},
	Date-Modified = {2014-11-15 22:46:23 +0000},
	Journal = {Journal of Automated Reasoning},
	Pages = {3889--411},
	Title = {A comparison of the mathematical proof languages Mizar and Isar},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/romantic.pdf},
	Year = {2002}}

{"_id":"8q7vCnj2gN8NpxjG2","bibbaseid":"wenzel-wiedijk-acomparisonofthemathematicalprooflanguagesmizarandisar-2002","author_short":["Wenzel, M.","Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marcus"],"propositions":[],"lastnames":["Wenzel"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-15 22:45:08 +0000","date-modified":"2014-11-15 22:46:23 +0000","journal":"Journal of Automated Reasoning","pages":"3889–411","title":"A comparison of the mathematical proof languages Mizar and Isar","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/romantic.pdf","year":"2002","bibtex":"@article{freek2002c,\n\tAuthor = {Marcus Wenzel and Freek Wiedijk},\n\tDate-Added = {2014-11-15 22:45:08 +0000},\n\tDate-Modified = {2014-11-15 22:46:23 +0000},\n\tJournal = {Journal of Automated Reasoning},\n\tPages = {3889--411},\n\tTitle = {A comparison of the mathematical proof languages Mizar and Isar},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/romantic.pdf},\n\tYear = {2002}}\n\n","author_short":["Wenzel, M.","Wiedijk, F."],"key":"freek2002c","id":"freek2002c","bibbaseid":"wenzel-wiedijk-acomparisonofthemathematicalprooflanguagesmizarandisar-2002","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/romantic.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["comparison","mathematical","proof","languages","mizar","isar","wenzel","wiedijk"],"title":"A comparison of the mathematical proof languages Mizar and Isar","year":2002}