semidecision procedure - German English Dictionary