wiki_research

commit 945315367270a523f1e1b8bcf88f205db79d083f
parent 42de70d3f2f72111be88f494c1dab080bf1c0d04
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri,  6 Feb 2026 11:18:29 +0100

commit with codex

Diffstat:
logic_over_words
 | 
12
++++++++++++
st_reliability
 | 
1
+
st_reliability_planar
 | 
5
+++++
word
 | 
2
+-

4 files changed, 19 insertions(+), 1 deletion(-)
diff --git a/logic_over_words b/logic_over_words
@@ -0,0 +1,12 @@
+# Logic over words
+
+Writing, e.g., [FO] and [MSO] over [words]
+
+The [signature] includes:
+
+- [order] on positions
+- testing if a position has a specific [letter]
+
+Up: [logic], [word]
+
+See also: [monotone_first_order_logic]
diff --git a/st_reliability b/st_reliability
@@ -6,6 +6,7 @@ Can be posed on [directed_graphs] and [undirected_graphs]
 
 - [st_reliability_approximation]
 - [st_reliability_provenance]
+- [st_reliability_planar]
 
 Up: [network_reliability]
 
diff --git a/st_reliability_planar b/st_reliability_planar
@@ -0,0 +1,5 @@
+# St-reliability planar
+
+Also [sharpP_complete], cf [provan1986complexity]
+
+Up: [st_reliability], [planar_graphs]
diff --git a/word b/word
@@ -27,6 +27,6 @@ Special cases:
 
 Up: [formal_language_theory]
 
-See also: [update_word], [sequence], [text_algorithms], [endmarker]
+See also: [update_word], [sequence], [text_algorithms], [endmarker], [logic_over_words]
 
 Aliases: words, string, strings