No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4422-4424 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4420-4420 |
域 recoveryKey, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4421-4421 |
域 recoveryKey, 2 and 用戶帳號 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4419-4419 |
例 recoveryKey and BinaryRelation |