No TPTP formula. May not be expressible in strict first order. |
Military.kif 404-404 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 577-577 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 629-629 |
|