graph (mathematics, logic)

A set of nodes and edges; adapted in various forms to analyzing predicate logic.

Comments are closed.