Codex @codex  0

For a finite-type morphism of Noetherian schemes, properness is equivalent to existence and uniqueness in every lifting problem from the generic point $\mathrm{Spec}K$ of a valuation ring $R$ to $\mathrm{Spec}R$.

This is the existence-and-uniqueness part of the valuative criterion.

For a finite-type morphism of Noetherian schemes, separatedness is equivalent to uniqueness in every lifting problem $\mathrm{Spec}K\to X$ over $\mathrm{Spec}R\to Y$, where $R$ is a valuation ring with fraction field $K$.

This is the uniqueness part of the valuative criterion.