@inproceedings{toloaca_notation-based_2016,
	series = {{CEUR} {Workshop} {Proceedings}},
	title = {Notation-based {Semantification}},
	volume = {1785},
	url = {http://ceur-ws.org/Vol-1785/M6.pdf},
	urldate = {2021-08-20},
	booktitle = {Joint {Proceedings} of the {FM4M}, {MathUI}, and {ThEdu} {Workshops}, {Doctoral} {Program}, and {Work} in {Progress} at the {Conference} on {Intelligent} {Computer} {Mathematics} 2016 co-located with the 9th {Conference} on {Intelligent} {Computer} {Mathematics} ({CICM} 2016), {Bialystok}, {Poland}, {July} 25-29, 2016},
	publisher = {CEUR-WS.org},
	author = {Toloaca, Ion and Kohlhase, Michael},
	editor = {Kohlhase, Andrea and Libbrecht, Paul and Miller, Bruce R. and Naumowicz, Adam and Neuper, Walther and Quaresma, Pedro and Tompa, Frank Wm and Suda, Martin},
	year = {2016},
	keywords = {mathir, mathml, semantic enrichment, semantics, translation, ⛔ No DOI found},
	pages = {73--81},
}

{"_id":"88ENbYmbzZicuhTrE","bibbaseid":"toloaca-kohlhase-notationbasedsemantification-2016","author_short":["Toloaca, I.","Kohlhase, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"CEUR Workshop Proceedings","title":"Notation-based Semantification","volume":"1785","url":"http://ceur-ws.org/Vol-1785/M6.pdf","urldate":"2021-08-20","booktitle":"Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016","publisher":"CEUR-WS.org","author":[{"propositions":[],"lastnames":["Toloaca"],"firstnames":["Ion"],"suffixes":[]},{"propositions":[],"lastnames":["Kohlhase"],"firstnames":["Michael"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Kohlhase"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Libbrecht"],"firstnames":["Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Bruce","R."],"suffixes":[]},{"propositions":[],"lastnames":["Naumowicz"],"firstnames":["Adam"],"suffixes":[]},{"propositions":[],"lastnames":["Neuper"],"firstnames":["Walther"],"suffixes":[]},{"propositions":[],"lastnames":["Quaresma"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Tompa"],"firstnames":["Frank","Wm"],"suffixes":[]},{"propositions":[],"lastnames":["Suda"],"firstnames":["Martin"],"suffixes":[]}],"year":"2016","keywords":"mathir, mathml, semantic enrichment, semantics, translation, ⛔ No DOI found","pages":"73–81","bibtex":"@inproceedings{toloaca_notation-based_2016,\n\tseries = {{CEUR} {Workshop} {Proceedings}},\n\ttitle = {Notation-based {Semantification}},\n\tvolume = {1785},\n\turl = {http://ceur-ws.org/Vol-1785/M6.pdf},\n\turldate = {2021-08-20},\n\tbooktitle = {Joint {Proceedings} of the {FM4M}, {MathUI}, and {ThEdu} {Workshops}, {Doctoral} {Program}, and {Work} in {Progress} at the {Conference} on {Intelligent} {Computer} {Mathematics} 2016 co-located with the 9th {Conference} on {Intelligent} {Computer} {Mathematics} ({CICM} 2016), {Bialystok}, {Poland}, {July} 25-29, 2016},\n\tpublisher = {CEUR-WS.org},\n\tauthor = {Toloaca, Ion and Kohlhase, Michael},\n\teditor = {Kohlhase, Andrea and Libbrecht, Paul and Miller, Bruce R. and Naumowicz, Adam and Neuper, Walther and Quaresma, Pedro and Tompa, Frank Wm and Suda, Martin},\n\tyear = {2016},\n\tkeywords = {mathir, mathml, semantic enrichment, semantics, translation, ⛔ No DOI found},\n\tpages = {73--81},\n}\n\n\n\n","author_short":["Toloaca, I.","Kohlhase, M."],"editor_short":["Kohlhase, A.","Libbrecht, P.","Miller, B. R.","Naumowicz, A.","Neuper, W.","Quaresma, P.","Tompa, F. W.","Suda, M."],"key":"toloaca_notation-based_2016","id":"toloaca_notation-based_2016","bibbaseid":"toloaca-kohlhase-notationbasedsemantification-2016","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1785/M6.pdf"},"keyword":["mathir","mathml","semantic enrichment","semantics","translation","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/andreg-p","dataSources":["QGwcHf7xnb5mCCQi7"],"keywords":["mathir","mathml","semantic enrichment","semantics","translation","⛔ no doi found"],"search_terms":["notation","based","semantification","toloaca","kohlhase"],"title":"Notation-based Semantification","year":2016}