scientific article; zbMATH DE number 3788022

MaRDI QIDQ3965577zbMATHFDO

Authors Gert Smolka

Publication date 1982

zbMATH Keywords

connection graph resolution ruleinference system for clause graphsrefutation treesunrestricted deletion of tautologies

Mathematics Subject Classification ID

Cited in

(1)

• On the termination of clause graph 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 Q3965577)