@techreport{Kohlhase2009,
title = {Notations for Active Mathematical Documents},
author = {Michael Kohlhase and Christoph Lange and Christine Müller and Normen Müller and Florian Rabe},
url = {http://kwarc.info/publications/papers/KLMMR_NfAD.pdf},
year  = {2009},
date = {2009-02-01},
number = {2009-1},
institution = {Jacobs University Bremen},
howpublished = {rulhttp://kwarc.info/publications/papers/KLMMR_NfAD.pdf},
keywords = {clange-phd},
pubstate = {published},
tppubtype = {techreport}
}

{"_id":"4f8JPzLhowxy8m8KX","bibbaseid":"kohlhase-lange-mller-mller-rabe-notationsforactivemathematicaldocuments-2009","downloads":0,"creationDate":"2018-09-18T09:42:34.563Z","title":"Notations for Active Mathematical Documents","author_short":["Kohlhase, M.","Lange, C.","Müller, C.","Müller, N.","Rabe, F."],"year":2009,"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/SmartDataAnalytics/SDA-Publications/master/sda.bib","bibdata":{"bibtype":"techreport","type":"techreport","title":"Notations for Active Mathematical Documents","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]},{"firstnames":["Christine"],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Normen"],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Florian"],"propositions":[],"lastnames":["Rabe"],"suffixes":[]}],"url":"http://kwarc.info/publications/papers/KLMMR_NfAD.pdf","year":"2009","date":"2009-02-01","number":"2009-1","institution":"Jacobs University Bremen","howpublished":"rulhttp://kwarc.info/publications/papers/KLMMR_NfAD.pdf","keywords":"clange-phd","pubstate":"published","tppubtype":"techreport","bibtex":"@techreport{Kohlhase2009,\r\ntitle = {Notations for Active Mathematical Documents},\r\nauthor = {Michael Kohlhase and Christoph Lange and Christine Müller and Normen Müller and Florian Rabe},\r\nurl = {http://kwarc.info/publications/papers/KLMMR_NfAD.pdf},\r\nyear = {2009},\r\ndate = {2009-02-01},\r\nnumber = {2009-1},\r\ninstitution = {Jacobs University Bremen},\r\nhowpublished = {rulhttp://kwarc.info/publications/papers/KLMMR_NfAD.pdf},\r\nkeywords = {clange-phd},\r\npubstate = {published},\r\ntppubtype = {techreport}\r\n}\r\n","author_short":["Kohlhase, M.","Lange, C.","Müller, C.","Müller, N.","Rabe, F."],"key":"Kohlhase2009","id":"Kohlhase2009","bibbaseid":"kohlhase-lange-mller-mller-rabe-notationsforactivemathematicaldocuments-2009","role":"author","urls":{"Paper":"http://kwarc.info/publications/papers/KLMMR_NfAD.pdf"},"keyword":["clange-phd"],"metadata":{"authorlinks":{"lange, c":"https://sda.tech/people/dr-christoph-lange/"}},"html":""},"search_terms":["notations","active","mathematical","documents","kohlhase","lange","müller","müller","rabe"],"keywords":["clange-phd"],"authorIDs":["znbuuTBepJbGBmZc7"],"dataSources":["Smh7N7pGmghKvpo5R","utoK22vdACuMZhGfE"]}