subsumed clause 0 cláusula subsumida En el cálculo de predicados, una cláusula que puede ser eliminada porque hay otra cláusula presente que es más fuerte. 2018-03-11 clauseclausula predicate calculuscálculo de predicados
