@article{freek2009b,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-16 22:44:11 +0000},
	Date-Modified = {2014-11-16 22:45:50 +0000},
	Journal = {Nieuwsbrief van de NVTI},
	Pages = {61--68},
	Title = {Practising logic through the web},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nvti-proofweb.pdf},
	Volume = {13},
	Year = {2009}}

{"_id":"KgnKLoPGxr8xsgYsP","bibbaseid":"wiedijk-practisinglogicthroughtheweb-2009","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:44:11 +0000","date-modified":"2014-11-16 22:45:50 +0000","journal":"Nieuwsbrief van de NVTI","pages":"61–68","title":"Practising logic through the web","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nvti-proofweb.pdf","volume":"13","year":"2009","bibtex":"@article{freek2009b,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:44:11 +0000},\n\tDate-Modified = {2014-11-16 22:45:50 +0000},\n\tJournal = {Nieuwsbrief van de NVTI},\n\tPages = {61--68},\n\tTitle = {Practising logic through the web},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nvti-proofweb.pdf},\n\tVolume = {13},\n\tYear = {2009}}\n\n","author_short":["Wiedijk, F."],"key":"freek2009b","id":"freek2009b","bibbaseid":"wiedijk-practisinglogicthroughtheweb-2009","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nvti-proofweb.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["practising","logic","through","web","wiedijk"],"title":"Practising logic through the web","year":2009}