Metadata
Author: Literature
Data
English[en]
This section describes a representation method that uses first-order logic to avoid that problem.
Spanish[es]
Esta sección describe un método de representación que utiliza lógica de primer orden para resolver este problema.