Craig interpolation
type: Item
instance of: theorem
named after: William Craig
Freebase ID: /m/06j1b1
Microsoft Academic ID: 2780242984
part of: list of theorems
Wikidata QID: Q1052021
studied in: mathematical logic
proved by: William Craig
main subject: first-order logic
label: Craig-Interpolation @de
description: theorem
description: mathematischer Satz @de
alternative label: Interpolationssatz @de
alternative label: Craigs Lemma @de