scientific article; zbMATH DE number 827985

zbMATH Open0837.03012MaRDI QIDQ4858952

Andreas Wolf

Publication date: 20 December 1995

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

zbMATH Keywords

resolutionalgorithm for the optimization of tableau-proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items (2)

On the relative merits of path dissolution and the method of analytic tableaux ⋮ Accelerating tableaux proofs using compact representations

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