@book{freek2006d,
	Date-Added = {2014-11-16 22:04:07 +0000},
	Date-Modified = {2014-11-16 22:06:00 +0000},
	Editor = {Freek Wiedijk},
	Foreword = {Dana S. Scott},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {The Seventeen Provers of the World},
	Volume = {3600}}

{"_id":"3JEkR6LLer26rrKND","bibbaseid":"wiedijk-theseventeenproversoftheworld","bibdata":{"bibtype":"book","type":"book","date-added":"2014-11-16 22:04:07 +0000","date-modified":"2014-11-16 22:06:00 +0000","editor":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"foreword":"Dana S. Scott","publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","title":"The Seventeen Provers of the World","volume":"3600","bibtex":"@book{freek2006d,\n\tDate-Added = {2014-11-16 22:04:07 +0000},\n\tDate-Modified = {2014-11-16 22:06:00 +0000},\n\tEditor = {Freek Wiedijk},\n\tForeword = {Dana S. Scott},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Artificial Intelligence},\n\tTitle = {The Seventeen Provers of the World},\n\tVolume = {3600}}\n\n","editor_short":["Wiedijk, F."],"key":"freek2006d","id":"freek2006d","bibbaseid":"wiedijk-theseventeenproversoftheworld","role":"editor","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"book","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["seventeen","provers","world"],"title":"The Seventeen Provers of the World","year":null}