Proofgold Term Root Disambiguation

OSNo Quaternion_k

as obj
-

as prop
eba5f..^{OSNo_Quaternion_k}

theory
HotG

stx
5c6b2..

address
TMZSr..^{OSNo_Quaternion_k}