What does automatisches Beweisen mean?

automatisches Beweisen - German to English

mechanical theorem-proving