Claim: Pavel Urysohn and Leonid Levin are not both known for the same type of work.
Label (1 = SUPPORTED, 0 = NOT_SUPPORTED, -1 = unlabeled): 1