@inproceedings{conf/semwiki/0002K06,
	title = {A Semantic Wiki for Mathematical Knowledge Management.},
	author = {Christoph Lange 0002 and Michael Kohlhase},
	booktitle = {SemWiki},
	crossref = {conf/semwiki/2006},
	editor = {Max Völkel and Sebastian Schaffert},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/semwiki/semwiki2006.html#0002K06},
	volume = {206},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/27c67665343d83013efce5afa46db0ff6/dblp},
	description = {dblp},
	ee = {http://www.ceur-ws.org/Vol-206/paper15.pdf}, date = {2007-10-31},
	keywords = {dblp }
}