Custom hash used to establish equivalence
Custom hash used to establish equivalence
id encoding class info and equivalence
id encoding class info and equivalence
Serialize mentions to json file
string used to denote the class
string used to denote the class