Closed Fxhnd closed 7 years ago
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
TPTP needs constants to be wrapped in either single quotes (') to represent constants or (") to represent disjoint constants.