@ARTICLE{kohlhase2001,
  author = {Kohlhase, Michael and Franke, Andreas},
  title = {{MBase: Representing Knowledge and Context for the Integration of
	Mathematical Software Systems}},
  journal = {Journal of Symbolic Computation},
  year = {2001},
  volume = {32},
  pages = {365--402},
  number = {4},
  month = sep,
  keywords = {\#proof\_theory},
  mendeley-tags = {\#proof\_theory}
}

{"_id":{"_str":"51f5bf0da57e92543f0001dd"},"__v":27,"authorIDs":["547a70888a7c93e060000da9","548505e89caf65162e000208"],"author_short":["Kohlhase, M.","Franke, A."],"bibbaseid":"kohlhase-franke-mbaserepresentingknowledgeandcontextfortheintegrationofmathematicalsoftwaresystems-2001","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kohlhase"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Franke"],"firstnames":["Andreas"],"suffixes":[]}],"title":"MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems","journal":"Journal of Symbolic Computation","year":"2001","volume":"32","pages":"365--402","number":"4","month":"September","keywords":"#proof_theory","mendeley-tags":"#proof_theory","bibtex":"@ARTICLE{kohlhase2001,\r\n author = {Kohlhase, Michael and Franke, Andreas},\r\n title = {{MBase: Representing Knowledge and Context for the Integration of\r\n\tMathematical Software Systems}},\r\n journal = {Journal of Symbolic Computation},\r\n year = {2001},\r\n volume = {32},\r\n pages = {365--402},\r\n number = {4},\r\n month = sep,\r\n keywords = {\\#proof\\_theory},\r\n mendeley-tags = {\\#proof\\_theory}\r\n}\r\n\r\n","author_short":["Kohlhase, M.","Franke, A."],"key":"kohlhase2001","id":"kohlhase2001","bibbaseid":"kohlhase-franke-mbaserepresentingknowledgeandcontextfortheintegrationofmathematicalsoftwaresystems-2001","role":"author","urls":{},"keyword":["#proof_theory"],"downloads":0,"html":""},"bibtype":"article","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof_theory"],"search_terms":["mbase","representing","knowledge","context","integration","mathematical","software","systems","kohlhase","franke"],"title":"MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems","title_words":["mbase","representing","knowledge","context","integration","mathematical","software","systems"],"year":2001,"dataSources":["drTBSwRdnSo2Wujnd"]}