No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 721-721 |
deviceOS AppleIPhoneXR and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 719-719 |
deviceOS AppleIPhoneXS and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 720-720 |
deviceOS AppleIPhoneXSmax and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 200-200 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 198-198 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 201-201 |
|