Levels of uniformity (Q2418784)
From MaRDI portal
scientific article; zbMATH DE number 6377531
- Computational aspects of satisfiability in probability logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Levels of uniformity |
scientific article; zbMATH DE number 6377531 |
|
Statements
Levels of uniformity (English)
0 references
Computational aspects of satisfiability in probability logic (English)
0 references
29 May 2019
0 references
5 December 2014
0 references
Medvedev degrees
0 references
Muchnik degrees
0 references
algorithmic randomness
0 references
decidability
0 references
complexity of satisfiability
0 references
\(\varepsilon\)-logic
0 references
0-logic
0 references
