Documentation

dol :: String Source #

casl :: String Source #

owl :: String Source #

clif :: String Source #

propositional :: String Source #

rdf :: String Source #

tptp :: String Source #

hascasl :: String Source #

modal :: String Source #