Tseytin transformation (Q2315059)
Jump to navigation
Jump to search
No description defined
- Tseitin transformation
Language | Label | Description | Also known as |
---|---|---|---|
English | Tseytin transformation |
No description defined |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Zeitin-Transformation
- enwiki Tseytin transformation
- frwiki Transformation de Tseitin
- nlwiki Tseitin-transformatie
- ptwiki Transformação de Tseytin