Extracting information from resolution proof trees
type: Item
instance of: scholarly article
title: Extracting information from resolution proof trees
zbMATH Open document ID: 0221.68051
DOI: 10.1016/0004-3702(71)90003-8
author: David C. Luckham
author: Nils J. Nilsson
published in: Artificial Intelligence
publication date: 1971-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 3351215
MaRDI profile type: Publication
full work available at URL: 0004-3702(71)90003-8
OpenAlex ID: W2044919352
cites work: Q5649989
cites work: Q5523665
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Resolution With Merging
cites work: Q5619635
description: scientific article