scientific article; zbMATH DE number 1615240

MaRDI QIDQ2723902zbMATH OpenFDO

Authors Georg Struth

Publication date 8 July 2001

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4047185
• scientific article; zbMATH DE number 3871320
• scientific article; zbMATH DE number 475244
• scientific article; zbMATH DE number 886137
• Some experiments with a completion theorem prover

Cited in

(8)

• scientific article; zbMATH DE number 2090066 (Why is no real title available?)
• scientific article; zbMATH DE number 4085079 (Why is no real title available?)
• scientific article; zbMATH DE number 849903 (Why is no real title available?)
• scientific article; zbMATH DE number 4047185 (Why is no real title available?)
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 3871320 (Why is no real title available?)
• scientific article; zbMATH DE number 1522859 (Why is no real title available?)
• Suprema of open and closed formulas and their application to resolution

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