wiki_research

commit c779847075519b4d8ea55946748ac8e03bd3fbf4
parent 4f1b41f01f5dfff76965a6880257592fb6414ac8
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  7 Jan 2025 10:57:54 +0100

commit with codex

Diffstat:
knowledge_compilation
 | 
1
+
query
 | 
4
++++

2 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/knowledge_compilation b/knowledge_compilation
@@ -6,6 +6,7 @@ Classes of [circuit] ensuring tractability
 - connections to [arithmetic_circuits]
 - [query_compilation]: knowledge compilation on the [provenance] of a query
 - [constraint_satisfaction_problem_knowledge_compilation]
+- [knowledge_compilation_query]: the type of questions asked on circuits
 
 [circuit_bounds_vs_complexity_bounds]
 
diff --git a/query b/query
@@ -12,3 +12,7 @@
 - [minimal_witness]
 
 Up: [database_theory]
+
+Aliases: queries
+
+See also: [knowledge_compilation_query]