ElisTarskiPf
B
Sections
NuprlLIB
Doc
Rank
Theorem
Name
4
Thm*
t:Term. s(t) reps t/s(t)
[s_reps]
cites
3
Thm*
t:Term. s(t) reps t/(f(t)/q(f(t)))
[s2]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t:Term. s(t) reps t/s(t)t:Term. s(t) reps t/(f(t)/q(f(t)))t:Term. s(t) reps t/s(t)t:Term. s(t) reps t/(f(t)/q(f(t)))