SET-VAR
type: Item
instance of: scholarly article
title: SET-VAR
zbMATH Open document ID: 0802.68130
DOI: 10.1007/BF00881869
author: W. W. Bledsoe
author: Guohui Feng
published in: Journal of Automated Reasoning
publication date: 1994-04-12T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 549825
zbMATH Keywords: set-theory
zbMATH Keywords: second-order logic
zbMATH Keywords: circumscription
describes a project that uses: OTTER
describes a project that uses: METEOR
MaRDI profile type: Publication
cites work: Q3880319
cites work: A man-machine theorem-proving system
cites work: Solvable cases of the decision problem
cites work: On connections and higher-order logic
cites work: Q4012178
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
cites work: Q4296171
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: Eliminating dublication with the hyper-linking strategy
cites work: Circumscription - a form of non-monotonic reasoning
full work available at URL: https://doi.org/10.1007/bf00881869
OpenAlex ID: W2914221638
description: scientific article; zbMATH DE number 549825