@misc{C78arxiv,
  doi =		 {10.48550/ARXIV.1910.12863},
  OPTurl =		 {https://arxiv.org/abs/1910.12863},
  author =	 {Tiemens, Lucca and Scott, Dana S. and
                  Benzm{\"u}ller, Christoph and Benda, Miroslav},
  title =	 {Computer-supported Exploration of a Categorical
                  Axiomatization of Modeloids},
  publisher =	 {arXiv},
  note =         {Preprint},
  year =	 2019,
  copyright =	 {arXiv.org perpetual, non-exclusive license}
}

{"_id":"m2oMCgEa8J8j224Ww","bibbaseid":"tiemens-scott-benzmller-benda-computersupportedexplorationofacategoricalaxiomatizationofmodeloids-2019","author_short":["Tiemens, L.","Scott, D. S.","Benzmüller, C.","Benda, M."],"bibdata":{"bibtype":"misc","type":"misc","doi":"10.48550/ARXIV.1910.12863","opturl":"https://arxiv.org/abs/1910.12863","author":[{"propositions":[],"lastnames":["Tiemens"],"firstnames":["Lucca"],"suffixes":[]},{"propositions":[],"lastnames":["Scott"],"firstnames":["Dana","S."],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Benda"],"firstnames":["Miroslav"],"suffixes":[]}],"title":"Computer-supported Exploration of a Categorical Axiomatization of Modeloids","publisher":"arXiv","note":"Preprint","year":"2019","copyright":"arXiv.org perpetual, non-exclusive license","bibtex":"@misc{C78arxiv,\n doi =\t\t {10.48550/ARXIV.1910.12863},\n OPTurl =\t\t {https://arxiv.org/abs/1910.12863},\n author =\t {Tiemens, Lucca and Scott, Dana S. and\n Benzm{\\\"u}ller, Christoph and Benda, Miroslav},\n title =\t {Computer-supported Exploration of a Categorical\n Axiomatization of Modeloids},\n publisher =\t {arXiv},\n note = {Preprint},\n year =\t 2019,\n copyright =\t {arXiv.org perpetual, non-exclusive license}\n}\n\n","author_short":["Tiemens, L.","Scott, D. S.","Benzmüller, C.","Benda, M."],"key":"C78arxiv","id":"C78arxiv","bibbaseid":"tiemens-scott-benzmller-benda-computersupportedexplorationofacategoricalaxiomatizationofmodeloids-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"misc","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["computer","supported","exploration","categorical","axiomatization","modeloids","tiemens","scott","benzmüller","benda"],"title":"Computer-supported Exploration of a Categorical Axiomatization of Modeloids","year":2019,"downloads":1}