Metadata
Author: WikiMatrix
Data
English[en]
Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.
Spanish[es]
Los ejemplos de las conversiones que implican este concepto son Skolemización y algunas transformaciones para llegar a la forma normal conjuntiva.