scientific article; zbMATH DE number 440107

zbMATH Open0779.68075MaRDI QIDQ3142015FDOQ3142015

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

Publication date: 6 December 1993

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

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

zbMATH Keywords

resolution-based theorem proverstableau-based theorem provers

Mathematics Subject Classification ID

Cited In (6)

• The Diffusion of the Alfonsine Tables: The case of the Tabulae resolutae
• Title not available (Why is that?)
• First-order tableaux in applications (extended abstract)
• Empirical investigation on combining tableaux and resolution
• Title not available (Why is that?)
• Title not available (Why is that?)

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)