No TPTP formula. May not be expressible in strict first order. |
Media.kif 2108-2115 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2095-2105 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2077-2092 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2139-2152 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2127-2136 |
|