| Property |
Value |
| dbo:abstract
|
- 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. Utilizando resolución se puede construir un demostrador que sea completo (por contradicción) y correcto (en inglés refutational complete and sound) para la lógica proposicional y de primer orden supuesto que un conjunto de proposiciones son insatisfacibles. Por otro lado si el conjunto de proposiciones de hecho es satisfacible, puede o no terminar en una cantidad finita de pasos una demostración por resolución, generalmente lo que sucede es que se asigna un tiempo límite para hallar si un conjunto es insatisfacible o no. (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. Utilizando resolución se puede construir un demostrador que sea completo (por contradicción) y correcto (en inglés refutational complete and sound) para la lógica proposicional y de primer orden supuesto que un conjunto de proposiciones son insatisfacibles. Por otro lado si el conjunto de proposiciones de hecho es satisfacible, puede o no terminar en una cantidad finita de pasos una demostración por resolución, generalmente lo que sucede es que se asigna un tiempo límite para hallar si un conjunto es insatisfacible o no. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellidos
|
- Loveland (es)
- Chang (es)
- Fitting (es)
- Gallier (es)
- Loveland (es)
- Chang (es)
- Fitting (es)
- Gallier (es)
|
| prop-es:año
|
- 1973 (xsd:integer)
- 1978 (xsd:integer)
- 1986 (xsd:integer)
- 1996 (xsd:integer)
- 2001 (xsd:integer)
|
| prop-es:edición
|
- 1 (xsd:integer)
- 2 (xsd:integer)
|
| prop-es:editor
|
- Robinson,A. y Voronkov,A. (es)
- Robinson,A. y Voronkov,A. (es)
|
| prop-es:editorial
| |
| prop-es:nombre
|
- Melvin (es)
- Donald W. (es)
- Jean H. (es)
- Chin-Liang (es)
- Melvin (es)
- Donald W. (es)
- Jean H. (es)
- Chin-Liang (es)
|
| prop-es:título
|
- Logic for Computer Science: Foundations of Automatic Theorem Proving (es)
- Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6 (es)
- First-Order Logic and Automated Theorem Proving (es)
- Symbolic Logic and Mechanical Theorem Proving (es)
- Handbook of Automated Reasoning Volume I (es)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (es)
- Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6 (es)
- First-Order Logic and Automated Theorem Proving (es)
- Symbolic Logic and Mechanical Theorem Proving (es)
- Handbook of Automated Reasoning Volume I (es)
|
| prop-es:url
| |
| dct:subject
| |
| rdfs:comment
|
- 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. Utilizando resolución se puede construir un demostrador que sea completo (por contradicción) y correcto (en inglés refutational complete and sound) para la lógica proposicional y de primer orden supuesto que un conjunto de proposiciones son insatisfacibles. Por otro lado si el conjunto de proposiciones de hecho es satisfacible, puede o no terminar en una cantidad finita de pasos una demostración por resolución, generalmente lo que sucede es que se asigna un tiempo límite para hallar si un conjunto es insatisfacible o no. (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. Utilizando resolución se puede construir un demostrador que sea completo (por contradicción) y correcto (en inglés refutational complete and sound) para la lógica proposicional y de primer orden supuesto que un conjunto de proposiciones son insatisfacibles. Por otro lado si el conjunto de proposiciones de hecho es satisfacible, puede o no terminar en una cantidad finita de pasos una demostración por resolución, generalmente lo que sucede es que se asigna un tiempo límite para hallar si un conjunto es insatisfacible o no. (es)
|
| rdfs:label
|
- Resolución (lógica) (es)
- Resolución (lógica) (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
