automatic theorem proving - Französisch Englisch Wörterbuch