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