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