wiki_research

commit 467551373fbee6ede51492952be990ab6c0c4956
parent c47a098d433c93c8f640ba2ddc673bc09bb68d32
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 27 May 2026 10:09:05 +0200

commit with codex

Diffstat:
chebyshevs_inequality
 | 
2
++
concentration_inequality
 | 
2
++
datalog_negation_provenance
 | 
2
+-
provenance_datalog
 | 
2
+-
why_provenance
 | 
2
++

5 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/chebyshevs_inequality b/chebyshevs_inequality
@@ -7,3 +7,5 @@ Pr[|X - EX| \geq epsilon EX] \leq (Var X) epsilon^2 (EX)^2
 Up: [concentration_inequality]
 
 See also: [expectation], [variance]
+
+Aliases: Chebyshev inequality, Chebyshef inequality, Chebyshef's inequality
diff --git a/concentration_inequality b/concentration_inequality
@@ -6,3 +6,5 @@
 - [hoeffdings_inequality]
 
 Up: [inequality_mathematics], [probabilities]
+
+Aliases: concentration bound
diff --git a/datalog_negation_provenance b/datalog_negation_provenance
@@ -1,6 +1,6 @@
 # Datalog negation provenance
 
-[bogaerts2025why]
+[bogaerts2025why] [bogaerts2026why]
 
 Up: [datalog_negation], [datalog_provenance]
 
diff --git a/provenance_datalog b/provenance_datalog
@@ -16,6 +16,6 @@ Subcases:
 For [datalog_extensions]:
 - [datalog_negation_provenance]
 
-- [bogaerts2025why] pour [datalog_with_negation]
+- [bogaerts2025why] [bogaerts2026why] pour [datalog_with_negation]
 
 Up: [provenance], [datalog]
diff --git a/why_provenance b/why_provenance
@@ -7,3 +7,5 @@ Specialization: [PosBool]
 - [why_provenance_computation]
 
 Up: [provenance]
+
+See also: [why_not_provenance]