Similar to 自動定理証明
B-52 (航空機)
Boeing B-52 StratofortressB-58 (航空機)
Convair B-58 Hustler
BAC ジェット・プロヴォスト
BAC Jet Provost
BAC TSR-2
BAC TSR-2
10
10
11
11 (number)
12
12 (number)
13
13 (number)
19
19 (number)
40
40 (number)70
70 (number)
100
100
400
400 (number)
700
700 (number)
1000
1000 (number)
1000000
1,000,000
形式体系
Formal system構成規則
Formation rule
時相論理
Temporal logic
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logicブール論理
Boolean logicTPTP
Thousands of Problems for Theorem Provers
シークエント計算
Sequent calculus
自動推論
Automated reasoning
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
ユニフィケーション
Unification (computer science)
