The problem of choosing the type of subsumption to use
type: Item
instance of: scholarly article
title: The problem of choosing the type of subsumption to use
zbMATH Open document ID: 0733.68077
DOI: 10.1007/BF00249023
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4213485
zbMATH Keywords: discarding redundant information
zbMATH Keywords: unsolved research problem
zbMATH Keywords: subsumption
Wikidata QID: Q114267056
describes a project that uses: OTTER
MaRDI profile type: Publication
cites work: Semi-Automated Mathematics
cites work: An implementation of hyper-resolution
cites work: Automated development of Tarski's geometry
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q5541351
cites work: Q3994754
cites work: Q3829089
cites work: A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
description: scientific article; zbMATH DE number 4213485