%0 Conference Paper %1 conf/i-semantics/KohlhaseK010 %A Kohlhase, Andrea %A Kohlhase, Michael %A Lange, Christoph %B I-SEMANTICS %D 2010 %E Paschke, Adrian %E Henze, Nicola %E Pellegrini, Tassilo %I ACM %K dblp %T STEX+: a system for flexible formalization of linked data. %U http://dblp.uni-trier.de/db/conf/i-semantics/i-semantics2010.html#KohlhaseK010 %@ 978-1-4503-0014-8

@inproceedings{conf/i-semantics/KohlhaseK010, added-at = {2018-11-14T00:00:00.000+0100}, author = {Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a88ae7ac121f18acc1a4f82fb8a47200/dblp}, booktitle = {I-SEMANTICS}, crossref = {conf/i-semantics/2010}, editor = {Paschke, Adrian and Henze, Nicola and Pellegrini, Tassilo}, ee = {https://www.wikidata.org/entity/Q57389397}, interhash = {95028d7833582bfd4990647713b468ab}, intrahash = {a88ae7ac121f18acc1a4f82fb8a47200}, isbn = {978-1-4503-0014-8}, keywords = {dblp}, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, timestamp = {2019-09-27T20:12:33.000+0200}, title = {STEX+: a system for flexible formalization of linked data.}, url = {http://dblp.uni-trier.de/db/conf/i-semantics/i-semantics2010.html#KohlhaseK010}, year = 2010 }