Universal abstract consistency class and universal refutation

DOI10.1007/BF02946524zbMath0920.68128OpenAlexW2015319562MaRDI QIDQ1288438

Huowang Chen, Bingshan Wang, Zhou-Jun Li

Publication date: 13 September 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946524

zbMATH Keywords

abstract consistency classrefutation methods

Mathematics Subject Classification ID

Related Items (1)

Universal abstract consistency class and universal refutation

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Universal abstract consistency class and universal refutation
• Theorem Proving via General Matings
• A Machine-Oriented Logic Based on the Resolution Principle
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

This page was built for publication: Universal abstract consistency class and universal refutation