Craig interpolation
[de] Craig-Interpolation
[fr] Théorème d'interpolation de Craig
[ja] クレイグの補間定理
[ko] 크레이그의 보간 정리
[pl] Twierdzenie Craiga