scientific article; zbMATH DE number 3557752

zbMATH Open0358.02030MaRDI QIDQ4133601FDOQ4133601

Authors: S. Yu. Maslov, S. A. Norgela 

Publication date: 1977

Full work available at URL: https://eudml.org/doc/188193

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

Recommendations

• Sequent forms of Herbrand theorem and their applications
• scientific article
• Completeness of resolution revisited
• On the practical value of Herbrand disjunctions
• Towards automated reasoning in Herbrand structures

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited In (2)

• Towards automated reasoning in Herbrand structures
• Herbrand deduction search strategies in predicate calculus. II

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