wiki_research

commit 372af7ad0dbf0780c3ae8b1f3785e65aae091092
parent 577c987e908a5cbc43bf9df80c5dba56ab9caaa7
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 11 Oct 2025 09:06:57 +0200

Merge remote-tracking branch 'origin/master'

Diffstat:
automorphism
 | 
2
++
craig_interpolation
 | 
1
+

2 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/automorphism b/automorphism
@@ -3,3 +3,5 @@
 An [isomorphism] which is an [endomorphism]
 
 Up: [isomorphism], [endomorphism]
+
+Aliases: automorphisms
diff --git a/craig_interpolation b/craig_interpolation
@@ -3,6 +3,7 @@
 For every [implication] φ => ψ, there is a formula χ using only the common [relation_symbols] of φ and ψ such that φ => χ and χ => ψ
 
 - [cate2023craig]: [survey_article] on [craig_interpolation] for [guarded_fragment]
+- [cate2025interpolation]: general [survey_article]
 - [cate2024craig]: [invited_talk]
 
 Up: [property] of [logical_fragment]