Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (Q5202646)
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 4195921
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) |
scientific article; zbMATH DE number 4195921 |
Statements
Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (English)
0 references
1990
0 references
register machine
0 references
spectral representations of \(\rho \) -ary predicates
0 references
reduction types
0 references
first-order logic without equality
0 references
simulation method
0 references
0.8672929406166077
0 references
0.8163277506828308
0 references
0.7820565700531006
0 references
