@inproceedings{Kohlhasec,
title = {JOBAD -- Interactive Mathematical Documents},
author = {Michael Kohlhase and Jana Giceva and Christoph Lange and Vyacheslav Zholudev},
url = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/ai-mashup09/jobad.pdf},
crossref = {AIMashup09},
keywords = {clange-phd},
pubstate = {published},
tppubtype = {inproceedings}
}

{"_id":"QnqptjNJtrywYAqfJ","bibbaseid":"kohlhase-giceva-lange-zholudev-jobadinteractivemathematicaldocuments","downloads":0,"creationDate":"2018-09-18T09:42:33.108Z","title":"JOBAD – Interactive Mathematical Documents","author_short":["Kohlhase, M.","Giceva, J.","Lange, C.","Zholudev, V."],"year":null,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/smartdataanalytics/sda-publications/master/sda.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"JOBAD – Interactive Mathematical Documents","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]},{"firstnames":["Jana"],"propositions":[],"lastnames":["Giceva"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]},{"firstnames":["Vyacheslav"],"propositions":[],"lastnames":["Zholudev"],"suffixes":[]}],"url":"https://svn.omdoc.org/repos/jomdoc/doc/pubs/ai-mashup09/jobad.pdf","crossref":"AIMashup09","keywords":"clange-phd","pubstate":"published","tppubtype":"inproceedings","bibtex":"@inproceedings{Kohlhasec,\r\ntitle = {JOBAD -- Interactive Mathematical Documents},\r\nauthor = {Michael Kohlhase and Jana Giceva and Christoph Lange and Vyacheslav Zholudev},\r\nurl = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/ai-mashup09/jobad.pdf},\r\ncrossref = {AIMashup09},\r\nkeywords = {clange-phd},\r\npubstate = {published},\r\ntppubtype = {inproceedings}\r\n}\r\n","author_short":["Kohlhase, M.","Giceva, J.","Lange, C.","Zholudev, V."],"key":"Kohlhasec","id":"Kohlhasec","bibbaseid":"kohlhase-giceva-lange-zholudev-jobadinteractivemathematicaldocuments","role":"author","urls":{"Paper":"https://svn.omdoc.org/repos/jomdoc/doc/pubs/ai-mashup09/jobad.pdf"},"keyword":["clange-phd"],"metadata":{"authorlinks":{"lange, c":"https://sda.tech/people/dr-christoph-lange/"}}},"search_terms":["jobad","interactive","mathematical","documents","kohlhase","giceva","lange","zholudev"],"keywords":["clange-phd"],"authorIDs":["znbuuTBepJbGBmZc7"],"dataSources":["Smh7N7pGmghKvpo5R"]}