Metadata
Author: Literature
Data
English[en]
Inference can be done with ground propositional clauses rather than in first-order logic.
Spanish[es]
Se puede hacer la inferencia con cláusulas proposicionales instanciadas en vez de con lógica de primer orden.