《三国志·蜀书·诸葛亮传》：建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交战，射杀郃。《三国志·魏书·郭淮传》：五年，蜀出卤城。是时，陇右无谷，议欲关中大运，淮以威恩抚循羌、胡，家使出谷；平其输调，军食用足，转扬武将军。  

然而考虑到蜀汉国力本身便弱小，灭亡时全国兵力也只不过十万二千，若诸葛亮此次北伐真的遭受了被斩俘万计这样的重大损失，以街亭之失为鉴，某些蜀汉将领亦或诸葛亮本人理应被问责，然而史籍中却没有记载任何将领被问责。根据《三国志·诸葛亮传》记载，诸葛亮第四次北伐撤退的实质原因依旧是粮尽退军而并非是因为遭受了何等重大损失。《三国志·蜀书·诸葛亮传》：建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交战，射杀郃。

且根据《三国志·李严传》的说法，诸葛亮之所以粮尽退军，这其中还有李严运粮不继的原因在内。《三国志·蜀书·李严传》：九年春，亮军祁山，平（此时李严已改名为李平）催督运事。秋夏之际，值天霖雨，运粮不继，平遣参军狐忠、督军陈藩喻指，呼亮来还；亮承以退军。   陈寿的《三国志》乃西晋时期编著，亦存在为司马懿隐瞒败绩的可能性，此等春秋笔法，不可尽数。因此此战究竟是司马懿击败蜀军，斩俘万计，还是蜀军曾在卤城击败过司马懿，众说纷纭。

史书记载/司马懿[三国时期历史人物]

《晋书·宣帝纪》

艺术形象/司马懿[三国时期历史人物]

边锋《三国杀》：司马懿

日本KOEI（现KOEI TECMO）公司《真·三国无双》系列：司马懿

类别 内容

电视剧

1985年：《诸葛亮》，扮演者：王振荣

1985年：《诸葛亮》，扮演者：金童

1994年：《三国演义》，扮演者：唐振环、魏宗万

1996年：《三国英雄传之关公》，扮演者：游天龙

1999年：《曹操》，扮演者：待考

2002年：《洛神》，扮演者：郑子诚

2004年：《武圣关公》，扮演者：史道元

2010年：《三国》，扮演者：倪大红

2011年：《回到三国》，扮演者：李天翔

2013年：《曹操》，扮演者：胡小猛

2016年：《一统三国》，扮演者：王学圻

2017年：《大军师司马懿之军师联盟》，扮演者：吴秀波

2017年：《大军师司马懿之虎啸龙吟》，扮演者：吴秀波

2018年：《三国机密》，扮演者：韩东君

电影 1996年：《诸葛孔明》，扮演者：郭连文