English

edit

Noun

edit

Skolem functions

  1. plural of Skolem function