TPTP, or Many of Instances on Theorem Proving , represents a significant resource for developing automated proposition verification . This provides a common framework for representing formal problems tptpsdd.com