No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 380-380 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 92-92 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 355-355 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 193-193 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 386-386 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 377-377 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 80-80 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 36-36 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 49-49 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 444-444 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 440-440 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 82-82 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 51-51 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |