2009年12月30日 (水) 15:14時点における版編集 Lalalat (会話 \| 投稿記録) 552 回編集 ←新しいページ: ''''HOL''' 高階述語論理 ({{en\|higher-order logic}}) オランダの旧IOCコード {{aimai}} de:HOL en:HOL it:HOL'		2010年8月22日 (日) 10:01時点における版編集取り消し WCCbot (会話 \| 投稿記録) ボット、拡張承認された利用者 15,309 回編集 m ロボットによる追加: nn:Hol, pl:Hol, ru:Дыра 新しい編集 →
8行目: [[en:HOL]] [[it:HOL]] [[nn:Hol]] [[pl:Hol]] [[ru:Дыра]]

「HOL」の版間の差分