No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 151-151 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 458-458 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 213-213 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 287-287 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 528-528 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 468-468 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 321-321 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 469-469 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 298-298 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 471-471 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 460-460 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 364-364 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 153-153 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |