Predicate (mathematical logic)
Curry–Howard correspondence
Predicate logic
Natural deduction
Dijkstra's algorithm
Equational logic
Mathematics
Equivalence (formal languages)
Predicate transformer semantics
Calculus (dental)
Computer science
Algebra over a field
Discrete mathematics
Programming language
Pure mathematics
Semantics (computer science)
Operational semantics
Description logic
Rewriting
Medicine
Graph
Dentistry
Shortest path problem
