was Owned by Philipp Paulweber.
#9 in #thousands
15KB
Thousands of Problems for Theorem Provers (TPTP) Library