wff (well-formed formula) - German English Dictionary