bn:00926288n
Noun Named Entity
JA
Kripke
EN
Kripke is a surname. Wikipedia
Relations
Sources
IS A
LANGUAGE OF WORK OR NAME
WRITING SYSTEM
Wikidata Alias
JA