No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 396-396 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 41-41 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 387-387 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 456-456 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 131-131 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 399-399 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 278-278 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 38-38 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 361-361 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 333-333 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 192-192 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 370-370 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 327-327 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 502-502 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 287-287 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 501-501 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 416-416 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 391-391 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |