Unnecessary inferences in associative-commutative completion procedures (Q3489486)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4162297
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Unnecessary inferences in associative-commutative completion procedures |
scientific article; zbMATH DE number 4162297 |
Statements
Unnecessary inferences in associative-commutative completion procedures (English)
0 references
1990
0 references
automated reasoning
0 references
superposition
0 references
completion procedure
0 references
Jacobson's theorem
0 references
0 references
0.7464661002159119
0 references
0.7457694411277771
0 references
0.7430334687232971
0 references
0.7430334687232971
0 references
0.7333070635795593
0 references
