English: The way to convert is into implicit quantifier form and the process is called skolemization after legation called skolem.
Telugu: మార్చడానికి మార్గం ఇంప్లిసిట్ క్వాంటిఫైయర్(implicit quantifier)రూపంలో ఉంటుంది మరియు ఈ ప్రక్రియను స్కోలెమైజేషన్(skolemization) తరువాత స్కొలెమ్(skolem) అని పిలుస్తారు.