No TPTP formula. May not be expressible in strict first order. |
Military.kif 465-465 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 579-579 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 630-630 |
|