scientific article

zbMath0716.68076MaRDI QIDQ3204066

David E. Long, Spiro Michaylov, Soumitra Bose, Edmund M. Clarke

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Loveland's model elimination procedureparallel resolution theorem prover

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence (68T99) Logic programming (68N17)

Related Items

A Prolog technology theorem prover: A new exposition and implementation in Prolog ⋮ Refinements to depth-first iterative-deepening search in automatic theorem proving ⋮ PARTHENON