Suche
❯
14. Apr. 20261 Min. Lesezeit
A formula A is called closed or ground iff it has no free variables.