Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃<sup>∞</sup> (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten (Q4206707)
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 4127170
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃<sup>∞</sup> (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten |
scientific article; zbMATH DE number 4127170 |
Statements
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃<sup>∞</sup> (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten (English)
0 references
1989
0 references
reduction type
0 references
transitive model
0 references
spectrum of a formula
0 references
finite satisfiability
0 references
0.885289192199707
0 references
0.8820059895515442
0 references
0.8499574661254883
0 references
0.8490803241729736
0 references
