Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . ∀ x2 . x0 x2x1 x2∀ x3 : ο . (∀ x4 . and (x0 x4) (x1 x4)x3)x3
as obj
-
as prop
cd5b6..exandI_i
theory
HF
stx
8a441..
address
TMGhg..exandI_i