Mechanical Theorem-Proving by Model Elimination

Loveland, D. W. (1968). Mechanical Theorem-Proving by Model Elimination. ACM, 15(2).

Type

Journal article

Intellectual base

Primary research

Year

1968

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Model elimination
  • Model elimination represents clauses as ordered chains, applies extension and reduction steps, and uses ancestor literals to close branches while preserving refutational completeness.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ca05c60402de · see in the full table