| No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 200-200 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 95-95 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 191-191 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 238-238 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 98-98 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 384-384 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 59-59 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 385-385 |
|
notices