Completeness for cut-based abduction (Q5176673)
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: Completeness for cut-based abduction |
scientific article; zbMATH DE number 6409419
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness for cut-based abduction |
scientific article; zbMATH DE number 6409419 |
Statements
Completeness for cut-based abduction (English)
0 references
27 February 2015
0 references
abduction
0 references
first-order abduction
0 references
cut-based abduction
0 references
tableaux
0 references
propositional tableaux
0 references
first-order tableaux
0 references
KE-tableaux
0 references
0.8882164
0 references
0.88001394
0 references
0 references
0.8725527
0 references
0.86658895
0 references
0.86036676
0 references
0 references
0.8558101
0 references
