@Article{J36,
  Keywords =	 {own, Automated Reasoning, Intensional Higher-Order
                  Modal Logic, Higher Order Logic},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  title =	 {Experiments in {Computational Metaphysics}:
                  {G\"odel's} Proof of {God's} Existence},
  journal =	 {Savijnanam: scientific exploration for a spiritual
                  paradigm. Journal of the Bhaktivedanta Institute},
  year =	 2017,
  volume =	 9,
  pages =	 {43-57},
  url =
                  {https://sites.google.com/binstitute.org/journal/article-3-page-43},
  issn =	 {0972-6586},
  url_preprint = {https://www.researchgate.net/publication/334519782},
}

{"_id":"ejczp7X8nJHima2Au","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2017","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"article","type":"article","keywords":"own, Automated Reasoning, Intensional Higher-Order Modal Logic, Higher Order Logic","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"title":"Experiments in Computational Metaphysics: Gödel's Proof of God's Existence","journal":"Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute","year":"2017","volume":"9","pages":"43-57","url":"https://sites.google.com/binstitute.org/journal/article-3-page-43","issn":"0972-6586","url_preprint":"https://www.researchgate.net/publication/334519782","bibtex":"@Article{J36,\n Keywords =\t {own, Automated Reasoning, Intensional Higher-Order\n Modal Logic, Higher Order Logic},\n author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n title =\t {Experiments in {Computational Metaphysics}:\n {G\\\"odel's} Proof of {God's} Existence},\n journal =\t {Savijnanam: scientific exploration for a spiritual\n paradigm. Journal of the Bhaktivedanta Institute},\n year =\t 2017,\n volume =\t 9,\n pages =\t {43-57},\n url =\n {https://sites.google.com/binstitute.org/journal/article-3-page-43},\n issn =\t {0972-6586},\n url_preprint = {https://www.researchgate.net/publication/334519782},\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"key":"J36","id":"J36","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2017","role":"author","urls":{"Paper":"https://sites.google.com/binstitute.org/journal/article-3-page-43"," preprint":"https://www.researchgate.net/publication/334519782"},"keyword":["own","Automated Reasoning","Intensional Higher-Order Modal Logic","Higher Order Logic"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","intensional higher-order modal logic","higher order logic"],"search_terms":["experiments","computational","metaphysics","del","proof","god","existence","benzmüller","woltzenlogel paleo"],"title":"Experiments in Computational Metaphysics: Gödel's Proof of God's Existence","year":2017,"downloads":1}