Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03161015n
Noun Concept
Categories: Formas normales
ES
forma normal de Skolem  skolemizacion  skolemización
ES
Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores universales. Wikipedia
Definitions
Relations
Sources
ES
Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores universales. Wikipedia
IS A
canónico
forma normal prenexa
FACET OF
lógica de primer orden
NAMED AFTER
Thoralf Skolem
Wikipedia
ES
forma normal de Skolem
Wikidata
ES
forma normal de Skolem
Wikipedia Redirections
ES
Forma normal de skolem, Skolemizacion, skolemización
Wikidata Alias
ES
skolemizacion, skolemización

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License