Decision tactics for derivation search in the resolution method
type: Item
instance of: scholarly article
title: Decision tactics for derivation search in the resolution method
zbMATH Open document ID: 0664.03010
DOI: 10.1007/BF01093424
author: Nail Zamov
author: V. I. Sharonov
published in: Journal of Soviet Mathematics
publication date: 1987-01-01T00:00:00Z
review text: The authors consider ordering tactics within the resolution method capable of establishing derivability of formulas from a decidable class of predicate calculus in which the condition of bounded term ranks has been weakened.
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 4085612
zbMATH Keywords: ordering tactics
zbMATH Keywords: resolution method
zbMATH Keywords: derivability of formulas
zbMATH Keywords: decidable class
zbMATH Keywords: bounded term ranks
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf01093424
OpenAlex ID: W2087987601
description: scientific article; zbMATH DE number 4085612