No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 231-231 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 269-269 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 111-111 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 423-423 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 68-68 |
|