No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1532-1532 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1531-1531 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1530-1530 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1533-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1537-1537 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1536-1536 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1535-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1538-1538 |
|