No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 459-459 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 489-489 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 490-490 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 492-492 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 502-502 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 507-507 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 509-509 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 70-70 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 63-63 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 76-76 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |