wiki_research

commit b917804ec7af4674a7570646b5e490ce20c6c0ba
parent 4b1f5fbf0061b0cff8a79a2960aa51459fa1e1c2
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]