No TPTP formula. May not be expressible in strict first order. |
Military.kif 496-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 486-486 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 546-546 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 659-659 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 669-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 598-598 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 585-585 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 572-572 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 352-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 365-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 430-430 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |