TPTP, or Numerous regarding Problems on Theorem Verification , represents a significant resource for developing automated logic verification . It provides a unified format for representing logical tptpsdd.com