http://identifiers.org/mgd/MGI:5614565 MGI:5614565 Ripk3<tm1Arte> targeted mutation 1, TaconicArtemis Conditional ready|Null/knockout Ripk3<LSL>