[metis-users] TPTP equalish predicate

[Joe Hurd]

Hi James,

Sorry for the delay in responding.

> Are you sure that it should be the way around that you have in your e-mail
> below?

You are quite right, it should be TermNet.matched in
Active.deduceParamodulationWith and
TermNet.match in Active.deduceParamodulationInto.

Did you get better empirical results in MetiTarski when using this
incomplete version of paramodulation?

Cheers,

Joe