@inproceedings{C47,
  Address =	 {Berlin, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Maximilian Claus and
                  Nik Sultana},
  Booktitle =	 {PxTP 2015},
  Comment =	 {<a href="http://christoph-benzmueller.de/papers/2015-PxTP.pdf">slides</a>},
  Doi =		 {10.4204/EPTCS.186.5},
  Editor =	 {Cezary Kaliszyk and Andrei Paskevich},
  Issn =	 {2075-2180},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic},
  Pages =	 {27-41},
  Publisher =	 {EPTCS},
  Title =	 {Systematic Verification of the Modal Logic Cube in
                  {Isabelle/HOL}},
  url_preprint = {http://christoph-benzmueller.de/papers/C47.pdf},
  Volume =	 186,
  Year =	 2015,
}

{"_id":"mX4gkJCTCofFAgasq","bibbaseid":"benzmller-claus-sultana-systematicverificationofthemodallogiccubeinisabellehol-2015","author_short":["Benzmüller, C.","Claus, M.","Sultana, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Germany","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Maximilian"],"propositions":[],"lastnames":["Claus"],"suffixes":[]},{"firstnames":["Nik"],"propositions":[],"lastnames":["Sultana"],"suffixes":[]}],"booktitle":"PxTP 2015","comment":"<a href=\"http://christoph-benzmueller.de/papers/2015-PxTP.pdf\">slides</a>","doi":"10.4204/EPTCS.186.5","editor":[{"firstnames":["Cezary"],"propositions":[],"lastnames":["Kaliszyk"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Paskevich"],"suffixes":[]}],"issn":"2075-2180","keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic","pages":"27-41","publisher":"EPTCS","title":"Systematic Verification of the Modal Logic Cube in Isabelle/HOL","url_preprint":"http://christoph-benzmueller.de/papers/C47.pdf","volume":"186","year":"2015","bibtex":"@inproceedings{C47,\n Address =\t {Berlin, Germany},\n Author =\t {Christoph Benzm{\\\"u}ller and Maximilian Claus and\n Nik Sultana},\n Booktitle =\t {PxTP 2015},\n Comment =\t {<a href=\"http://christoph-benzmueller.de/papers/2015-PxTP.pdf\">slides</a>},\n Doi =\t\t {10.4204/EPTCS.186.5},\n Editor =\t {Cezary Kaliszyk and Andrei Paskevich},\n Issn =\t {2075-2180},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic},\n Pages =\t {27-41},\n Publisher =\t {EPTCS},\n Title =\t {Systematic Verification of the Modal Logic Cube in\n {Isabelle/HOL}},\n url_preprint = {http://christoph-benzmueller.de/papers/C47.pdf},\n Volume =\t 186,\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Claus, M.","Sultana, N."],"editor_short":["Kaliszyk, C.","Paskevich, A."],"key":"C47","id":"C47","bibbaseid":"benzmller-claus-sultana-systematicverificationofthemodallogiccubeinisabellehol-2015","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/C47.pdf"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","ontology reasoning","leo prover","higher order logic"],"search_terms":["systematic","verification","modal","logic","cube","isabelle","hol","benzmüller","claus","sultana"],"title":"Systematic Verification of the Modal Logic Cube in Isabelle/HOL","year":2015,"downloads":2}