Tnfrsf1a<tm3.2Gkl> http://identifiers.org/mgd/MGI:5572950 MGI:5572950 Tnfrsf1a<delta> Null/knockout targeted mutation 3.2, George Kollias