The TPTP Format for Derivations changed what it requires for Skolemisation steps slightly. I don't think we were ever compliant, so now might be a good time to do it. Shouldn't be so hard, I'll get to this (hopefully before the competition) if nobody feels enthused before.
The TPTP Format for Derivations changed what it requires for Skolemisation steps slightly. I don't think we were ever compliant, so now might be a good time to do it. Shouldn't be so hard, I'll get to this (hopefully before the competition) if nobody feels enthused before.