No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 473-473 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 154-154 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 294-294 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 323-323 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 429-429 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 537-537 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 299-299 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 502-502 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 295-295 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 319-319 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 435-435 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 325-325 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 158-158 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 157-157 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 156-156 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 478-478 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |