| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 423-423 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 205-205 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 267-267 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 475-475 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 277-277 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 425-425 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 203-203 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 268-268 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 476-476 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 273-273 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 278-278 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 274-274 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 272-272 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 158-158 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 160-160 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 159-159 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 392-392 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 279-279 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 276-276 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 422-422 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 271-271 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 206-206 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 454-454 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 163-163 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 204-204 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
cz