{"_id":"JkrXZbcMyN4CXe5y2","bibbaseid":"anonymous-formalizationmechanizationandautomationofgdelsproofofgodsexistence-2013","bibdata":{"bibtype":"book","type":"book","optauthor":"Christoph Benzmüller and Woltzenlogel Paleo, Bruno","note":"<a href=\"http://christoph-benzmueller.de/papers/2013-FUBerlin.pdf\">slides</a>","keywords":"presentation, invited presentations","publisher":"Informatik Kolloquium, Freie Universität Berlin, Germany","title":"Formalization, Mechanization and Automation of Gödel's Proof of God's Existence","year":"2013","bibtex":"@book{Talk177,\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo, Bruno},\n\tNote = {<a href=\"http://christoph-benzmueller.de/papers/2013-FUBerlin.pdf\">slides</a>},\n\tKeywords = {presentation, invited presentations},\n\tPublisher = {Informatik Kolloquium, Freie Universit\\\"at Berlin, Germany},\n\tTitle = {Formalization, Mechanization and Automation of G\\\"odel's Proof of God's Existence},\n\tYear = 2013}\n\n","key":"Talk177","id":"Talk177","bibbaseid":"anonymous-formalizationmechanizationandautomationofgdelsproofofgodsexistence-2013","role":"","urls":{},"keyword":["presentation","invited presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","invited presentations"],"search_terms":["formalization","mechanization","automation","del","proof","god","existence"],"title":"Formalization, Mechanization and Automation of Gödel's Proof of God's Existence","year":2013}