@article{freek2002b,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-15 22:41:14 +0000},
	Date-Modified = {2014-11-15 22:43:16 +0000},
	Journal = {Journal of Automated Reasoning},
	Keywords = {Automath, Formalized mathematics, Proof objects, Type theory},
	Pages = {365--387},
	Title = {A new implementation of Automath},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/aut/aut.pdf},
	Volume = {29},
	Year = {2002}}

{"_id":"MEYAWnabw6zuEDxci","bibbaseid":"wiedijk-anewimplementationofautomath-2002","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-15 22:41:14 +0000","date-modified":"2014-11-15 22:43:16 +0000","journal":"Journal of Automated Reasoning","keywords":"Automath, Formalized mathematics, Proof objects, Type theory","pages":"365–387","title":"A new implementation of Automath","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/aut/aut.pdf","volume":"29","year":"2002","bibtex":"@article{freek2002b,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-15 22:41:14 +0000},\n\tDate-Modified = {2014-11-15 22:43:16 +0000},\n\tJournal = {Journal of Automated Reasoning},\n\tKeywords = {Automath, Formalized mathematics, Proof objects, Type theory},\n\tPages = {365--387},\n\tTitle = {A new implementation of Automath},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/aut/aut.pdf},\n\tVolume = {29},\n\tYear = {2002}}\n\n","author_short":["Wiedijk, F."],"key":"freek2002b","id":"freek2002b","bibbaseid":"wiedijk-anewimplementationofautomath-2002","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/aut/aut.pdf"},"keyword":["Automath","Formalized mathematics","Proof objects","Type theory"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["automath","formalized mathematics","proof objects","type theory"],"search_terms":["new","implementation","automath","wiedijk"],"title":"A new implementation of Automath","year":2002}