Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

The problem of demodulator adjunction

From MaRDI portal
Publication:688566
Jump to:navigation, search

DOI10.1007/BF00245464zbMATH Open0781.68104WikidataQ114267065 ScholiaQ114267065MaRDI QIDQ688566FDOQ688566


Authors: Larry Wos Edit this on Wikidata


Publication date: 20 December 1993

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





Recommendations

  • The problem of demodulating across argument and literal boundaries
  • The problem of demodulation during inference rule application
  • The problem of hyperparamodulation
  • The problem of hyperparamodulation and nuclei
  • The problem of reasoning from inequalities


zbMATH Keywords

automated reasoningdemodulatorsunsolved research problem


Mathematics Subject Classification ID


Cites Work

  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Refutational theorem proving using term-rewriting systems
  • Complexity and related enhancements for automated theorem-proving programs
  • The Concept of Demodulation in Theorem Proving
  • Title not available (Why is that?)


Cited In (3)

  • The problem of demodulation during inference rule application
  • The problem of demodulating across argument and literal boundaries
  • The problem of hyperparamodulation and nuclei





This page was built for publication: The problem of demodulator adjunction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688566)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:688566&oldid=12598092"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 30 January 2024, at 09:27. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki