tptp-0.1.1.0: A parser and a pretty printer for the TPTP language

Index - Q

QuantifiedData.TPTP
quantifiedData.TPTP
QuantifiedSort 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
QuantifierData.TPTP
QuotientData.TPTP
QuotientEData.TPTP
QuotientFData.TPTP
QuotientTData.TPTP