wiki_research

commit fdc683fba66fd7376d08fadbb310d72d6fdbd4f2
parent 997e84b7b1ea79aeb9a8f5a40d9b1dd2782d2a96
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]