The utility of independent subgoals in theorem proving
From MaRDI portal
Publication:5623242
DOI10.1016/S0019-9958(71)90382-2zbMath0218.68019MaRDI QIDQ5623242
Publication date: 1971
Published in: Information and Control (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
An approach to a systematic theorem proving procedure in first-order logic ⋮ A nucleus of a theorem-prover described inAlgol-68 ⋮ A man-machine theorem-proving system
This page was built for publication: The utility of independent subgoals in theorem proving
