Property: Krull domain

Definition: localizations at height 1 primes are all discrete valuation rings