scientific article
From MaRDI portal
Publication:3965577
zbMATH Open0499.68038MaRDI QIDQ3965577FDOQ3965577
Publication date: 1982
Title of this publication is not available (Why is that?)
connection graph resolution ruleinference system for clause graphsrefutation treesunrestricted deletion of tautologies
Cited In (1)
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)
