meaning of automatisches Beweisen

automatisches Beweisen - German to English

mechanical theorem-proving