Steering
|
|
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 341-341 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 344-344 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 346-346 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 380-380 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 345-345 |