scientific article; zbMATH DE number 1615240

zbMATH Open0964.03010MaRDI QIDQ2723902FDOQ2723902

Authors: Georg Struth 

Publication date: 8 July 2001

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knuth-Bendix completion for non-symmetric transitive relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)