Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Manifest.n3 | 2002-07-31 14:57 | 6.7K | ||
Manifest.nt | 2002-11-08 17:34 | 8.7K | ||
Manifest.rdf | 2003-01-17 16:40 | 8.1K | ||
axioms.n3 | 2001-10-17 08:20 | 3.1K | ||
conjunction-test | 2002-04-29 20:57 | 13 | ||
nonconclusions005.rdf | 2002-11-22 13:21 | 858 | ||
nonconclusions006.rdf | 2002-11-22 13:21 | 860 | ||
premises005.rdf | 2002-11-22 13:21 | 926 | ||
premises006.rdf | 2002-11-22 13:21 | 928 | ||
readme.txt | 2001-10-24 07:41 | 1.1K | ||
test001.nt | 2001-10-17 08:20 | 784 | ||
test001.rdf | 2001-10-17 08:20 | 854 | ||
test002.nt | 2001-10-17 08:21 | 776 | ||
test002.rdf | 2001-10-17 08:20 | 850 | ||
test003.nt | 2001-10-17 08:21 | 522 | ||
test003.rdf | 2001-10-15 09:10 | 673 | ||
test004.nt | 2001-10-17 08:22 | 1.3K | ||
test004.rdf | 2001-10-17 08:20 | 1.0K | ||