3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
H. Peter Gumm, Ralph Freese
Suppose p(x,y,z) and q(x,y,z) are terms. If there is a common "ancestor" term s(z1,z2,z3,z4) specializing to p and q through identifying some variables \begin…