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