{"_id":"fFC53MuXWsyfn7ZrQ","bibbaseid":"kohlhase-kohlhase-lange-stexasystemforflexibleformalizationoflinkeddata","downloads":0,"creationDate":"2018-09-18T09:42:33.106Z","title":"sTeX – A System for Flexible Formalization of Linked Data","author_short":["Kohlhase, A.","Kohlhase, M.","Lange, C."],"year":null,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/SmartDataAnalytics/SDA-Publications/master/sda.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"sTeX – A System for Flexible Formalization of Linked Data","author":[{"firstnames":["Andrea"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]}],"doi":"10.1145/1839707.1839712","crossref":"ISEMANTICS2010","keywords":"conference","pubstate":"published","tppubtype":"inproceedings","bibtex":"@inproceedings{Kohlhaseb,\r\ntitle = {sTeX -- A System for Flexible Formalization of Linked Data},\r\nauthor = {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},\r\ndoi = {10.1145/1839707.1839712},\r\ncrossref = {ISEMANTICS2010},\r\nkeywords = {conference},\r\npubstate = {published},\r\ntppubtype = {inproceedings}\r\n}\r\n","author_short":["Kohlhase, A.","Kohlhase, M.","Lange, C."],"key":"Kohlhaseb","id":"Kohlhaseb","bibbaseid":"kohlhase-kohlhase-lange-stexasystemforflexibleformalizationoflinkeddata","role":"author","urls":{},"keyword":["conference"],"metadata":{"authorlinks":{}},"html":""},"search_terms":["stex","system","flexible","formalization","linked","data","kohlhase","kohlhase","lange"],"keywords":["conference"],"authorIDs":[],"dataSources":["Smh7N7pGmghKvpo5R","utoK22vdACuMZhGfE"]}