interactive proof system - Türkisch Englisch Wörterbuch