@inproceedings{Lange:2006:ASW4MKM,
	title = {A Semantic Wiki for Mathematical Knowledge Management},
	author = {Christoph Lange and Michael Kohlhase},
	booktitle = {Proceedings of the First Workshop on Semantic Wikis -- From Wiki
	To Semantics},
	crossref = {SemWiki2006-proceedings},
	editor = {Max V\"{o}lkel and Sebastian Schaffert},
	month = {June},
	publisher = {ESWC2006},
	series = {Workshop on Semantic Wikis},
	url = {http://semwiki.org/semwiki2006},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/209499c09e4c9b63f2d881ecdf13795bf/jaeschke},
	owner = {voelkel}, timestamp = {2006.06.14},
	keywords = {iccs_example knowledge management semantic trias_example wiki }
}