Constant symbols are translated to TPTP without single quotes
Fxhnd opened this issue · comments
TPTP needs constants to be wrapped in either single quotes (') to represent constants or (") to represent disjoint constants.
Turns out that you don't need the single quotes to declare constants. Also, none of the provers or model finders seem to support using the " for disjoint constants so this is a moot issue
~Closing