No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1240-1240 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1235-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1239-1239 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1238-1238 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1233-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1241-1241 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1236-1236 |
|