adding combinatorics

eyereasoner · Jan 8, 2025 · 9381275 · 9381275
1 parent 9435d83
commit 9381275
Show file tree

Hide file tree

Showing 10 changed files with 9,439 additions and 0 deletions.
diff --git a/reasoning/combinatorics/README b/reasoning/combinatorics/README
@@ -0,0 +1,5 @@
+-------------
+Combinatorics
+-------------
+
+See https://en.wikipedia.org/wiki/Combinatorics
diff --git a/reasoning/combinatorics/combination-answer.n3 b/reasoning/combinatorics/combination-answer.n3
@@ -0,0 +1,34 @@
+@prefix : <http://example.org/#>.
+
+(0 (1 2 3 4 5)) :combination ().
+(1 (1 2 3 4 5)) :combination (1).
+(1 (1 2 3 4 5)) :combination (2).
+(1 (1 2 3 4 5)) :combination (3).
+(1 (1 2 3 4 5)) :combination (4).
+(1 (1 2 3 4 5)) :combination (5).
+(2 (1 2 3 4 5)) :combination (1 2).
+(2 (1 2 3 4 5)) :combination (1 3).
+(2 (1 2 3 4 5)) :combination (1 4).
+(2 (1 2 3 4 5)) :combination (1 5).
+(2 (1 2 3 4 5)) :combination (2 3).
+(2 (1 2 3 4 5)) :combination (2 4).
+(2 (1 2 3 4 5)) :combination (2 5).
+(2 (1 2 3 4 5)) :combination (3 4).
+(2 (1 2 3 4 5)) :combination (3 5).
+(2 (1 2 3 4 5)) :combination (4 5).
+(3 (1 2 3 4 5)) :combination (1 2 3).
+(3 (1 2 3 4 5)) :combination (1 2 4).
+(3 (1 2 3 4 5)) :combination (1 2 5).
+(3 (1 2 3 4 5)) :combination (1 3 4).
+(3 (1 2 3 4 5)) :combination (1 3 5).
+(3 (1 2 3 4 5)) :combination (1 4 5).
+(3 (1 2 3 4 5)) :combination (2 3 4).
+(3 (1 2 3 4 5)) :combination (2 3 5).
+(3 (1 2 3 4 5)) :combination (2 4 5).
+(3 (1 2 3 4 5)) :combination (3 4 5).
+(4 (1 2 3 4 5)) :combination (1 2 3 4).
+(4 (1 2 3 4 5)) :combination (1 2 3 5).
+(4 (1 2 3 4 5)) :combination (1 2 4 5).
+(4 (1 2 3 4 5)) :combination (1 3 4 5).
+(4 (1 2 3 4 5)) :combination (2 3 4 5).
+(5 (1 2 3 4 5)) :combination (1 2 3 4 5).