About: Resolution (logic)

An Entity of Type: academic subject, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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:Completeness_(logic) dbr:SLD_resolution dbr:Inverse_resolution dbc:Rules_of_inference dbc:Propositional_calculus dbr:Mathematical_logic dbr:Syllogism dbc:1965_introductions dbr:Automated_theorem_proving dbr:Modus_ponens dbr:Boolean_satisfiability_problem dbr:Universal_quantification dbr:Clause_(logic) dbr:Springer_Science+Business_Media dbr:Vampire_(theorem_prover) dbr:Term_logic dbr:Method_of_analytic_tableaux dbr:Gödel's_completeness_theorem dbr:Davis–Putnam_algorithm dbr:Hilary_Putnam dbr:Consensus_theorem dbr:Inductive_logic_programming dbr:Soundness dbr:Atomic_formula dbr:Data_structure dbr:Martin_Davis_(mathematician) dbr:DPLL_algorithm dbr:Search_algorithm dbr:Validity_(logic) dbr:Otter_(theorem_prover) dbr:Conjunctive_normal_form dbr:First-order_logic dbr:Propositional_logic dbc:Automated_theorem_proving dbr:Tautology_(logic) dbr:Condensed_detachment dbr:Unification_(computer_science) dbr:Logic_programming dbr:John_Alan_Robinson dbr:Proof_by_contradiction dbr:Rule_of_inference dbr:Existential_quantification dbr:Prover9 dbr:RE_(complexity) dbr:Logical_consequence dbr:Journal_of_the_ACM dbr:CARINE dbc:Proof_theory dbr:SNARK_(theorem_prover) dbr:SPASS dbc:Theorems_in_propositional_logic dbr:Skolem_function dbr:Literal_(mathematical_logic) dbr:Clausal_normal_form dbr:Cut_rule dbr:Harper_&_Row dbr:Quantification_(logic) dbr:Tree_(data_structure) dbr:Resolution_inference dbr:Most_general_unifier dbr:Ground_instance dbr:Decision_procedure dbr:List_(data_structure) dbr:Davis-Putnam_algorithm dbr:Refutation_completeness dbr:Directed_Acyclic_Graph dbr:Predicate_symbol dbr:Unification_(computing) dbr:Theorem-proving dbr:GKC_Theorem_Prover
dbp:author	Alex Sakharov (en)
dbp:title	Resolution (en) Resolution Principle (en)
dbp:urlname	Resolution (en) ResolutionPrinciple (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Citation_needed dbt:Cite_journal dbt:GBurl dbt:MathWorld dbt:Reflist dbt:Rp dbt:Short_description dbt:Mapsto
dct:subject	dbc:Rules_of_inference dbc:Propositional_calculus dbc:1965_introductions dbc:Automated_theorem_proving dbc:Proof_theory dbc:Theorems_in_propositional_logic
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) 분해 증명 (ko) Resolutie (logica) (nl) 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-de:Resolution (logic) dbpedia-es:Resolution (logic) dbpedia-nl:Resolution (logic) dbpedia-pl:Resolution (logic) dbpedia-fr:Resolution (logic) dbpedia-hu:Resolution (logic) dbpedia-ja:Resolution (logic) dbpedia-pt:Resolution (logic) dbpedia-ru:Resolution (logic) dbpedia-zh:Resolution (logic) dbpedia-ko:Resolution (logic) dbpedia-cs:Resolution (logic) dbpedia-fa:Resolution (logic) dbpedia-uk:Resolution (logic) dbpedia-global: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:First_order_resolution dbr:First-order_resolution dbr:Resolvent_(logic) dbr:Resolution_inference dbr:Binary_resolution dbr:Method_of_resolution dbr:Resolution_principle dbr:Resolution_principle dbr:Non-clausal_resolution dbr:Paramodulation dbr:Resolution_prover dbr:Robinson`s_resolution_principle dbr:Robinson's_Resolution_Algorithm dbr:Logical_resolution
is dbo:wikiPageWikiLink of	dbr:First_order_resolution dbr:Herbrand_structure dbr:Completeness_(logic) dbr:Unit_propagation dbr:SLD_resolution dbr:Answer_set_programming dbr:Inverse_resolution dbr:Prolog dbr:Occurs_check dbr:Horn_clause dbr:XSB dbr:Skolem_normal_form dbr:Automated_theorem_proving dbr:Isabelle_(proof_assistant) dbr:Program_synthesis dbr:Method_of_analytic_tableaux dbr:Cancel dbr:Propositional_proof_system dbr:Prolog_syntax_and_semantics dbr:Davis–Putnam_algorithm dbr:Consensus_theorem dbr:International_Alert dbr:Archie_Blake_(mathematician) dbr:Alexander_Razborov dbr:Planner_(programming_language) dbr:Problem_solving dbr:DPLL_algorithm dbr:Mutilated_chessboard_problem dbr:List_of_programming_languages_by_type dbr:Congruence_lattice_problem dbr:Otter_(theorem_prover) dbr:Conjunctive_normal_form dbr:Structural_rule dbr:First-order_logic dbr:Proof_complexity dbr:Sequent_calculus dbr:Toniann_Pitassi dbr:Wolfgang_Haken dbr:Condensed_detachment dbr:Unification_(computer_science) dbr:SAT_solver dbr:Resolution dbr:History_of_artificial_intelligence dbr:2-satisfiability dbr:Frege_system dbr:Václav_Chvátal dbr:Commercial_Court_(Victoria) dbr:Outline_of_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Theory_(mathematical_logic) dbr:SNARK_(theorem_prover) dbr:Fish_Cheeks dbr:Proof_calculus dbr:Logic_of_argumentation dbr:Narrowing_of_algebraic_value_sets dbr:RecycleUnits dbr:Boolean_satisfiability_algorithm_heuristics dbr:Literal_(mathematical_logic) dbr:Model_elimination dbr:First-order_resolution dbr:Knuth–Bendix_completion_algorithm dbr:Resolution_proof_compression_by_splitting dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:List_of_rules_of_inference dbr:Factoring dbr:Resolvent_(logic) dbr:List_of_important_publications_in_theoretical_computer_science dbr:Resolution_inference dbr:Proof_compression dbr:Glossary_of_artificial_intelligence dbr:Binary_resolution dbr:Method_of_resolution dbr:Resolution_principle dbr:Non-clausal_resolution dbr:Paramodulation dbr:Resolution_prover dbr:Robinson`s_resolution_principle dbr:Robinson's_Resolution_Algorithm dbr:Logical_resolution
is dbp:knownFor of	dbr:John_Alan_Robinson
is foaf:primaryTopic of	wikipedia-en:Resolution_(logic)