@article{freek2009a,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-16 22:40:41 +0000},
	Date-Modified = {2014-11-16 22:42:26 +0000},
	Journal = {Sadhana},
	Keywords = {formalization of mathematics, Mizar, social choice theory, Ar- row's theorem, Gibbard-Satterthwaite theorem, proof errors},
	Number = {1},
	Pages = {193--220},
	Title = {Formalizing Arrow's theorem},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/arrow.pdf},
	Volume = {34},
	Year = {2009}}

{"_id":"x6hTWzv8nBAmkpMAC","bibbaseid":"wiedijk-formalizingarrowstheorem-2009","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:40:41 +0000","date-modified":"2014-11-16 22:42:26 +0000","journal":"Sadhana","keywords":"formalization of mathematics, Mizar, social choice theory, Ar- row's theorem, Gibbard-Satterthwaite theorem, proof errors","number":"1","pages":"193–220","title":"Formalizing Arrow's theorem","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/arrow.pdf","volume":"34","year":"2009","bibtex":"@article{freek2009a,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:40:41 +0000},\n\tDate-Modified = {2014-11-16 22:42:26 +0000},\n\tJournal = {Sadhana},\n\tKeywords = {formalization of mathematics, Mizar, social choice theory, Ar- row's theorem, Gibbard-Satterthwaite theorem, proof errors},\n\tNumber = {1},\n\tPages = {193--220},\n\tTitle = {Formalizing Arrow's theorem},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/arrow.pdf},\n\tVolume = {34},\n\tYear = {2009}}\n\n","author_short":["Wiedijk, F."],"key":"freek2009a","id":"freek2009a","bibbaseid":"wiedijk-formalizingarrowstheorem-2009","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/arrow.pdf"},"keyword":["formalization of mathematics","Mizar","social choice theory","Ar- row's theorem","Gibbard-Satterthwaite theorem","proof errors"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["formalization of mathematics","mizar","social choice theory","ar- row's theorem","gibbard-satterthwaite theorem","proof errors"],"search_terms":["formalizing","arrow","theorem","wiedijk"],"title":"Formalizing Arrow's theorem","year":2009}