NEXPTIME
IP
NP
Soundness
KeY
Logic programming
Interactive proof system
Zero-knowledge proof
Theoretical computer science
Applied mathematics
Complexity classes