wiki_research

commit 50dc86c8ce45b0501bbe5333aac77816d169863a
parent ebb763e1ebea2be20b438edafba6e64b1fa7e59b
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  2 Dec 2025 17:24:13 +0100

commit with codex

Diffstat:
compositionality
 | 
2
+-
tree_decomposition
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/compositionality b/compositionality
@@ -2,6 +2,6 @@
 
 the [logical_type] of a [structure] can be computed for that of its [substructures]
 
-e.g., [MSO] on [treelike_data]
+e.g., [MSO] on [treelike_data]: [MSO_compositionality]
 
 Up: [logic]
diff --git a/tree_decomposition b/tree_decomposition
@@ -6,7 +6,7 @@
 - [tree_decomposition_linked]
 - [tree_decomposition_normalized]
 
-See also: [treewidth]
+See also: [treewidth], [core_tentacle]
 
 Up: [tree]