@inproceedings{C41,
  Author =	 {Christoph Benzm{\"u}ller and Leon Weber and Bruno
                  Woltzenlogel Paleo},
  Booktitle =	 {Handbook of the 1st World Congress on Logic and
                  Religion, Joao 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 =	 {(superseded by 2016 paper in Logica Universalis)},
  Pages =	 {53-54},
  Title =	 {Computer-Assisted Analysis of the
                  {Anderson-H\'{a}jek} Ontological Controversy},
  Url =
                  {http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf},
  Year =	 2015,
}

{"_id":"z5Cd3fvqAcMq3QDm4","bibbaseid":"benzmller-weber-paleo-computerassistedanalysisoftheandersonhjekontologicalcontroversy-2015","author_short":["Benzmüller, C.","Weber, L.","Paleo, B. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Leon"],"propositions":[],"lastnames":["Weber"],"suffixes":[]},{"firstnames":["Bruno","Woltzenlogel"],"propositions":[],"lastnames":["Paleo"],"suffixes":[]}],"booktitle":"Handbook of the 1st World Congress on Logic and Religion, Joao 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":"(superseded by 2016 paper in Logica Universalis)","pages":"53-54","title":"Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy","url":"http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf","year":"2015","bibtex":"@inproceedings{C41,\n Author =\t {Christoph Benzm{\\\"u}ller and Leon Weber and Bruno\n Woltzenlogel Paleo},\n Booktitle =\t {Handbook of the 1st World Congress on Logic and\n Religion, Joao 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 {(superseded by 2016 paper in Logica Universalis)},\n Pages =\t {53-54},\n Title =\t {Computer-Assisted Analysis of the\n {Anderson-H\\'{a}jek} Ontological Controversy},\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.","Weber, L.","Paleo, B. W."],"editor_short":["Silvestre, R. S.","Béziau, J."],"key":"C41","id":"C41","bibbaseid":"benzmller-weber-paleo-computerassistedanalysisoftheandersonhjekontologicalcontroversy-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":["computer","assisted","analysis","anderson","jek","ontological","controversy","benzmüller","weber","paleo"],"title":"Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy","year":2015,"downloads":1}