automated reasoning, connection calculus, directed acyclic graph, Graph Neural Network, Logical Entailment, parallelism, paramodulation.
