Translation of "Skolem function" into Irish

feidhm Scoiléim is the translation of "Skolem function" into Irish.

Skolem function noun grammar

A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

+ Add

English-Irish dictionary

  • feidhm Scoiléim

  • Show algorithmically generated translations

Automatic translations of "Skolem function" into Irish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "Skolem function" into Irish in sentences, translation memory