No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 698-698 |
deviceOS AppleIPhone5c and AppleIPhoneOS7 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 699-699 |
deviceOS AppleIPhone5s and AppleIPhoneOS7 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 169-169 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 171-171 |
|