scientific article; zbMATH DE number 440107

MaRDI QIDQ3142015zbMATH OpenFDO

Authors W. M. J. Ophelders, Harrie de Swart

Publication date 6 December 1993

zbMATH Keywords

resolution-based theorem proverstableau-based theorem provers

Mathematics Subject Classification ID

Recommendations

• Theorem proving method and the computer science
• The complexity of analytic tableaux
• TABLEAUX: A general theorem prover for modal logics
• First-order modal tableaux
• scientific article; zbMATH DE number 4104409

Cited in

(6)

• The Diffusion of the Alfonsine Tables: The case of the Tabulae resolutae
• scientific article; zbMATH DE number 4104409 (Why is no real title available?)
• First-order tableaux in applications (extended abstract)
• Empirical investigation on combining tableaux and resolution
• scientific article; zbMATH DE number 125805 (Why is no real title available?)
• scientific article; zbMATH DE number 3982556 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

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