semidecision procedure - Spanisch Englisch Wörterbuch