Sun Apr 05 16:18:11+0200 2020
8cffbc4
name | last commit | date |
Terms are equivalent only if they are both well-formed | Sun Apr 05 16:18:11+0200 2020 | |
Terms are equivalent only if they are both well-formed | Sun Apr 05 16:18:11+0200 2020 | |
Typo | Sun Apr 05 16:05:46+0200 2020 | |
Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |