Similar to 有限モデル理論
第39独立自動車化狙撃旅団
39th Separate Guards Motor Rifle Brigade
第24SS武装山岳猟兵師団
24th Waffen Mountain Division of the SS Karstjäger
3の平方根
Square root of 34次元
Four-dimensional space
5の平方根
Square root of 5
5次元
Five-dimensional space
6次元
Six-dimensional space
BPP (計算複雑性理論)
BPP (complexity)
E8 (数学)
E8 (mathematics)
N連結
Homotopical connectivity
Z検定
Z-test
Ω-論理
Ω-logic
リチャード・アスキー
Richard Askey
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
メレオロジー
Mereology
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
