bn:27270163n
Noun Concept
FR
No term available
EN
An open formula is a formula that contains at least one free variable. Wikipedia
Relations
Sources