Craig interpolation
Craig-Interpolation
theorem
mathematischer Satz
Interpolationssatz
Craigs Lemma