The problem of choosing the type of subsumption to use

DOI10.1007/BF00249023zbMath0733.68077WikidataQ114267056 ScholiaQ114267056MaRDI QIDQ809628

Larry Wos

Publication date: 1991

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

subsumptionunsolved research problemdiscarding redundant information

Mathematics Subject Classification ID

Uses Software

• OTTER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• An implementation of hyper-resolution
• Automated development of Tarski's geometry
• A Machine-Oriented Logic Based on the Resolution Principle
• Semi-Automated Mathematics

This page was built for publication: The problem of choosing the type of subsumption to use