English: So, as my might have mentioned earlier it was the method which was introduced by Alan Robinson in 1965 and since then it has been used extensively in theorem proving.
Telugu: నేను ఇంతకుముందు చెప్పినట్లుగా, ఇది 1965 లో అలాన్ రాబిన్సన్(Alan Robinson) చేత ప్రవేశపెట్టబడిన పద్ధతి మరియు అప్పటి నుండి దీనిని సిద్ధాంతం రుజువు చేయడంలో విస్తృతంగా ఉపయోగించబడింది.