Assertion: information distance | /r/HasProperty | universal
Facets:
Source sentences:
text: This information distance is shown to be a metric (it satisfies the metric inequalities up to a logarithmic additive term), is universal (it minorizes every computable distance as computed for example from features up to a constant additive term).