The resonance strategy (Q1343396)
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 718815
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The resonance strategy |
scientific article; zbMATH DE number 718815 |
Statements
The resonance strategy (English)
0 references
30 June 1995
0 references
automated reasoning
0 references
OTTER
0 references
resonator
0 references
resonance strategy
0 references
group theory
0 references
Robbins algebra
0 references
logic calculi
0 references
0.6848269104957581
0 references
0.6692913770675659
0 references
0.6619540452957153
0 references
0.6605767607688904
0 references
0.6465277671813965
0 references
