scientific article; zbMATH DE number 3870636

MaRDI QIDQ3336731zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1984

zbMATH Keywords

automated deductionmatingdependency graphHorn clausesSemantic informations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• The search efficiency of theorem proving strategies
• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 4072438
• Man-machine theorem proving in graph theory
• On the modelling of search in theorem proving -- towards a theory of strategy analysis

Cited in

(2)

• On the shape of mathematical arguments
• scientific article; zbMATH DE number 1105197 (Why is no real title available?)

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 Q3336731)