Suprema of open and closed formulas and their application to resolution (Q1891169)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Suprema of open and closed formulas and their application to resolution |
scientific article; zbMATH DE number 758681
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Suprema of open and closed formulas and their application to resolution |
scientific article; zbMATH DE number 758681 |
Statements
Suprema of open and closed formulas and their application to resolution (English)
0 references
28 May 1995
0 references
SOAF
0 references
SCAF
0 references
Horn clause logic
0 references
logic programming
0 references
