Basic research problems: The problem of strategy and hyperresolution
type: Item
instance of: scholarly article
title: Basic research problems: The problem of strategy and hyperresolution
zbMATH Open document ID: 0804.68133
DOI: 10.1007/BF00881847
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 1994-08-31T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 627565
zbMATH Keywords: strategy
zbMATH Keywords: unsolved research problem
zbMATH Keywords: automated reasoning
zbMATH Keywords: hyperresolution
zbMATH Keywords: paramodulation
Wikidata QID: Q114267037
describes a project that uses: AURA
MaRDI profile type: Publication
cites work: Q5624683
cites work: Q5541351
cites work: Q3994754
cites work: Q4296171
cites work: Q4770009
cites work: Q5608782
full work available at URL: https://doi.org/10.1007/bf00881847
OpenAlex ID: W2056215293
Recommended article: Basic research problems: The problem of choosing the representation, inference rule, and strategy
Recommended article: Some Remarks on Hyperresolutions
Recommended article: Strategies for modal resolution: Results and problems
Recommended article: Optimization problems in electron microscopy of single particles
Recommended article: Q5692773
Recommended article: Logic Programming
Recommended article: Relative Resolution and Its Applications
Recommended article: Q4357671
Recommended article: Research problems
description: scientific article; zbMATH DE number 627565