Name | Modified | Size | Downloads / Week |
---|---|---|---|
OpenCyc 4.0 | 2012-10-08 | ||
OpenCyc 2.0 | 2009-08-26 | ||
TPTP Challenge Problem Set | 2007-09-06 | ||
Totals: 3 Items | 23 |
Name | Modified | Size | InfoDownloads / Week |
---|---|---|---|
OpenCyc 4.0 | 2012-10-08 | ||
OpenCyc 2.0 | 2009-08-26 | ||
TPTP Challenge Problem Set | 2007-09-06 | ||
Totals: 3 Items | 23 |