Parallelization of a hyper-linking-based theorem prover

DOI10.1023/A:1006469202251zbMATH Open0958.03013OpenAlexW1604233443MaRDI QIDQ1595925

Shie-Jue Lee, Chih-Hung Wu

Publication date: 18 February 2001

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006469202251

zbMATH Keywords

theorem provingfirst-order logicparallel processingparallel architecturehyper-linking strategylogic deduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

PARTHENON: A parallel theorem prover for non-horn clauses ⋮ Unnamed Item

Uses Software

• SATO
• Unnamed Item

This page was built for publication: Parallelization of a hyper-linking-based theorem prover