Differences
This shows you the differences between two versions of the page.
|
terms [2010/08/18 12:16] jipsen created |
terms [2010/08/18 12:17] (current) jipsen |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | [[Syntax]] | [[Terms]] | [[Equations]] | [[Quasiequations]] | + | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | [[Theories]] |
| Here we list distinct terms with no constant subterms other than $0, 1$. | Here we list distinct terms with no constant subterms other than $0, 1$. | ||
Trace:
