Assertion: hamming distance | /r/HasProperty | upper bound
Facets:
value: for strings of the same length
type: OTHER
value: on levenshtein distance
type: LOCATION
Source sentences:
text: For strings of the same length, Hamming distance is an upper bound on Levenshtein distance.