No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 53-53 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 54-54 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 59-59 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 62-62 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 86-86 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 98-98 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |