Experiments in Automated Deduction with Condensed Detachment

McCune, W., & Wos, L. (1992). Experiments in Automated Deduction with Condensed Detachment. Automated Deduction—CADE-11.

Type

Book chapter

Intellectual base

Review or monograph

Year

1992

DOI

10.1007/3-540-55602-8_167

ISBN

9783540556022

Link

https://doi.org/10.1007/3-540-55602-8_167

Cited by

1 citation across 1 artifact.

Domain-specific

• Condensed Detachment
  • McCune and Wos reported experiments on 112 condensed-detachment problems using the OTTER prover, varying search and deletion strategies.

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:d5b262066145 · see in the full table