Searched defs:sequent (Results 1 – 7 of 7) sorted by relevance
57 sequent = False; variable104 sequent = seq[True, Skolemize[f, NegativePosition, {}]]; variable131 sequent = StrongSimplify[s]; PrintMessage[SimplifyMessage]; variable167 sequent = SubstEquation[sequent]], variable172 sequent = Rewriting[sequent]], variable181 sequent = RewriteSum[sequent]], variable186 sequent = RewriteTrig[sequent]], variable191 sequent = Factorize[sequent]], variable196 sequent = SolveEquation[sequent]], variable
45 type sequent = { type64 let sequent = var
560 sequent: unproto/cpp target
506 bool sequent = m_itemSequent; in visitAlways() local
994 sequent: unix_make target
3653 \subsection{Sequent Notation for Clauses} \label{sequent} label