Refutation graphs
type: Item
instance of: scholarly article
title: Refutation graphs
zbMATH Open document ID: 0328.68080
DOI: 10.1016/0004-3702(76)90021-7
author: Robert E. Shostak
published in: Artificial Intelligence
publication date: 1976-01-01T00:00:00Z
full work available at URL: http://www.sciencedirect.com/science/journal/00043702
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3515018
MaRDI profile type: Publication
OpenAlex ID: W2914936697
cites work: An Implementation of the Model Elimination Proof Procedure
cites work: Linear resolution with selection function
cites work: Mechanical Theorem-Proving by Model Elimination
cites work: Q5600875
cites work: A Simplified Format for the Model Elimination Theorem-Proving Procedure
cites work: Q5672215
cites work: A Unifying View of Some Linear Herbrand Procedures
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Resolution graphs
description: scientific article; zbMATH DE number 3515018