Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02084347n
Noun Concept
Categories: Teoremas de la lógica proposicional, Introducciones de 1965, Aprendizaje automático, Demostradores de teoremas
ES
resolución
ES
En Lógica Resolución es una regla de inferencia utilizada sobre cierto tipo de proposiciones lógicas y es especialmente utilizada para los demostradores automatizados de teoremas. Wikipedia
Spanish:
lógica
Definitions
Relations
Sources
ES
En Lógica Resolución es una regla de inferencia utilizada sobre cierto tipo de proposiciones lógicas y es especialmente utilizada para los demostradores automatizados de teoremas. Wikipedia
Regla de inferencia sobre cierto tipo de proposiciones. Wikipedia Disambiguation
Regla de inferencia Wikidata
IS A
teorema
regla de inferencia
HAS KIND
sld resolución
EN
unit propagation
CS
SLG rezoluce
Wikipedia
ES
resolución (lógica)
Wikidata
ES
resolución
Wikipedia Translations
ES
resolució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