No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 80-80 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 67-67 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 90-90 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 92-92 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 94-94 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 96-96 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 100-100 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 82-82 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 85-85 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |