@inproceedings{W54,
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {ARQNL 2014. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  issn =	 {2398-7340},
  Keywords =	 {own, LEO Prover, Automated Reasoning, Proof
                  Transformation, Higher Order Logic},
  Pages =	 {37-41},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {{HOL} Provers for First-order Modal Logics ---
                  Experiments},
  Url =		 {https://easychair.org/publications/paper/sdnL},
  Volume =	 33,
  Year =	 2015,
  Doi =		 {10.29007/przw},
}

{"_id":"zXGt3X8xWTY548vA3","bibbaseid":"benzmller-holproversforfirstordermodallogicsexperiments-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics","editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]}],"issn":"2398-7340","keywords":"own, LEO Prover, Automated Reasoning, Proof Transformation, Higher Order Logic","pages":"37-41","publisher":"EasyChair","series":"EPiC Series in Computing","title":"HOL Provers for First-order Modal Logics — Experiments","url":"https://easychair.org/publications/paper/sdnL","volume":"33","year":"2015","doi":"10.29007/przw","bibtex":"@inproceedings{W54,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Booktitle =\t {ARQNL 2014. Automated Reasoning in Quantified\n Non-Classical Logics},\n Editor =\t {Christoph Benzm{\\\"u}ller and Jens Otten},\n issn =\t {2398-7340},\n Keywords =\t {own, LEO Prover, Automated Reasoning, Proof\n Transformation, Higher Order Logic},\n Pages =\t {37-41},\n Publisher =\t {EasyChair},\n Series =\t {EPiC Series in Computing},\n Title =\t {{HOL} Provers for First-order Modal Logics ---\n Experiments},\n Url =\t\t {https://easychair.org/publications/paper/sdnL},\n Volume =\t 33,\n Year =\t 2015,\n Doi =\t\t {10.29007/przw},\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["Benzmüller, C.","Otten, J."],"key":"W54","id":"W54","bibbaseid":"benzmller-holproversforfirstordermodallogicsexperiments-2015","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/sdnL"},"keyword":["own","LEO Prover","Automated Reasoning","Proof Transformation","Higher Order Logic"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","leo prover","automated reasoning","proof transformation","higher order logic"],"search_terms":["hol","provers","first","order","modal","logics","experiments","benzmüller"],"title":"HOL Provers for First-order Modal Logics — Experiments","year":2015,"downloads":3}