wiki_research

commit eb1399d6405d1f3367a9820860b5a246aab363d1
parent b6facdc46f11bcb3575ad6b372cfd34ae1d9c7cb
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 22 Oct 2026 18:02:17 +0200

commit with codex

Diffstat:
compressed_string_indexing
 | 
7
+++++++
compression_string
 | 
2
++
fo_tc
 | 
3
+++

3 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/compressed_string_indexing b/compressed_string_indexing
@@ -0,0 +1,7 @@
+# Compressed string indexing
+
+discussed in [ferragina2005indexing]
+
+Up: [compression_string], [text_indexing]
+
+Aliases: indexing compressed text
diff --git a/compression_string b/compression_string
@@ -9,3 +9,5 @@
 Up: [compression], [string]
 
 Aliases: compressed string, compressed strings, compressed word, compressed words
+
+See also: [packed_string]
diff --git a/fo_tc b/fo_tc
@@ -4,6 +4,9 @@
 
 Is equivalent to [datalog_stratified_linear]
 
+Does not have [Craig_interpolation]
+- cf https://cstheory.stackexchange.com/q/57298
+
 See also: [separation_logic], [fixpoint], [datalog]
 
 Up: [first_order_logic] with [transitive_closure]