Resolution-based theorem proving for many-valued logics
type: Item
instance of: scholarly article
title: Resolution-based theorem proving for many-valued logics
zbMATH Open document ID: 0839.68091
author: Matthias Baaz
author: Christian G. Fermüller
published in: Journal of Symbolic Computation
publication date: 1995-10-09T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 792837
zbMATH Keywords: automated theorem proving
MaRDI profile type: Publication
OpenAlex ID: W2076410236
DOI: 10.1006/JSCO.1995.1021
description: scientific article; zbMATH DE number 792837