Holmstrom Beilinson-Lichtenbaum conjectures

See Levine in K-theory handbook, page 439-440. Statement: For $X \in Sm_k$, existence of certain complexes in the derived category of sheaves on the Zariski (resp etale) site of $X$, satisfying a list of properties.

nLab page on Beilinson-Lichtenbaum conjectures