[400] Papinscher Topf, s. Digestor.
Adelung-1793: Topf (2), der · Topf (1), der · Johannis-Topf, der
Brockhaus-1837: Topf · Papinianischer Topf · Papin'scher Topf
Pierer-1857: Papinscher Topf · Topf