Correctness
Planner
Computer science
Automated planning and scheduling
Set (abstract data type)
Domain (mathematical analysis)
Feature (linguistics)
Computation
Observable
State (computer science)
Artificial intelligence
Theoretical computer science
Mathematics
Algorithm
Programming language
Mathematical analysis
Linguistics
Philosophy
Physics
Quantum mechanics
