No TPTP formula. May not be expressible in strict first order. |
Government.kif 2331-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15453-15462 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12036-12048 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15422-15429 |
|