ElisTarskiPf
B
Sections
NuprlLIB
Doc
Rank
Theorem
Name
2
Thm*
t:Term. q(t) reps t
[up_repst]
cites
1
Thm*
t:Term. q(t) reps t
Term
[up_reps]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t:Term. q(t) reps tt:Term. q(t) reps t 
Termt:Term. q(t) reps tt:Term. q(t) reps t Term