theorem-proving - German English Dictionary