Differences
This shows you the differences between two versions of the page.
|
quantales [2017/08/05 13:04] jipsen |
quantales [2019/10/13 18:50] (current) jipsen |
||
|---|---|---|---|
| Line 53: | Line 53: | ||
| $\begin{array}{lr} | $\begin{array}{lr} | ||
| f(1)= &1\\ | f(1)= &1\\ | ||
| - | f(2)= &\\ | + | f(2)= &2\\ |
| - | f(3)= &\\ | + | f(3)= &12\\ |
| - | f(4)= &\\ | + | f(4)= &129\\ |
| - | f(5)= &\\ | + | f(5)= &1852\\ |
| - | \end{array}$ | + | f(6)= &33391\\ |
| - | $\begin{array}{lr} | + | |
| - | f(6)= &\\ | + | |
| - | f(7)= &\\ | + | |
| - | f(8)= &\\ | + | |
| - | f(9)= &\\ | + | |
| - | f(10)= &\\ | + | |
| \end{array}$ | \end{array}$ | ||
| + | Model search done by Mace4 https://www.cs.unm.edu/~mccune/mace4/ | ||
| ====Subclasses==== | ====Subclasses==== | ||
Trace:
