No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1956-1956 |
整数 详尽无遗地 partition 成 负整数 和 非负整数 |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 871-871 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 944-944 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 77-77 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 80-80 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2232-2232 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 568-568 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 81-81 |
|