An extension to linear resolution with selection function
type: Item
instance of: scholarly article
title: An extension to linear resolution with selection function
zbMATH Open document ID: 0477.68100
DOI: 10.1016/0020-0190(82)90035-7
author: Jack Minker
author: Guy Zanon
published in: Information Processing Letters
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3750344
MaRDI profile type: Publication
full work available at URL: 0020-0190(82)90035-7
OpenAlex ID: W1998072811
cites work: Q5679729
cites work: Linear resolution with selection function
cites work: Mechanical Theorem-Proving by Model Elimination
cites work: Q4139711
cites work: Two Results on Ordering for Resolution with Merging and Linear Format
cites work: A Machine-Oriented Logic Based on the Resolution Principle
description: scientific article; zbMATH DE number 3750344