Theorem proving by chain resolution
type: Item
instance of: scholarly article
title: Theorem proving by chain resolution
zbMATH Open document ID: 0913.68187
DOI: 10.1016/S0304-3975(97)00128-X
author: Patrick Dehornoy
author: Abderrahim Marzouk
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1238720
zbMATH Keywords: theorem proving
zbMATH Keywords: clausal refutation
zbMATH Keywords: propositional logic
zbMATH Keywords: polynomial systems
MaRDI profile type: Publication
cites work: Q5679729
cites work: Q3994509
cites work: Refutational theorem proving using term-rewriting systems
cites work: Linear resolution with selection function
cites work: Q4139711
cites work: Q4846259
cites work: On the relation between resolution based and completion based theorem proving
cites work: Basic principles of mechanical theorem proving in elementary geometries
description: scientific article; zbMATH DE number 1238720