Sun Apr 05 04:10:34+0200 2020
a3f8af8
name | last commit | date |
d.scm | Fix arguments for consistency checks | Sun Apr 05 04:10:34+0200 2020 |
rdf.scm | Fix arguments for consistency checks | Sun Apr 05 04:10:34+0200 2020 |
rdfs.scm | Fix arguments for consistency checks | Sun Apr 05 04:10:34+0200 2020 |
simple.scm | Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |