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: