Thu Apr 09 19:08:19+0200 2020
64b7245
| name | last commit | date |
| Properly compare numbers | Sun Apr 05 16:21:42+0200 2020 | |
| Add rdf utils. | Tue Apr 07 04:55:59+0200 2020 | |
| Typo | Sun Apr 05 16:05:46+0200 2020 | |
| Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |