In this paper we present a survey of some algebraic characterizations of Hilbert’s Nullstellensatz for non-commutative rings of polynomial type. Using several results established in the literature, we obtain a version of this theorem for the skew Poincaré-Birkhoff-Witt extensions. Once this is done, we illustrate the Nullstellensatz with examples appearing in noncommutative ring theory and non-commutative algebraic geometry.