No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 41-41 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 46-46 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 45-45 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 36-36 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 39-39 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 44-44 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 37-37 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 42-42 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 47-47 |
|