No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4254-4254 |
canRunOn AppleFindMy and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 722-722 |
deviceOS AppleIPhone11 and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 724-724 |
deviceOS AppleIPhone11ProMax and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 723-723 |
deviceOS AppleIPhone11pro and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 206-206 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 207-207 |
|