refreshing

eyereasoner · Jan 7, 2025 · e524bff · e524bff
1 parent 7c57bd2
commit e524bff
Show file tree

Hide file tree

Showing 22 changed files with 145,438 additions and 539,296 deletions.
diff --git a/reasoning/goldbach/goldbach-answer.n3 b/reasoning/goldbach/goldbach-answer.n3
@@ -30,7 +30,3 @@
 536870912 :goldbach (3 536870909).
 1073741824 :goldbach (41 1073741783).
 2147483648 :goldbach (19 2147483629).
-4294967296 :goldbach (5 4294967291).
-8589934592 :goldbach (79 8589934513).
-17179869184 :goldbach (41 17179869143).
-34359738368 :goldbach (31 34359738337).
diff --git a/reasoning/goldbach/goldbach-proof.n3 b/reasoning/goldbach/goldbach-proof.n3
diff --git a/reasoning/goldbach/goldbach-query.n3 b/reasoning/goldbach/goldbach-query.n3
@@ -3,7 +3,7 @@
 @prefix : <urn:example:>.
 
 {
-    36 log:repeat ?I.
+    32 log:repeat ?I.
     (2 ?I) math:exponentiation ?N.
     (?N 2) math:remainder 0.
     ?N :goldbach (?P1 ?P2).