Wiktionary
Bedeutungen:
1. Zeichenreihe, die mindestens eine freie Variable enthält und durch Bindung oder Belegung aller Variablen aus einem Grundbereich zu einer Aussage wird
Synonyme: Keine