Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Resolution (logic)
An Entity of Type:
academic subject
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
In logic, rule of inference
Property
Value
dbo:
description
logica
(nl)
Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen
(de)
en lògica, regla d'inferència
(ca)
in logic, rule of inference
(en)
regla de inferencia
(es)
regola di inferenza logica
(it)
règle d'inférence logique
(fr)
dbo:
wikiPageExternalLink
http://www.cis.upenn.edu/~jean/gbooks/logic.html
https://logictools.org
https://archive.org/details/symboliclogicmec00chan
dbo:
wikiPageWikiLink
dbr
:Cut_rule
dbr
:Term_logic
dbr
:Logic_programming
dbc
:Theorems_in_propositional_logic
dbr
:Soundness
dbr
:Consensus_theorem
dbr
:Inductive_logic_programming
dbc
:Propositional_calculus
dbr
:Resolution_inference
dbr
:Validity_(logic)
dbr
:Rule_of_inference
dbc
:Proof_theory
dbr
:First-order_logic
dbr
:Universal_quantification
dbr
:SNARK_(theorem_prover)
dbr
:SPASS
dbr
:Logical_consequence
dbr
:Automated_theorem_proving
dbr
:Unification_(computer_science)
dbr
:Atomic_formula
dbr
:Propositional_logic
dbr
:Skolem_function
dbr
:Syllogism
dbr
:Modus_ponens
dbr
:Gödel's_completeness_theorem
dbr
:Tautology_(logic)
dbr
:Completeness_(logic)
dbr
:Prover9
dbr
:Data_structure
dbr
:Springer_Science+Business_Media
dbr
:Martin_Davis_(mathematician)
dbc
:Automated_theorem_proving
dbr
:Clausal_normal_form
dbr
:Boolean_satisfiability_problem
dbc
:Rules_of_inference
dbr
:Mathematical_logic
dbr
:RE_(complexity)
dbr
:Inverse_resolution
dbr
:Hilary_Putnam
dbr
:Search_algorithm
dbr
:Method_of_analytic_tableaux
dbr
:Conjunctive_normal_form
dbr
:Journal_of_the_ACM
dbr
:SLD_resolution
dbr
:CARINE
dbr
:Proof_by_contradiction
dbr
:Existential_quantification
dbr
:Vampire_(theorem_prover)
dbr
:Literal_(mathematical_logic)
dbc
:1965_introductions
dbr
:John_Alan_Robinson
dbr
:DPLL_algorithm
dbr
:Davis–Putnam_algorithm
dbr
:Clause_(logic)
dbr
:Condensed_detachment
dbr
:Most_general_unifier
dbr
:Otter_(theorem_prover)
dbr
:Tree_(data_structure)
dbr
:Quantification_(logic)
dbr
:List_(data_structure)
dbr
:Harper_&_Row
dbr
:Ground_instance
dbr
:GKC_Theorem_Prover
dbr
:Predicate_symbol
dbr
:Theorem-proving
dbr
:Davis-Putnam_algorithm
dbr
:Decision_procedure
dbr
:Refutation_completeness
dbr
:Directed_Acyclic_Graph
dbr
:Unification_(computing)
dbp:
author
Alex Sakharov
(en)
dbp:
title
Resolution
(en)
Resolution Principle
(en)
dbp:
urlname
Resolution
(en)
ResolutionPrinciple
(en)
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Cite_journal
dbt
:MathWorld
dbt
:Citation_needed
dbt
:Mapsto
dbt
:GBurl
dbt
:Rp
dbt
:Short_description
dct:
subject
dbc
:Theorems_in_propositional_logic
dbc
:Propositional_calculus
dbc
:Proof_theory
dbc
:Automated_theorem_proving
dbc
:Rules_of_inference
dbc
:1965_introductions
gold:
hypernym
dbr
:Rule
rdf:
type
dbo
:AcademicSubject
rdfs:
label
Resolution (logic)
(en)
Rezoluce (logika)
(cs)
Resolution (Logik)
(de)
Resolución (lógica)
(es)
Règle de résolution
(fr)
導出原理
(ja)
Resolutie (logica)
(nl)
분해 증명
(ko)
Princípio da resolução
(pt)
Rezolucja (matematyka)
(pl)
Правило резолюцій
(uk)
Правило резолюций
(ru)
归结原理
(zh)
owl:
sameAs
freebase
:Resolution (logic)
yago-res
:Resolution (logic)
wikidata
:Resolution (logic)
dbpedia-nl
:Resolution (logic)
dbpedia-de
:Resolution (logic)
dbpedia-fr
:Resolution (logic)
dbpedia-zh
:Resolution (logic)
dbpedia-ja
:Resolution (logic)
dbpedia-pt
:Resolution (logic)
dbpedia-es
:Resolution (logic)
dbpedia-hu
:Resolution (logic)
dbpedia-fa
:Resolution (logic)
dbpedia-ru
:Resolution (logic)
dbpedia-pl
:Resolution (logic)
dbpedia-ko
:Resolution (logic)
dbpedia-cs
:Resolution (logic)
dbpedia-uk
:Resolution (logic)
dbpedia-global
:Resolution (logic)
dbr
:Resolution (logic)
prov:
wasDerivedFrom
wikipedia-en
:Resolution_(logic)?oldid=1292789360&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Resolution_(logic)
is
dbo:
knownFor
of
dbr
:John_Alan_Robinson
is
dbo:
wikiPageDisambiguates
of
dbr
:Resolution
is
dbo:
wikiPageRedirects
of
dbr
:Resolution_inference
dbr
:Resolvent_(logic)
dbr
:Resolution_principle
dbr
:Resolution_principle
dbr
:First-order_resolution
dbr
:First_order_resolution
dbr
:Method_of_resolution
dbr
:Binary_resolution
dbr
:Robinson`s_resolution_principle
dbr
:Robinson's_Resolution_Algorithm
dbr
:Paramodulation
dbr
:Logical_resolution
dbr
:Non-clausal_resolution
dbr
:Resolution_prover
is
dbo:
wikiPageWikiLink
of
dbr
:Prolog_syntax_and_semantics
dbr
:Factoring
dbr
:Unit_propagation
dbr
:RecycleUnits
dbr
:Logic_of_argumentation
dbr
:Narrowing_of_algebraic_value_sets
dbr
:Isabelle_(proof_assistant)
dbr
:History_of_artificial_intelligence
dbr
:Consensus_theorem
dbr
:Sequent_calculus
dbr
:Resolution_inference
dbr
:First-order_logic
dbr
:Prolog
dbr
:Program_synthesis
dbr
:SNARK_(theorem_prover)
dbr
:List_of_programming_languages_by_type
dbr
:Automated_theorem_proving
dbr
:Unification_(computer_science)
dbr
:Skolem_normal_form
dbr
:Planner_(programming_language)
dbr
:Frege_system
dbr
:XSB
dbr
:Cancel
dbr
:Horn_clause
dbr
:Answer_set_programming
dbr
:International_Alert
dbr
:Index_of_philosophy_articles_(R–Z)
dbr
:Problem_solving
dbr
:Completeness_(logic)
dbr
:Proof_calculus
dbr
:Proof_complexity
dbr
:Proof_compression
dbr
:Propositional_proof_system
dbr
:SAT_solver
dbr
:Knuth–Bendix_completion_algorithm
dbr
:Alexander_Razborov
dbr
:Václav_Chvátal
dbr
:Inverse_resolution
dbr
:Mutilated_chessboard_problem
dbr
:Wolfgang_Haken
dbr
:Method_of_analytic_tableaux
dbr
:Conjunctive_normal_form
dbr
:Occurs_check
dbr
:SLD_resolution
dbr
:Herbrand_structure
dbr
:Literal_(mathematical_logic)
dbr
:Glossary_of_artificial_intelligence
dbr
:DPLL_algorithm
dbr
:Commercial_Court_(Victoria)
dbr
:Davis–Putnam_algorithm
dbr
:Structural_rule
dbr
:2-satisfiability
dbr
:Resolution
dbr
:Resolvent_(logic)
dbr
:Condensed_detachment
dbr
:Congruence_lattice_problem
dbr
:Resolution_principle
dbr
:Model_elimination
dbr
:Resolution_proof_compression_by_splitting
dbr
:Resolution_proof_reduction_via_local_context_rewriting
dbr
:Boolean_satisfiability_algorithm_heuristics
dbr
:Otter_(theorem_prover)
dbr
:Outline_of_logic
dbr
:Toniann_Pitassi
dbr
:Theory_(mathematical_logic)
dbr
:First-order_resolution
dbr
:List_of_rules_of_inference
dbr
:Fish_Cheeks
dbr
:Archie_Blake_(mathematician)
dbr
:List_of_important_publications_in_theoretical_computer_science
dbr
:First_order_resolution
dbr
:Method_of_resolution
dbr
:Binary_resolution
dbr
:Robinson`s_resolution_principle
dbr
:Robinson's_Resolution_Algorithm
dbr
:Paramodulation
dbr
:Logical_resolution
dbr
:Non-clausal_resolution
dbr
:Resolution_prover
is
dbp:
knownFor
of
dbr
:John_Alan_Robinson
is
foaf:
primaryTopic
of
wikipedia-en
:Resolution_(logic)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International