Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x2 (setexp x1 x0)∀ x3 . In x3 x0In (ap x2 x3) x1
as obj
-
as prop
bc2f0..ap_setexp
theory
HF
stx
b2d3f..
address
TMRbK..ap_setexp