Modulo
Axiom
Commutative property
Predicate (mathematical logic)
Algebraic semantics
Confluence
Associative property
Algebraic number
Computer science
Algebra over a field
Mathematics
Rewriting
Automated theorem proving
Programming language
Discrete mathematics
Semantics (computer science)
Pure mathematics
Mathematical analysis
Geometry
