ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wiktionary
出典:『Wiktionary』 (2017/04/22 12:52 UTC 版)
Named after Saul Kripke.
Kripke frame (複数形 Kripke frames)
Kripke frame