Vertaling van "Zero argument function " (Engels → Frans) :

Skolem constant [ zero argument function ]
constante de Skolem

zero suppression function
suppression de zéros

argument of a function
argument d'une fonction

function argument
argument pour recherche de fonction

functional argument
argument fonctionnel