On Building a Knowledge Base for Stability Theory