Equivalence (formal languages)
Computer science
Linguistics
Natural language processing
Semantic equivalence
Artificial intelligence
Dynamic and formal equivalence
Set (abstract data type)
Machine translation
Programming language
Philosophy
Semantic Web
Semantic computing