No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | Language artificiel est une sous-classe de langage |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1434-1434 | Langage de programmation est une sous-classe de language artificiel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1461-1461 | Langage construit est une sous-classe de language artificiel |
![]() |