Generalized completeness for SOS resolution and its application to a new notion of relevance
type: Item
instance of: scholarly article
title: Generalized completeness for SOS resolution and its application to a new notion of relevance
DOI: 10.1007/978-3-030-79876-5_19
author: Fajar Haifani
author: Sophie Tourret
author: Christoph Weidenbach
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437087
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 19
OpenAlex ID: W3181671299
cites work: Axiom Pinpointing in General Tableaux
cites work: Rewrite-based Equational Theorem Proving with Selection and Simplification
cites work: The complexity of logic-based abduction
cites work: Q5503674
cites work: Investigations on autark assignments
cites work: Labelled Clauses
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q5290112
cites work: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
description: scientific article; zbMATH DE number 7437087