@inproceedings{freek2003c,
	Author = {Freek Wiedijk},
	Booktitle = {th Dutch Proof Tools Day, Program + Proceedings, CWI, Amsterdam, 2003},
	Date-Added = {2014-11-15 23:01:20 +0000},
	Date-Modified = {2014-11-15 23:12:36 +0000},
	Editor = {Wan Fokkink and Jaco van de Pol},
	Title = {Formal proof sketches},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/notes/sketches.pdf},
	Year = {2003}}

{"_id":"XeygFRiaK5P5my3yv","bibbaseid":"wiedijk-formalproofsketches-2003","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"th Dutch Proof Tools Day, Program + Proceedings, CWI, Amsterdam, 2003","date-added":"2014-11-15 23:01:20 +0000","date-modified":"2014-11-15 23:12:36 +0000","editor":[{"firstnames":["Wan"],"propositions":[],"lastnames":["Fokkink"],"suffixes":[]},{"firstnames":["Jaco"],"propositions":["van","de"],"lastnames":["Pol"],"suffixes":[]}],"title":"Formal proof sketches","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/notes/sketches.pdf","year":"2003","bibtex":"@inproceedings{freek2003c,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {th Dutch Proof Tools Day, Program + Proceedings, CWI, Amsterdam, 2003},\n\tDate-Added = {2014-11-15 23:01:20 +0000},\n\tDate-Modified = {2014-11-15 23:12:36 +0000},\n\tEditor = {Wan Fokkink and Jaco van de Pol},\n\tTitle = {Formal proof sketches},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/notes/sketches.pdf},\n\tYear = {2003}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Fokkink, W.","van de Pol, J."],"key":"freek2003c","id":"freek2003c","bibbaseid":"wiedijk-formalproofsketches-2003","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/notes/sketches.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["formal","proof","sketches","wiedijk"],"title":"Formal proof sketches","year":2003}