English: So, in fact, this procedure by Alan Robinson was a big in logical reasoning automatic theorem proving.
Telugu: కాబట్టి, వాస్తవానికి, అలాన్ రాబిన్సన్ చేసిన ఈ విధానం లాజికల్ రీజనింగ్ ఆటోమేటిక్ సిద్ధాంతాన్ని రుజువు చేయడంలో పెద్దది.