forme normale de Skolem

concept Représentation existentielle sans quantique dans la logique des prédicats

Aussi : skolemisation, skolémisation

Nature : concept mathématique

Catégories : concepts mathématiques · sciences · concepts abstraits

Mots du lexique : Forme nom propre, Normale nom propre