Replacement rules with definition detection

DOI10.1007/3-540-46508-1_5MaRDI QIDQ4503903zbMATH OpenFDO

Authors Yunshan Zhu, David A. Plaisted

Publication date 14 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46508-1_5

zbMATH Keywords

theorem prover

Mathematics Subject Classification ID

Recommendations

• Term rewriting: Some experimental results
• Resolution theorem proving
• scientific article; zbMATH DE number 4053061
• Special relations in automated deduction
• A structure-preserving clause form translation

Cited in

(1)

• First-order atom definitions extended

This page was built for publication: Replacement rules with definition detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503903)