running rdfproof

eyereasoner · Oct 29, 2024 · d339219 · d339219
1 parent 189669a
commit d339219
Show file tree

Hide file tree

Showing 70 changed files with 249,975 additions and 662 deletions.
diff --git a/ackermann.trig b/ackermann.trig
@@ -114,5 +114,5 @@ _:bng_14 {
     (3 14) :ackermann var:A7.
     (4 0) :ackermann var:A8.
     (4 1) :ackermann var:A9.
-    (4 2) :ackermann var:A10.
+    #(4 2) :ackermann var:A10.
 }
diff --git a/color.trig b/color.trig
diff --git a/complement.trig b/complement.trig
diff --git a/issue118.trig b/issue118.trig
diff --git a/output/ackermann.trig b/output/ackermann.trig
diff --git a/output/acp.trig b/output/acp.trig
diff --git a/output/age.trig b/output/age.trig
diff --git a/output/backward.trig b/output/backward.trig
diff --git a/output/color.trig b/output/color.trig
diff --git a/output/complement.trig b/output/complement.trig
diff --git a/output/complex.trig b/output/complex.trig
diff --git a/output/control.trig b/output/control.trig
diff --git a/output/derived.trig b/output/derived.trig
diff --git a/output/easter.trig b/output/easter.trig
diff --git a/output/fibonacci.trig b/output/fibonacci.trig
diff --git a/output/gcc.trig b/output/gcc.trig
diff --git a/output/gps.trig b/output/gps.trig
diff --git a/output/graph.trig b/output/graph.trig
diff --git a/output/hanoi.trig b/output/hanoi.trig
diff --git a/output/issue118.trig b/output/issue118.trig
diff --git a/output/mapping.trig b/output/mapping.trig
diff --git a/output/mi.trig b/output/mi.trig
diff --git a/output/patch.trig b/output/patch.trig
diff --git a/output/peano.trig b/output/peano.trig
diff --git a/output/pi.trig b/output/pi.trig