QFormula | Data.Logic.ATP.Quantified, Data.Logic.ATP |
Quant | Data.Logic.ATP.Quantified, Data.Logic.ATP |
quant | Data.Logic.ATP.Quantified, Data.Logic.ATP |
quantifierId | Data.Logic.ATP.Parser, Data.Logic.ATP |
quantifierOp | Data.Logic.ATP.Parser, Data.Logic.ATP |
quantPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
quotes | Data.Logic.ATP |