Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
,judy-proof.n3 | 2014-07-23 15:41 | 251K | ||
,no-B-judy-proof.n3 | 2014-07-23 15:41 | 251K | ||
,paw-flattened.n3 | 2014-07-23 15:41 | 174 | ||
,paw-munged-1.n3 | 2014-07-23 15:41 | 219K | ||
,paw-munged.n3 | 2014-07-23 15:41 | 204K | ||
,pf-1.n3 | 2014-07-23 15:41 | 311K | ||
,pf-named.n3 | 2014-07-23 15:41 | 194K | ||
,pf-rdf.n3 | 2014-07-23 15:41 | 258K | ||
,pf.n3 | 2014-07-23 15:41 | 317K | ||
,pf.xml | 2014-07-23 15:41 | 1.1M | ||
,pf1.n3 | 2014-07-23 15:41 | 3.5K | ||
,pf2.n3 | 2014-07-23 15:41 | 307K | ||
,pfproxy.py | 2014-07-23 15:41 | 12K | ||
,pfproxy2.py | 2014-07-23 15:41 | 13K | ||
Makefile | 2006-05-28 16:39 | 1.5K | ||
Prem.py | 2014-07-23 15:41 | 439 | ||
README.txt | 2005-10-24 16:58 | 323 | ||
animal-goal.n3 | 2006-05-28 16:35 | 315 | ||
animals-proof.n3 | 2006-06-05 18:20 | 84K | ||
animals-proof.pml | 2006-06-05 18:20 | 173K | ||
animals.n3 | 2006-05-28 16:35 | 4.7K | ||
conf_reg_ex.n3 | 2006-09-22 03:01 | 378 | ||
contradiction.n3 | 2009-12-17 03:44 | 108 | ||
danc.n3 | 2006-07-07 03:30 | 354 | ||
detailed.tests | 2007-12-13 15:38 | 7.1K | ||
double.n3 | 2007-02-13 21:35 | 185 | ||
doubleBind.n3 | 2014-07-23 15:41 | 280 | ||
e.n3 | 2003-01-16 14:23 | 20 | ||
engine.n3 | 2014-07-23 15:41 | 2.5K | ||
eric-a.n3 | 2003-01-07 20:59 | 114 | ||
eric-b.n3 | 2003-01-07 20:59 | 256 | ||
eric-out.n3 | 2004-06-25 01:27 | 781 | ||
eric-out.proof | 2003-01-07 21:02 | 3.7K | ||
f9.n3 | 2005-10-24 16:58 | 138 | ||
filter.n3 | 2014-07-23 15:41 | 1.4K | ||
gmpbnode.n3 | 2006-09-08 04:30 | 143 | ||
iw.n3 | 2005-10-24 16:58 | 21K | ||
joe_profile.n3 | 2006-09-22 03:01 | 131 | ||
judy-checked.n3 | 2014-07-23 15:41 | 0 | ||
judy-proof.n3 | 2005-11-02 00:06 | 287K | ||
judy-req.n3 | 2014-07-23 15:41 | 784 | ||
judy-req.rdf | 2014-07-23 15:41 | 1.2K | ||
judy-result.n3 | 2014-07-23 15:41 | 293 | ||
longChain.n3 | 2007-11-18 03:00 | 37K | ||
math-test-bit.n3 | 2005-08-22 21:12 | 1.1K | ||
math-test-works-with-why.n3 | 2005-10-24 16:58 | 3.9K | ||
math-test.n3 | 2005-10-24 16:58 | 3.9K | ||
p-premise.n3 | 2014-07-23 15:41 | 1.0K | ||
paw-proof.n3 | 2005-12-21 19:41 | 311K | ||
paw-t1.n3 | 2014-07-23 15:41 | 574 | ||
pfcheck1.n3 | 2005-12-21 19:55 | 690 | ||
pml-example.n3 | 2005-10-24 16:58 | 1.1K | ||
pml-example.rdf | 2005-10-24 16:58 | 1.1K | ||
poor-urop.n3 | 2007-08-06 16:13 | 458 | ||
proof-munge.n3 | 2014-07-23 15:41 | 305 | ||
reason-report.n3 | 2006-06-07 15:07 | 3.4K | ||
rename-loop.n3 | 2006-07-07 03:30 | 198 | ||
revfunc.n3 | 2009-12-17 03:44 | 212 | ||
single_gen.n3 | 2007-08-06 16:13 | 66 | ||
soc-goal.n3 | 2006-11-06 23:10 | 66 | ||
soc-rdfs.n3 | 2006-11-06 23:05 | 174 | ||
socrates.n3 | 2007-06-27 17:58 | 119 | ||
t1.checked | 2005-08-22 21:12 | 156 | ||
t1.n3 | 2002-12-05 04:10 | 13 | ||
t1.pml | 2006-03-09 16:51 | 6.5K | ||
t1.proof | 2005-08-22 21:12 | 700 | ||
t2.checked | 2005-08-22 21:12 | 309 | ||
t2.n3 | 2002-12-07 01:12 | 37 | ||
t2.proof | 2005-08-22 21:12 | 931 | ||
t3.checked | 2005-08-22 21:12 | 277 | ||
t3.n3 | 2002-12-30 15:00 | 67 | ||
t3.proof | 2005-08-22 21:12 | 2.1K | ||
t4.checked | 2005-08-22 21:12 | 718 | ||
t4.n3 | 2005-08-23 21:05 | 62 | ||
t4.pml | 2005-08-23 21:14 | 2.9K | ||
t4.proof | 2005-08-23 21:05 | 2.6K | ||
t5-a.proof | 2002-12-08 05:27 | 1.9K | ||
t5.checked | 2005-08-22 21:12 | 400 | ||
t5.n3 | 2002-12-30 15:00 | 133 | ||
t5.proof | 2005-08-22 21:12 | 3.1K | ||
t8.n3 | 2003-04-08 16:12 | 96 | ||
t9.n3 | 2005-11-02 00:06 | 102 | ||
t9.proof | 2014-07-23 15:41 | 1.9K | ||
t10.n3 | 2014-07-23 15:41 | 153 | ||
tests.n3 | 2003-01-16 14:23 | 1.7K | ||
timbl.n3 | 2006-07-07 03:30 | 336 | ||
to-pml.n3 | 2006-02-18 04:04 | 3.1K | ||
troop42-policy.n3 | 2014-07-23 15:41 | 4.1K | ||
witch-goal.n3 | 2007-01-03 03:03 | 79 | ||
witch-pf-pml.rdf | 2007-02-02 19:25 | 10K | ||
witch-pf.n3 | 2007-01-03 03:03 | 8.9K | ||
witch-pf.txt | 2007-01-03 03:03 | 1.8K | ||
witch.n3 | 2007-01-03 03:03 | 679 | ||