scientific article; zbMATH DE number 3870636

zbMATH Open0546.68073MaRDI QIDQ3336731FDOQ3336731

Authors: David A. Plaisted 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• The search efficiency of theorem proving strategies
• scientific article
• 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

zbMATH Keywords

automated deductionmatingdependency graphHorn clausesSemantic informations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• On the shape of mathematical arguments
• Title not available (Why is that?)

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)