Suche
❯
07. Dez. 20251 Min. Lesezeit
A formula A is called closed or ground iff it has no free variables.