Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03161015n
Noun Concept
Categories: Forme normali
IT
forma normale di Skolem  skolemizzazione
IT
In logica matematica, si dice skolemizzazione l'applicazione dell'algoritmo di Albert Thoralf Skolem che trasforma un enunciato in forma normale in un enunciato universale. Wikipedia
Definitions
Relations
Sources
IT
In logica matematica, si dice skolemizzazione l'applicazione dell'algoritmo di Albert Thoralf Skolem che trasforma un enunciato in forma normale in un enunciato universale. Wikipedia
IS A
forma canonica
forma prenessa
FACET OF
teoria del primo ordine
NAMED AFTER
Albert Thoralf Skolem
Wikipedia
IT
skolemizzazione
Wikidata
IT
forma normale di Skolem
Wikipedia Redirections
IT
forma normale di Skolem

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