What Is Skolemization In Artificial Intelligence