%0 Conference Paper %1 DBLP:conf/fois/KuksaM16 %A Kuksa, Eugen %A Mossakowski, Till %B JOWO@FOIS %D 2016 %I CEUR-WS.org %K %T Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies %V 1660

@inproceedings{DBLP:conf/fois/KuksaM16, added-at = {2023-12-14T15:55:14.000+0100}, author = {Kuksa, Eugen and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2e7db8911aa587384e15a412e57276924/admin}, booktitle = {JOWO@FOIS}, interhash = {f1315492cd1f30c66ad09d87f499ab82}, intrahash = {e7db8911aa587384e15a412e57276924}, keywords = {}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2023-12-14T15:55:14.000+0100}, title = {Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies}, volume = 1660, year = 2016 }