Cut Elimination for First Order Gödel Logic by Hyperclause Resolution (Q5505574)
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: Cut Elimination for First Order Gödel Logic by Hyperclause Resolution |
scientific article; zbMATH DE number 5498360
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cut Elimination for First Order Gödel Logic by Hyperclause Resolution |
scientific article; zbMATH DE number 5498360 |
Statements
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution (English)
0 references
27 January 2009
0 references
0.8382266759872437
0 references
0.8211394548416138
0 references
0.8178396821022034
0 references
0.8128190636634827
0 references
