Hindi
|
|
appearance as argument number 1 |
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 |