No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 21-21 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 229-229 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 439-439 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 235-235 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 20-20 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 352-352 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 359-359 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 203-203 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 202-202 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 231-231 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 254-254 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 43-43 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 381-381 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 379-379 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |