The problem of demodulator adjunction
type: Item
instance of: scholarly article
title: The problem of demodulator adjunction
zbMATH Open document ID: 0781.68104
DOI: 10.1007/BF00245464
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 1993-12-20T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 444944
zbMATH Keywords: demodulators
zbMATH Keywords: unsolved research problem
zbMATH Keywords: automated reasoning
Wikidata QID: Q114267065
MaRDI profile type: Publication
cites work: Refutational theorem proving using term-rewriting systems
cites work: Q5581665
cites work: Complexity and related enhancements for automated theorem-proving programs
cites work: The Concept of Demodulation in Theorem Proving
cites work: Q3994754
cites work: Q4296171
description: scientific article; zbMATH DE number 444944