明洪武四年（1371年）四月，在明灭夏之战中，与夏军在阶州（今甘肃武都）、文州（今甘肃文县）等地进行的作战。

　　四年初，前将军傅友德率军灭夏。军至陕西，获悉阶州、文州守备虚弱，决定以此为突破口，集诸道大兵，扬言进攻金牛峡（亦称王丁峡，在今陕西宁强境内），实则引军趋陈仓（今陕西宝鸡东南），选精锐5000人为前锋，大军随后，攀援山谷，昼夜兼行，直捣阶、文。四月初四日，抵达阶州城下，蜀守将平章丁世真率兵迎战，被明军击败，活捉双刀王等18人，丁世真逃往文州。初八日，明军进逼文州。距城30余里，夏军断白龙江桥以阻明军，傅友德督兵抢修，进至五里关，丁世真复集兵据险抵抗，明都督同知汪兴祖（张兴祖）率骑兵直冲其营，中飞石而死。傅友德继续挥兵强攻，夏军溃败，丁世真仅以数骑遁去，文州遂克。

　　点评：此战，傅友德采取声东击西的战术，将夏军主力调至金牛峡，趁虚进逼阶、文，顺利地达到了攻克阶、文的战略目的。