What is skolem constant?

A Skolem constant is a specific kind of constant symbol in first-order logic that is used to eliminate existential quantifiers. It is a constant that represents a particular object in the domain of discourse and is used in Skolem normal form to rewrite existential quantifiers as function applications.