@proceedings{freek2011c,
	Date-Added = {2014-11-16 23:09:11 +0000},
	Date-Modified = {2014-11-16 23:11:41 +0000},
	Editor = {M. van Eekelen and Herman Geuvers and J. Schmalz and Freek Wiedijk},
	Keywords = {Edited},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Interactive Theorem Proving, Proceedings of the Second International Conference on Interactive Theorem Proving, ITP 2011, Berg en Dal, The Netherlands},
	Volume = {6898},
	Year = {2011}}

{"_id":"yitMuusvHpQe7MWaZ","bibbaseid":"vaneekelen-geuvers-schmalz-wiedijk-interactivetheoremprovingproceedingsofthesecondinternationalconferenceoninteractivetheoremprovingitp2011bergendalthenetherlands-2011","bibdata":{"bibtype":"proceedings","type":"proceedings","date-added":"2014-11-16 23:09:11 +0000","date-modified":"2014-11-16 23:11:41 +0000","editor":[{"firstnames":["M."],"propositions":["van"],"lastnames":["Eekelen"],"suffixes":[]},{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Schmalz"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"keywords":"Edited","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Interactive Theorem Proving, Proceedings of the Second International Conference on Interactive Theorem Proving, ITP 2011, Berg en Dal, The Netherlands","volume":"6898","year":"2011","bibtex":"@proceedings{freek2011c,\n\tDate-Added = {2014-11-16 23:09:11 +0000},\n\tDate-Modified = {2014-11-16 23:11:41 +0000},\n\tEditor = {M. van Eekelen and Herman Geuvers and J. Schmalz and Freek Wiedijk},\n\tKeywords = {Edited},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Interactive Theorem Proving, Proceedings of the Second International Conference on Interactive Theorem Proving, ITP 2011, Berg en Dal, The Netherlands},\n\tVolume = {6898},\n\tYear = {2011}}\n\n","editor_short":["van Eekelen, M.","Geuvers, H.","Schmalz, J.","Wiedijk, F."],"key":"freek2011c","id":"freek2011c","bibbaseid":"vaneekelen-geuvers-schmalz-wiedijk-interactivetheoremprovingproceedingsofthesecondinternationalconferenceoninteractivetheoremprovingitp2011bergendalthenetherlands-2011","role":"editor","urls":{},"keyword":["Edited"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"proceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["edited"],"search_terms":["interactive","theorem","proving","proceedings","second","international","conference","interactive","theorem","proving","itp","2011","berg","dal","netherlands"],"title":"Interactive Theorem Proving, Proceedings of the Second International Conference on Interactive Theorem Proving, ITP 2011, Berg en Dal, The Netherlands","year":2011}