For properties of knots that remain unaffected by Reidemeister moves
Proving that two knots are not the same by proving that there is no injective homotopy from a knot to another is normally quite hard. Fortunately there are some properties of knot projections that remain invariant by Reidemeister moves, thus two knots with different invariants cannot be equivalent.
This tag is for questions concerning said properties.