No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2271-2274 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2266-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2261-2264 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2276-2279 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2281-2281 |
Bookmarklet is a subclass of computer program |