No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 48-48 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 295-295 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 479-479 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 127-127 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 154-154 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 30-30 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 32-32 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 375-375 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 62-62 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 497-497 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 481-481 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 182-182 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 422-422 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 126-126 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 133-133 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 98-98 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 471-471 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 283-283 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 212-212 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 286-286 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |