Etymology Explorer › English

Where does “Skolemization” come from?

Skolemization (English): The conversion of a formula of first-order logic...

Definitions

  1. The conversion of a formula of first-order logic...