No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1971-1971 |
creator AppleComputer and AppleAppStore |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1983-1983 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1987-1987 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1982-1982 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1986-1986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1981-1981 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1985-1985 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1984-1984 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1988-1988 |
|