No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 240-240 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 176-176 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 195-195 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 180-180 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 47-47 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 207-207 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 493-493 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 189-189 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 262-262 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 188-188 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 253-253 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 257-257 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |