refreshing

eyereasoner · Oct 28, 2024 · 4a9de0d · 4a9de0d
1 parent 93b22f0
commit 4a9de0d
Show file tree

Hide file tree

Showing 78 changed files with 0 additions and 3,147 deletions.
diff --git a/reasoning/rdflogic/README b/reasoning/rdflogic/README
diff --git a/reasoning/rdflogic/ackermann.trig b/reasoning/rdflogic/ackermann.trig
diff --git a/reasoning/rdflogic/acp.trig b/reasoning/rdflogic/acp.trig
diff --git a/reasoning/rdflogic/age.trig b/reasoning/rdflogic/age.trig
diff --git a/reasoning/rdflogic/backward.trig b/reasoning/rdflogic/backward.trig
diff --git a/reasoning/rdflogic/cobbler.trig b/reasoning/rdflogic/cobbler.trig