wiki_research

commit 35aebdd11647577ebbb36a96381c6c7c6718f0af
parent e8da4b80298f4f973bdfb107ff5a3ee00c084dde
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu,  4 Jun 2026 07:55:23 +0200

Merge remote-tracking branch 'origin/master'

Diffstat:
database_returning_queries
 | 
4
+++-
gt_maj_sat
 | 
2
++

2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/database_returning_queries b/database_returning_queries
@@ -1,4 +1,4 @@
-# Database returning queries
+# Database-returning queries
 
 [Queries] whose result is a [database], not just a table
 
@@ -6,3 +6,5 @@
 - also a concept in [SPARQL]
 
 Up: [query]
+
+Aliases: Queries returning databases, Database-returning queries, Database returning queries
diff --git a/gt_maj_sat b/gt_maj_sat
@@ -9,3 +9,5 @@ given a [boolean_formula] in [conjunctive_normal_form], determine if >1/2 of the
   - classification for fixed threshold delta and value k of the [clause_width]
 
 Up: [maj_sat]
+
+See also: [tantau2024seven]