abstract.tex

Organizational data extracted from formal libraries has the potential
to be usable in the design of a universal search engine for
mathematical knowledge. However, it is not enough to just extract
formal knowledge into a unified format, it is also necessary that this
information is readily available for querying. \emph{ulo-storage} aims
to lay out the groundwork to do just that. In this project, we
collected various pieces of exported data into a centralized and
efficient store, made that store available as a publicly available
endpoint and then evaluated different ways of querying that
store. Also, implementation of some suggested queries on top of this
system resulted in insight on how a unified format for organizational
mathematical knowledge could be extended.