wiki_research

commit aadad5c426a0946becb99494c5bd382e552eaf7b
parent 0822f6a646bb2245ff4080684bd50ebb79b46cb0
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 16 Apr 2026 20:00:57 +0200

commit with codex

Diffstat:
cernys_conjecture
 | 
7
+++++++
description_logics
 | 
4
+++-
open_world_query_answering
 | 
2
+-
synchronizing_word
 | 
4
++--
unbalanced_orthogonal_vectors
 | 
9
+++++++++
vertex_unbalanced_triangle_listing
 | 
2
++

6 files changed, 24 insertions(+), 4 deletions(-)
diff --git a/cernys_conjecture b/cernys_conjecture
@@ -0,0 +1,7 @@
+# Cerny's conjecture
+
+https://en.wikipedia.org/wiki/Synchronizing_word#Length
+
+Up: [synchronizing_word], [open_problem]
+
+Aliases: Cerny conjecture
diff --git a/description_logics b/description_logics
@@ -2,7 +2,9 @@
 
 A set of lightweight [logics] with different complexity depending on the features allowed.
 
-[Survey_paper]: [artale2009dllite]
+[Survey_papers]:
+- [artale2009dllite]
+- [krotzsch2013description]
 
 Classes:
 - [DL_Lite]
diff --git a/open_world_query_answering b/open_world_query_answering
@@ -26,7 +26,7 @@ negation of a [conjunctive_query] or [union_of_conjunctive_queries]).
 
 Also called "ontology-based data access", see also [ontology_mediated_query]
 
-- [query_rewriting]
+- [open_world_query_rewriting]
 - [chase]
 - [combined_complexity] approaches, for instance [gottlob2023polynomial]
 
diff --git a/synchronizing_word b/synchronizing_word
@@ -1,7 +1,7 @@
 # Synchronizing word
 
-- [cerny_conjecture] Cerny's conjecture about the existence of synchronizing words on DFAs
+- [Cerny's_conjecture] about the existence of synchronizing words on [DFAs]
 
 Up: [automata]
 
-See also: [mortal_word], [meeting_time], [synchronizing_sets], [synchronizing_word_problem], [completely_reachable_automata]
+See also: [mortal_word], [meeting_time], [synchronizing_sets], [synchronizing_word_problem], [completely_reachable_automata], [ideal]
diff --git a/unbalanced_orthogonal_vectors b/unbalanced_orthogonal_vectors
@@ -0,0 +1,9 @@
+# Unbalanced orthogonal vectors
+
+Defined in [bringmann2018multivariate] hypothesis 2.3
+
+See [bringmann2021translating]
+
+Up: [orthogonal_vectors], [unbalanced]
+
+Aliases: UOV
diff --git a/vertex_unbalanced_triangle_listing b/vertex_unbalanced_triangle_listing
@@ -7,3 +7,5 @@ Implied by [3sum_conjecture]
 Up: [triangle_listing]
 
 Aliases: VUTL
+
+See also: [unbalanced_orthogonal_vectors]