No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1955-1955 |
O conceito Numero Inteiro e' completamente decomposto em Inteiro Impar + Inteiro Par |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 868-868 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 938-938 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 544-544 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 74-74 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 77-77 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2229-2229 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 496-496 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 111-111 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 565-565 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 78-78 |
|