Add more simplifications to improve graph isomorphism detection

Julien LepillerThu Apr 09 19:08:19+0200 2020

64b7245

guile-rdf/rdf
namelast commitdate
entailment/Add rdf utils.Tue Apr 07 04:55:59+0200 2020
rdf.scmAdd more simplifications to improve graph isomorphism detectionThu Apr 09 19:08:19+0200 2020
utils.scmAdd rdf utils.Tue Apr 07 04:55:59+0200 2020
xsd.scmFix int datatypeSun Apr 05 16:17:22+0200 2020