Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . Subq x0 (binrep (Power (binrep (Power (Power 0)) 0)) (Power (Power 0)))∃ x1 . (∃ x3 . and (∀ x5 . SNo_ x0 (binrep (Power (Power (Power (Power 0)))) 0)∀ x6 . not (atleast4 x5)) (∀ x5 . Subq x5 x1∃ x6 . and (In x6 (Inj0 (binrep (Power (Power (Power 0))) 0))) (and ((atleast6 x5not (set_of_pairs x6))and (atleast6 x6) (not (exactly4 x5))) (and (not (exactly2 x6)) (not (Subq 0 x3))))))∃ x3 . and (Subq x3 (binrep (binrep (Power (Power (Power 0))) (Power 0)) 0)) (ordinal 0)
as obj
-
as prop
5f006..
theory
HF
stx
49665..
address
TMExm..