Tseitin transformation (English, name)
expansion: the Tseitin transformation
Senses:
glosses: Alternative form of Tseytin transformation.
tags: alt-of
alternative
Forms:
form: the Tseitin transformation
tags: canonical