(Q1609475)

English

Herbrand structure

structure over a vocabulary defined solely by syntactical properties

Statements

0 references
0 references

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit