Vkorc1<tm1.1Jobg> targeted mutation 1.1, Johannes Oldenburg http://identifiers.org/mgd/MGI:5560512 Null/knockout MGI:5560512