Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι → ο . (∀ x3 . x3x1∀ x4 . x4x1x2 x3 x4x2 x4 x3)4402e.. x1 x2cf2df.. x1 x2∀ x3 . x3x1x0setminus x1 (Sing x3)∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x00da49.. x2 x4 x5 x6 x7 x8 x9∀ x10 : ο . (∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x088b7c.. x2 x11 x12 x3 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0182cc.. x2 x3 x11 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x06ca1f.. x2 x11 x12 x13 x3 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0cb525.. x2 x11 x12 x13 x3 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x02319a.. x2 x11 x12 x3 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x016c0f.. x2 x11 x3 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x036d58.. x2 x3 x11 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x028532.. x2 x11 x12 x13 x3 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0468d8.. x2 x11 x12 x13 x3 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x081638.. x2 x11 x3 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x07c934.. x2 x3 x11 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x027260.. x2 x11 x3 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x07f522.. x2 x11 x12 x13 x3 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0d8477.. x2 x3 x11 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x004ac1.. x2 x11 x3 x12 x13 x14 x15 x16x10)(∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0948b9.. x2 x3 x11 x12 x13 x14 x15 x16x10)x10
as obj
-
as prop
14e63..
theory
HotG
stx
55bfa..
address
TMN6f..