Besonderhede van voorbeeld: 6561889278249179313

English

As with general first-order logic, entailment with definite clauses is semidecidable.

Spanish

Igual que con la lógica de primer orden general, la implicación con cláusulas positivas es semidecidible.