The problem of demodulation during inference rule application
type: Item
instance of: scholarly article
title: The problem of demodulation during inference rule application
zbMATH Open document ID: 0784.68080
DOI: 10.1007/BF00247829
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 1993-12-10T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 444937
zbMATH Keywords: unsolved research problem
zbMATH Keywords: automated reasoning
zbMATH Keywords: demodulation
zbMATH Keywords: hyperresolution
zbMATH Keywords: UR-resolution
zbMATH Keywords: hyperparamodulation
Wikidata QID: Q114267059
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00247829
OpenAlex ID: W1993144713
description: scientific article; zbMATH DE number 444937