A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics