How to avoid the derivation of redundant clauses in reasoning systems
type: Item
instance of: scholarly article
title: How to avoid the derivation of redundant clauses in reasoning systems
zbMATH Open document ID: 0784.68079
DOI: 10.1007/BF00247827
author: Ralf Socher
published in: Journal of Automated Reasoning
publication date: 1993-12-10T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 444935
zbMATH Keywords: theorem proving
zbMATH Keywords: clause graphs
zbMATH Keywords: resolution
zbMATH Keywords: subsumption
zbMATH Keywords: logical equivalences
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00247827
OpenAlex ID: W2094114882
description: scientific article; zbMATH DE number 444935