Heuristics used by HERBY for semantic tree theorem proving

DOI10.1023/A:1018976510663zbMath0913.68190OpenAlexW1856099230MaRDI QIDQ1277339

Mohammed Almulla, Qingxun Yu, Monroe M. Newborn

Publication date: 2 February 1999

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

first-order predicate calculusHERBYsemantic trees

Mathematics Subject Classification ID

Related Items (2)

Exploiting parallelism: highly competitive semantic tree theorem prover ⋮ HERBY

Uses Software

• SETHEO
• TGTP

This page was built for publication: Heuristics used by HERBY for semantic tree theorem proving