No TPTP formula. May not be expressible in strict first order. |
Military.kif 589-589 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 540-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 434-434 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 642-642 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 652-652 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 662-662 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 490-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 601-601 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 520-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 467-467 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 369-369 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 356-356 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 576-576 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 632-632 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |