Skolem functions (English, noun)
expansion: Skolem functions
Senses:
glosses: plural of Skolem function
tags: form-of
plural
Forms: