Edge and mixed metric dimension of Johnson graphs | Synapse