Pages that link to "Resolution (logic)"
Jump to navigation
Jump to search
The following pages link to Resolution (logic):
Displaying 44 items.
- First-order logic (← links)
- Proof by contradiction (← links)
- Inductive logic programming (← links)
- Unification (computer science) (← links)
- Conjunctive normal form (← links)
- Equality (mathematics) (← links)
- Sequent calculus (← links)
- List of rules of inference (← links)
- Skolem normal form (← links)
- Deduction theorem (← links)
- 2-satisfiability (← links)
- Program synthesis (← links)
- Knuth–Bendix completion algorithm (← links)
- Structural rule (← links)
- Golem (ILP) (← links)
- Method of analytic tableaux (← links)
- Occurs check (← links)
- Answer set programming (← links)
- Condensed detachment (← links)
- Unit propagation (← links)
- Davis–Putnam algorithm (← links)
- DPLL algorithm (← links)
- Proof complexity (← links)
- Theory (mathematical logic) (← links)
- Literal (mathematical logic) (← links)
- Consensus theorem (← links)
- Mutilated chessboard problem (← links)
- Congruence lattice problem (← links)
- SLD resolution (← links)
- SAT solver (← links)
- Frege system (← links)
- Propositional proof system (← links)
- Completeness (logic) (← links)
- Proof compression (← links)
- Resolution proof reduction via local context rewriting (← links)
- Resolution proof compression by splitting (← links)
- RecycleUnits (← links)
- Narrowing of algebraic value sets (← links)
- Boolean satisfiability algorithm heuristics (← links)
- Theta-subsumption (← links)
- Non-normal modal logic (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 August 23 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 December 2 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2017 October 28 (← links)