Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . Field x0Field x1field0 x0field0 x1field3 x0 = field3 x1field4 x0 = field4 x1(∀ x2 . x2field0 x0∀ x3 . x3field0 x0field1b x0 x2 x3 = field1b x1 x2 x3)(∀ x2 . x2field0 x0∀ x3 . x3field0 x0field2b x0 x2 x3 = field2b x1 x2 x3)subfield x0 x1
as obj
-
as prop
d7fa7..subfield_I
theory
HotG
stx
6b5ba..
address
TMM7f..subfield_I