@article{beeson2019,
	author = {Michael Beeson and Julien Narboux and Freek Wiedijk},
	date-added = {2018-05-26 01:28:07 +0000},
	date-modified = {2019-02-28 15:04:56 -0800},
	doi = {10.1007/s10472-018-9606-x},
	issn = {1573-7470},
	journal = {Annals of Mathematics and Artificial Intelligence},
	month = {January},
	number = {2},
	pages = {213-257},
	title = {Proof-Checking {E}uclid},
	url = {https://doi.org/10.1007/s10472-018-9606-x},
	url_pdf = {ProofCheckingEuclid.pdf},
	volume = {85},
	year = {2019},
	bdsk-url-1 = {https://doi.org/10.1007/s10472-018-9606-x}}

{"_id":"xu2THLE5GFqqAopR4","bibbaseid":"beeson-narboux-wiedijk-proofcheckingeuclid-2019","downloads":17,"creationDate":"2019-01-25T21:02:33.789Z","title":"Proof-Checking Euclid","author_short":["Beeson, M.","Narboux, J.","Wiedijk, F."],"year":2019,"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Julien"],"propositions":[],"lastnames":["Narboux"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2018-05-26 01:28:07 +0000","date-modified":"2019-02-28 15:04:56 -0800","doi":"10.1007/s10472-018-9606-x","issn":"1573-7470","journal":"Annals of Mathematics and Artificial Intelligence","month":"January","number":"2","pages":"213-257","title":"Proof-Checking Euclid","url":"https://doi.org/10.1007/s10472-018-9606-x","url_pdf":"ProofCheckingEuclid.pdf","volume":"85","year":"2019","bdsk-url-1":"https://doi.org/10.1007/s10472-018-9606-x","bibtex":"@article{beeson2019,\n\tauthor = {Michael Beeson and Julien Narboux and Freek Wiedijk},\n\tdate-added = {2018-05-26 01:28:07 +0000},\n\tdate-modified = {2019-02-28 15:04:56 -0800},\n\tdoi = {10.1007/s10472-018-9606-x},\n\tissn = {1573-7470},\n\tjournal = {Annals of Mathematics and Artificial Intelligence},\n\tmonth = {January},\n\tnumber = {2},\n\tpages = {213-257},\n\ttitle = {Proof-Checking {E}uclid},\n\turl = {https://doi.org/10.1007/s10472-018-9606-x},\n\turl_pdf = {ProofCheckingEuclid.pdf},\n\tvolume = {85},\n\tyear = {2019},\n\tbdsk-url-1 = {https://doi.org/10.1007/s10472-018-9606-x}}\n\n","author_short":["Beeson, M.","Narboux, J.","Wiedijk, F."],"key":"beeson2019","id":"beeson2019","bibbaseid":"beeson-narboux-wiedijk-proofcheckingeuclid-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10472-018-9606-x"," pdf":"http://www.michaelbeeson.com/research/papers/ProofCheckingEuclid.pdf"},"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"search_terms":["proof","checking","euclid","beeson","narboux","wiedijk"],"keywords":[],"authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"dataSources":["v9esbf6gQ8h64d3NA"]}