scientific article; zbMATH DE number 4033134

MaRDI QIDQ3773391zbMATH OpenFDO

Authors Yoshiki Hagiwara

Publication date 1986

zbMATH Keywords

automatic theorem provingfirst order predicate calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4045219
• scientific article; zbMATH DE number 3935002
• Automatic theorem proving and OTTER
• scientific article; zbMATH DE number 1809862
• scientific article; zbMATH DE number 4155933

Cited in

(4)

• scientific article; zbMATH DE number 4045219 (Why is no real title available?)
• scientific article; zbMATH DE number 2065283 (Why is no real title available?)
• scientific article; zbMATH DE number 850969 (Why is no real title available?)
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule

This page was built for publication:

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