(Q830486)

English

open formula

formula that contains at least one free variable

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit