adding ab case

eyereasoner · Dec 13, 2024 · be2acf7 · be2acf7
1 parent 1133d2a
commit be2acf7
Show file tree

Hide file tree

Showing 4 changed files with 519 additions and 0 deletions.
diff --git a/reasoning/nand/ab-answer.n3 b/reasoning/nand/ab-answer.n3
@@ -0,0 +1,3 @@
+@prefix : <urn:example:>.
+
+:test :is true.