Similar to 二重再帰法
原子炉スクラム
Scram
減衰
Attenuation
ケント州立大学銃撃事件
Kent State shootings
語彙化
Lexicalization
恋のトンネル
Tunnel of Love (railway)
光円錐
Light cone
黄河石林トレイルランニング遭難事故
Gansu ultramarathon disaster
交換演算子
Exchange operator
交換手数料
Interchange fee交差請求
Crossclaim
高所呼吸器
High-altitude breathing apparatus
紅茶の等級区分
Tea leaf grading交通輸送
Traffic
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
形式論理学
Formal logic
恒真式
Tautology (logic)
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inference
