@inproceedings{C42,
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Handbook of the 1st World Congress on Logic and
                  Religion, Jo\~ao Pessoa, Brazil},
  Editor =	 {Ricardo Souza Silvestre and Jean-Yves B\'eziau},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(Invited abstract)},
  Pages =	 13,
  Title =	 {{G\"{o}del's} Ontological Argument Revisited --
                  Findings from a Computer-supported Analysis
                  (invited)},
  Url =
                  {http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf},
  Year =	 2015,
}

{"_id":"2FJQqmEEqB3Tq6ED2","bibbaseid":"benzmller-gdelsontologicalargumentrevisitedfindingsfromacomputersupportedanalysisinvited-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"Handbook of the 1st World Congress on Logic and Religion, João Pessoa, Brazil","editor":[{"firstnames":["Ricardo","Souza"],"propositions":[],"lastnames":["Silvestre"],"suffixes":[]},{"firstnames":["Jean-Yves"],"propositions":[],"lastnames":["Béziau"],"suffixes":[]}],"keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics","note":"(Invited abstract)","pages":"13","title":"Gödel's Ontological Argument Revisited – Findings from a Computer-supported Analysis (invited)","url":"http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf","year":"2015","bibtex":"@inproceedings{C42,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Booktitle =\t {Handbook of the 1st World Congress on Logic and\n Religion, Jo\\~ao Pessoa, Brazil},\n Editor =\t {Ricardo Souza Silvestre and Jean-Yves B\\'eziau},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic,\n Computational Metaphysics},\n Note =\t {(Invited abstract)},\n Pages =\t 13,\n Title =\t {{G\\\"{o}del's} Ontological Argument Revisited --\n Findings from a Computer-supported Analysis\n (invited)},\n Url =\n {http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["Silvestre, R. S.","Béziau, J."],"key":"C42","id":"C42","bibbaseid":"benzmller-gdelsontologicalargumentrevisitedfindingsfromacomputersupportedanalysisinvited-2015","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","ontology reasoning","leo prover","higher order logic","computational metaphysics"],"search_terms":["del","ontological","argument","revisited","findings","computer","supported","analysis","invited","benzmüller"],"title":"Gödel's Ontological Argument Revisited – Findings from a Computer-supported Analysis (invited)","year":2015,"downloads":1}