Computer science
Feature (linguistics)
Predicate (mathematical logic)
Negation
Programming language
Model checking
Constraint (computer-aided design)
Logic programming
Theoretical computer science
Software engineering
Mathematics
Philosophy
Linguistics
Geometry
