@inproceedings{C52,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Science \& Spiritual Quest, Proceedings of the 9th
                  All India Students' Conference, 30th October -- 1
                  November, 2015, IIT Kharagpur, India},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2015-AISSQ.pdf">slides</a>},
  Editor =	 {Mishram, Subhash C. and Uppaluri, Ramgopal and
                  Agarwal, Varun},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning, Ontology Reasoning,
                  Computational Metaphysics},
  Note =	 {(Invited paper)},
  Pages =	 {23-40},
  Publisher =	 {Bhaktivedanta Institute, Kolkata,
                  \url{www.binstitute.org}},
  Title =	 {Experiments in Computational Metaphysics:
                  {G\"odel's} Proof of God's Existence},
  url_preprint = {https://www.researchgate.net/publication/311587544},
  Year =	 2015,
}

{"_id":"rKQMgxZtMSXn7E7fM","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"booktitle":"Science & Spiritual Quest, Proceedings of the 9th All India Students' Conference, 30th October – 1 November, 2015, IIT Kharagpur, India","comment":"<a href=\"http://christoph-benzmueller.de//papers/2015-AISSQ.pdf\">slides</a>","editor":[{"propositions":[],"lastnames":["Mishram"],"firstnames":["Subhash","C."],"suffixes":[]},{"propositions":[],"lastnames":["Uppaluri"],"firstnames":["Ramgopal"],"suffixes":[]},{"propositions":[],"lastnames":["Agarwal"],"firstnames":["Varun"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Semantic Embedding, Modal Logics, Automated Reasoning, Ontology Reasoning, Computational Metaphysics","note":"(Invited paper)","pages":"23-40","publisher":"Bhaktivedanta Institute, Kolkata, ˘rlwww.binstitute.org","title":"Experiments in Computational Metaphysics: Gödel's Proof of God's Existence","url_preprint":"https://www.researchgate.net/publication/311587544","year":"2015","bibtex":"@inproceedings{C52,\n Author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {Science \\& Spiritual Quest, Proceedings of the 9th\n All India Students' Conference, 30th October -- 1\n November, 2015, IIT Kharagpur, India},\n Comment =\t {<a href=\"http://christoph-benzmueller.de//papers/2015-AISSQ.pdf\">slides</a>},\n Editor =\t {Mishram, Subhash C. and Uppaluri, Ramgopal and\n Agarwal, Varun},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding, Modal\n Logics, Automated Reasoning, Ontology Reasoning,\n Computational Metaphysics},\n Note =\t {(Invited paper)},\n Pages =\t {23-40},\n Publisher =\t {Bhaktivedanta Institute, Kolkata,\n \\url{www.binstitute.org}},\n Title =\t {Experiments in Computational Metaphysics:\n {G\\\"odel's} Proof of God's Existence},\n url_preprint = {https://www.researchgate.net/publication/311587544},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Mishram, S. C.","Uppaluri, R.","Agarwal, V."],"key":"C52","id":"C52","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/311587544"},"keyword":["own","Higher Order Logic","Semantic Embedding","Modal Logics","Automated Reasoning","Ontology Reasoning","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","modal logics","automated reasoning","ontology reasoning","computational metaphysics"],"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":2015,"downloads":2}