scientific article; zbMATH DE number 3557752

MaRDI QIDQ4133601zbMATHFDO

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

Publication date 1977

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

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

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)