. . . . . . . . . . . . . . . . . . . . . . . . . . "Démonstration automatique de théorèmes"@fr . "Déduction automatique"@fr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "11977922"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "MSC 68T15 (2000)"@fr . "Preuve automatique de théorèmes"@fr . . . . . . "2000" . . . . . . . . . . . . . . . . . . . . . . "2023-06-07" . . . . . "Automatic theorem proving" . . . "Théorèmes -- Démonstration automatique"@fr . "1985-07-07" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Théorèmes -- Preuve automatique"@fr . . . . . . . . . . . . . . . . . .