Search for blocks/addresses/...

Proofgold Term Root Disambiguation

2f0a8..∀ x0 : (ι → ο) → ο . ∀ x1 : ((ι → ο) → ο)((ι → ο) → ο) → ο . (∀ x2 : (ι → ο) → ο . 3a6d0.. x2 x0∀ x3 : ο . (∀ x4 : (ι → ο) → ο . x1 x2 x4x3)x3)∀ x2 : ο . (∀ x3 : ((ι → ο) → ο)(ι → ο) → ο . (∀ x4 : (ι → ο) → ο . 3a6d0.. x4 x0x1 x4 (x3 x4))x2)x2
as obj
-
as prop
aa5c0..Skolem_2_bdd
theory
HF
stx
a8b20..
address
TMUh3..Skolem_2_bdd