@article{J32,
  Author =	 {Benzm{\"u}ller, Christoph and Weber, Leon and
                  Woltzenlogel Paleo, Bruno},
  Journal =	 {Logica Universalis},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Semantic Embedding, Higher Order Logic, Higher Order
                  Modal Logic, Computational Metaphysics,
                  DFG-2501-Selected},
  Volume =	 11,
  Number =	 1,
  Pages =	 {139-151},
  Doi =		 {10.1007/s11787-017-0160-9},
  OPTurl =		 {http://christoph-benzmueller.de/papers/J32.pdf},
  title =	 {Computer-Assisted Analysis of the
                  {Anderson-H\'{a}jek} Controversy},
  Year =	 2017,
  url = {https://www.researchgate.net/publication/313943927},
}

{"_id":"Ks23ufuqk6DpE5vcP","bibbaseid":"benzmller-weber-woltzenlogelpaleo-computerassistedanalysisoftheandersonhjekcontroversy-2017","author_short":["Benzmüller, C.","Weber, L.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Weber"],"firstnames":["Leon"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"journal":"Logica Universalis","keywords":"own, Automated Reasoning, Interactive Proof, Semantic Embedding, Higher Order Logic, Higher Order Modal Logic, Computational Metaphysics, DFG-2501-Selected","volume":"11","number":"1","pages":"139-151","doi":"10.1007/s11787-017-0160-9","opturl":"http://christoph-benzmueller.de/papers/J32.pdf","title":"Computer-Assisted Analysis of the Anderson-Hájek Controversy","year":"2017","url":"https://www.researchgate.net/publication/313943927","bibtex":"@article{J32,\n Author =\t {Benzm{\\\"u}ller, Christoph and Weber, Leon and\n Woltzenlogel Paleo, Bruno},\n Journal =\t {Logica Universalis},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Semantic Embedding, Higher Order Logic, Higher Order\n Modal Logic, Computational Metaphysics,\n DFG-2501-Selected},\n Volume =\t 11,\n Number =\t 1,\n Pages =\t {139-151},\n Doi =\t\t {10.1007/s11787-017-0160-9},\n OPTurl =\t\t {http://christoph-benzmueller.de/papers/J32.pdf},\n title =\t {Computer-Assisted Analysis of the\n {Anderson-H\\'{a}jek} Controversy},\n Year =\t 2017,\n url = {https://www.researchgate.net/publication/313943927},\n}\n\n","author_short":["Benzmüller, C.","Weber, L.","Woltzenlogel Paleo, B."],"key":"J32","id":"J32","bibbaseid":"benzmller-weber-woltzenlogelpaleo-computerassistedanalysisoftheandersonhjekcontroversy-2017","role":"author","urls":{"url":"https://www.researchgate.net/publication/313943927"},"keyword":["own","Automated Reasoning","Interactive Proof","Semantic Embedding","Higher Order Logic","Higher Order Modal Logic","Computational Metaphysics","DFG-2501-Selected"],"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","semantic embedding","higher order logic","higher order modal logic","computational metaphysics","dfg-2501-selected"],"search_terms":["computer","assisted","analysis","anderson","jek","controversy","benzmüller","weber","woltzenlogel paleo"],"title":"Computer-Assisted Analysis of the Anderson-Hájek Controversy","year":2017,"downloads":2}