@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},
description = {dblp},
ee = {http://www.ceur-ws.org/Vol-206/paper15.pdf}, date = {2007-10-31},
keywords = {dblp }
}
::