Node-Based Inference

E.g. Using and-entailment

{P1, …, Pn} &=> {Q1, …, Qm}

Previous slide

Back to first slide

View graphic version