TPTP, or Many concerning Problems on Theorem Proving , represents a significant resource for developing automated logic verification . The system provides a common format for representing logical problems tptpsdd.com