![]() | 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 | |