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)