From joe at gilith.com Wed Dec 14 00:50:49 2011 From: joe at gilith.com (Joe Hurd) Date: Tue, 13 Dec 2011 16:50:49 -0800 Subject: [metis-users] TPTP equalish predicate In-Reply-To: References: Message-ID: 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