Traducción Alemán-Chino para "Kripke"

"Kripke" en Chino

Se refiere a Krippe?
Nuestro equipo ha sido informado de que falta la traducción de "Kripke" y está comprobando la inclusión de la palabra buscada en nuestros diccionarios en línea.