Consolution as a framework for comparing calculi
type: Item
instance of: scholarly article
title: Consolution as a framework for comparing calculi
zbMATH Open document ID: 0803.68120
author: Peter Baumgartner
author: Ulrich Furbach
published in: Journal of Symbolic Computation
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 563555
zbMATH Keywords: first-order proof calculi
zbMATH Keywords: consolution calculus
zbMATH Keywords: resolution
zbMATH Keywords: tableaux model elimination
zbMATH Keywords: connection method
zbMATH Keywords: model elimination
describes a project that uses: SETHEO
MaRDI profile type: Publication
full work available at URL: jsco.1993.1058
OpenAlex ID: W2153361692
DOI: 10.1006/JSCO.1993.1058
description: scientific article; zbMATH DE number 563555