WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites implies?
impliesDef P Q == PQ

Syntax:P Q has structure: implies(P; Q)

About:
functionimplies!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc