Sun Apr 05 14:51:48+0200 2020
4bcc017
| name | last commit | date |
 d.scm | Recognize both graphs before entailment | Sun Apr 05 14:01:58+0200 2020 |
| rdf.scm | Fix augmenting RDFS and RDF consistency | Sun Apr 05 14:51:48+0200 2020 |
| rdfs.scm | Fix augmenting RDFS and RDF consistency | Sun Apr 05 14:51:48+0200 2020 |
| simple.scm | Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |