Talk:Semantics encoding
Jump to navigation
Jump to search
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||
|
Preservation of reductions; completeness
Does not it miss ? So it will be
For every term of language A and every terms of language B, if then there exists some such that and .