# 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: