%0 Thesis %1 lange2011enabling %A Lange, Christoph %D 2011 %K %T Enabling collaboration on semiformal mathematical knowledge by semantic web integration

@phdthesis{lange2011enabling, added-at = {2023-12-13T03:48:57.000+0100}, author = {Lange, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/292dfbbf3c8b52b1ac7e31de62c080177/admin}, dnbtitleid = {1016397836}, interhash = {8f288b2bafa1ee57da8d54e4f28095e8}, intrahash = {92dfbbf3c8b52b1ac7e31de62c080177}, keywords = {}, school = {Jacobs Uni Bremen}, timestamp = {2023-12-13T03:48:57.000+0100}, title = {Enabling collaboration on semiformal mathematical knowledge by semantic web integration}, year = 2011 }