Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

분해 증명 · Vinony

Home
1965 introductions
분해 증명

🌐한국어

English Deutsch Español Français Italiano Nederlands Polski Português Русский فارسی 한국어 中文日本語

EntityQ1051925· pop 18· linked from 91 articles

분해 증명

Also known as resolution principle

in logic, rule of inference

Available in 18 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Catalan
Czech
Hungarian

Connections

conjunctive normal form

Categories

1965 introductions Automated theorem proving Proof theory Propositional calculus Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

Inductive logic programming

Entity

Davis–Putnam algorithm

International Standard Book Number

mathematical proof

digital object identifier

mathematical logic

propositional calculus

reductio ad absurdum

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

existential instantiation

Entitydist 0.33

conjunction elimination

Entitydist 0.34

Universal instantiation

Entitydist 0.35

logical consequence

Entitydist 0.41

De Morgan's laws

Entitydist 0.42

logical harmony

Entitydist 0.44

Entitydist 0.44

second-order logic

Entitydist 0.45

abductive reasoning

Entitydist 0.46

logical equivalence

Entitydist 0.48

Entitydist 0.49

double negative elimination

Entitydist 0.49

What links here91 pages

program synthesis

automated theorem proving

Inductive logic programming

John Alan Robinson

Evert Willem Beth

knowledge representation and reasoning

Edmund M. Clarke

sequent calculus

method of analytic tableaux

cut-elimination

Davis–Putnam algorithm

2-satisfiability

conjunctive normal form

Toniann Pitassi

Václav Chvátal

reductio ad absurdum

problem solving