No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 292-292 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 297-297 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 298-298 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 306-306 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 310-310 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 313-313 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 314-314 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 315-315 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 317-317 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 21-21 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 22-22 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 23-23 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 27-27 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 30-30 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 32-32 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 33-33 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 36-36 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 37-37 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 39-39 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 42-42 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 44-44 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |