Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/problems/tptp/v111
Name
Last modified
Size
Description
Parent Directory
-
0.lst
1995-06-13 21:26
1.4K
announce.txt
1995-06-13 21:26
5.3K
readme.txt
1995-06-13 21:26
9.2K
tptp_111.ltv
1995-06-13 21:26
220K
tptp_111.tgz
1995-06-13 21:26
1.1M
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80