. . . . . . . . "Th\u00E9or\u00E8me d'interpolation de Craig"@fr . . . . . "En logique math\u00E9matique, le th\u00E9or\u00E8me d'interpolation de Craig dit que si une formule \u03C6 en implique une deuxi\u00E8me \u03C8, et que \u03C6 et \u03C8 partagent au moins un symbole non logique en commun, alors il existe une formule \u03C1, appel\u00E9e interpolant, telle que : \n* \u03C6 implique \u03C1 ; \n* \u03C1 implique \u03C8 ; \n* tout symbole non logique dans \u03C1 appara\u00EEt \u00E0 la fois dans \u03C6 et \u03C8."@fr . . . . . . . . . . "183942102"^^ . "9980697"^^ . . "2854"^^ . . "Craig-Interpolation"@de . "\u30AF\u30EC\u30A4\u30B0\u306E\u88DC\u9593\u5B9A\u7406"@ja . . . "En logique math\u00E9matique, le th\u00E9or\u00E8me d'interpolation de Craig dit que si une formule \u03C6 en implique une deuxi\u00E8me \u03C8, et que \u03C6 et \u03C8 partagent au moins un symbole non logique en commun, alors il existe une formule \u03C1, appel\u00E9e interpolant, telle que : \n* \u03C6 implique \u03C1 ; \n* \u03C1 implique \u03C8 ; \n* tout symbole non logique dans \u03C1 appara\u00EEt \u00E0 la fois dans \u03C6 et \u03C8."@fr . .