_:Bd1fe0924807e83218ea35be5a4de1d7c . "Eric" . "Kripke" . "Eric Kripke" . . . . "Kripke, Eric" . . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c "2023-05-21"^^ . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c "358212219" . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c . _:Bd1fe0924807e83218ea35be5a4de1d7c .