scientific article; zbMATH DE number 4114098

zbMATH Open0679.68175MaRDI QIDQ4729409

Christoph Walther

Publication date: 1989

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

zbMATH Keywords

resolutionmany-sorted theorem provers

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

One modification of the ordering strategy in the resolution method ⋮ Title not available (Why is that?) ⋮ Soft typing for ordered 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 Q4729409)