Explicit Hilbert's Nullstellensatz over the division ring of quaternions

Using the Rabinowitsch trick, we prove an explicit version of the central quaternionic Nullstellensatz formulated and proved by Alon and Paran.