Jesse Alama. Metadata for a wiki of formalized mathematics. In Christoph Lange 0002, Josef Urban, editors, Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. Volume 767 of CEUR Workshop Proceedings, pages 2-5, CEUR-WS.org, 2011. [doi]
Abstract is missing.