@inproceedings{freek2007c,
	Author = {Freek Wiedijk},
	Booktitle = {From Insight to Proof, Festschrift in Honour of Andrzej Trybulec},
	Date-Added = {2014-11-16 22:14:12 +0000},
	Date-Modified = {2014-11-16 22:16:46 +0000},
	Editor = {R. Matuszwski and A. Zalewska},
	Pages = {121--133},
	Title = {The QED Manifesto Revisited},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/qed2.pdf},
	Year = {2007}}

{"_id":"sqS4mPKXHzdEZHLjx","bibbaseid":"wiedijk-theqedmanifestorevisited-2007","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"From Insight to Proof, Festschrift in Honour of Andrzej Trybulec","date-added":"2014-11-16 22:14:12 +0000","date-modified":"2014-11-16 22:16:46 +0000","editor":[{"firstnames":["R."],"propositions":[],"lastnames":["Matuszwski"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Zalewska"],"suffixes":[]}],"pages":"121–133","title":"The QED Manifesto Revisited","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/qed2.pdf","year":"2007","bibtex":"@inproceedings{freek2007c,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {From Insight to Proof, Festschrift in Honour of Andrzej Trybulec},\n\tDate-Added = {2014-11-16 22:14:12 +0000},\n\tDate-Modified = {2014-11-16 22:16:46 +0000},\n\tEditor = {R. Matuszwski and A. Zalewska},\n\tPages = {121--133},\n\tTitle = {The QED Manifesto Revisited},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/qed2.pdf},\n\tYear = {2007}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Matuszwski, R.","Zalewska, A."],"key":"freek2007c","id":"freek2007c","bibbaseid":"wiedijk-theqedmanifestorevisited-2007","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/qed2.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["qed","manifesto","revisited","wiedijk"],"title":"The QED Manifesto Revisited","year":2007}