About: 数理論理学

Property	Value
dbo:wikiPageID	745175 (xsd:integer)
dbo:wikiPageRevisionID	80986104 (xsd:integer)
prop-en:wikiPageUsesTemplate	template-en:Commonscat template-en:Catmore
rdf:type	skos:Concept
rdfs:label	数理論理学 (ja) 数理論理学 (ja)
skos:broader	dbpedia-ja:Category:数学の分野 dbpedia-ja:Category:数学の哲学 dbpedia-ja:Category:数学基礎論 dbpedia-ja:Category:論理学
skos:prefLabel	数理論理学 (ja) 数理論理学 (ja)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Category:数理論理学?oldid=80986104&ns=14
is dbo:wikiPageWikiLink of	dbpedia-ja:DPLLアルゴリズム dbpedia-ja:Fourier–Motzkin消去法 dbpedia-ja:Smn定理 dbpedia-ja:Μ再帰関数 dbpedia-ja:アルゴリズム dbpedia-ja:エルブランの定理 dbpedia-ja:カット除去定理 dbpedia-ja:ギルモアのアルゴリズム dbpedia-ja:クヌース・ベンディックス完備化アルゴリズム dbpedia-ja:クレイグの補間定理 dbpedia-ja:グッドスタインの定理 dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:ゲーデルの完全性定理 dbpedia-ja:ゲーデル数 dbpedia-ja:ゲーム意味論 dbpedia-ja:シークエント計算 dbpedia-ja:ススリンの問題 dbpedia-ja:タルスキの定義不可能性定理 dbpedia-ja:チューリングジャンプ dbpedia-ja:チューリング次数 dbpedia-ja:デデキント数 dbpedia-ja:デービス・パトナムのアルゴリズム dbpedia-ja:ハイティング代数 dbpedia-ja:ハルモス代数 dbpedia-ja:パリス＝ハーリントンの定理 dbpedia-ja:パースの法則 dbpedia-ja:ヒルベルト・プログラム dbpedia-ja:ブラリ＝フォルティのパラドックス dbpedia-ja:ブーリアン型 dbpedia-ja:ブール代数 dbpedia-ja:ブール値関数 dbpedia-ja:ブール関数 dbpedia-ja:プリンキピア・マテマティカ dbpedia-ja:プレスバーガー算術 dbpedia-ja:マーティンの公理 dbpedia-ja:メタ理論 dbpedia-ja:メタ論理学 dbpedia-ja:メレオロジー dbpedia-ja:モデル理論 dbpedia-ja:ラムダ計算 dbpedia-ja:一般と特殊_(数学) dbpedia-ja:一階述語論理 dbpedia-ja:不動点コンビネータ dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:二階述語論理 dbpedia-ja:公理型 dbpedia-ja:再帰 dbpedia-ja:再帰理論 dbpedia-ja:初等関数算術 dbpedia-ja:制約論理プログラミング dbpedia-ja:原始再帰関数 dbpedia-ja:原子論理式 dbpedia-ja:反射関係 dbpedia-ja:古典論理 dbpedia-ja:合流性 dbpedia-ja:吸収法則 dbpedia-ja:命題関数 dbpedia-ja:型理論 dbpedia-ja:変数_(数学) dbpedia-ja:存在記号 dbpedia-ja:宇宙_(数学) dbpedia-ja:完全性 dbpedia-ja:対称関係 dbpedia-ja:導出原理 dbpedia-ja:帰納的可算言語 dbpedia-ja:帰納的可算集合 dbpedia-ja:帰納言語 dbpedia-ja:強制法 dbpedia-ja:形式の法則 dbpedia-ja:形式体系 dbpedia-ja:後者関数 dbpedia-ja:恒真式 dbpedia-ja:意味論_(論理学) dbpedia-ja:推移関係 dbpedia-ja:数学基礎論 dbpedia-ja:数理論理学 dbpedia-ja:時相論理 dbpedia-ja:有限モデル理論 dbpedia-ja:有限演算 dbpedia-ja:構成規則 dbpedia-ja:構造的帰納法 dbpedia-ja:決定可能性 dbpedia-ja:無限 dbpedia-ja:無限論理 dbpedia-ja:真理関数 dbpedia-ja:矛盾許容論理 dbpedia-ja:神託機械 dbpedia-ja:節標準形 dbpedia-ja:線形論理 dbpedia-ja:置換公理 dbpedia-ja:自動推論 dbpedia-ja:自己検証理論 dbpedia-ja:計算可能性理論 dbpedia-ja:計算可能関数 dbpedia-ja:記述計算量 dbpedia-ja:証明論 dbpedia-ja:論理プログラミング dbpedia-ja:論理式_(数学) dbpedia-ja:議論領域 dbpedia-ja:負論理 dbpedia-ja:超数学 dbpedia-ja:超現実数 dbpedia-ja:述語論理 dbpedia-ja:逆数学 dbpedia-ja:逆関係 dbpedia-ja:連言標準形 dbpedia-ja:部分構造論理 dbpedia-ja:関係_(数学) dbpedia-ja:関係の合成 dbpedia-ja:関係代数_(数学) dbpedia-ja:項書き換え dbpedia-ja:高階述語論理 dbpedia-ja:再帰的定義 dbpedia-ja:十分条件 dbpedia-ja:単純集合 dbpedia-ja:完全関係 dbpedia-ja:必要条件 dbpedia-ja:カントールの往復論法 dbpedia-ja:ブール領域 dbpedia-ja:正論理 dbpedia-ja:線形時相論理 dbpedia-ja:自己認識論理
is dct:subject of	dbpedia-ja:DPLLアルゴリズム dbpedia-ja:Fourier–Motzkin消去法 dbpedia-ja:Smn定理 dbpedia-ja:Μ再帰関数 dbpedia-ja:アルゴリズム dbpedia-ja:エルブランの定理 dbpedia-ja:カット除去定理 dbpedia-ja:ギルモアのアルゴリズム dbpedia-ja:クヌース・ベンディックス完備化アルゴリズム dbpedia-ja:クレイグの補間定理 dbpedia-ja:グッドスタインの定理 dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:ゲーデルの完全性定理 dbpedia-ja:ゲーデル数 dbpedia-ja:ゲーム意味論 dbpedia-ja:シークエント計算 dbpedia-ja:ススリンの問題 dbpedia-ja:タルスキの定義不可能性定理 dbpedia-ja:チューリングジャンプ dbpedia-ja:チューリング次数 dbpedia-ja:デデキント数 dbpedia-ja:デービス・パトナムのアルゴリズム dbpedia-ja:ハイティング代数 dbpedia-ja:ハルモス代数 dbpedia-ja:パリス＝ハーリントンの定理 dbpedia-ja:パースの法則 dbpedia-ja:ヒルベルト・プログラム dbpedia-ja:ブラリ＝フォルティのパラドックス dbpedia-ja:ブーリアン型 dbpedia-ja:ブール代数 dbpedia-ja:ブール値関数 dbpedia-ja:ブール関数 dbpedia-ja:プリンキピア・マテマティカ dbpedia-ja:プレスバーガー算術 dbpedia-ja:マーティンの公理 dbpedia-ja:メタ理論 dbpedia-ja:メタ論理学 dbpedia-ja:メレオロジー dbpedia-ja:モデル理論 dbpedia-ja:ラムダ計算 dbpedia-ja:一般と特殊_(数学) dbpedia-ja:一階述語論理 dbpedia-ja:不動点コンビネータ dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:二階述語論理 dbpedia-ja:公理型 dbpedia-ja:再帰 dbpedia-ja:再帰理論 dbpedia-ja:初等関数算術 dbpedia-ja:制約論理プログラミング dbpedia-ja:原始再帰関数 dbpedia-ja:原子論理式 dbpedia-ja:反射関係 dbpedia-ja:古典論理 dbpedia-ja:合流性 dbpedia-ja:吸収法則 dbpedia-ja:命題関数 dbpedia-ja:型理論 dbpedia-ja:変数_(数学) dbpedia-ja:存在記号 dbpedia-ja:宇宙_(数学) dbpedia-ja:完全性 dbpedia-ja:対称関係 dbpedia-ja:導出原理 dbpedia-ja:帰納的可算言語 dbpedia-ja:帰納的可算集合 dbpedia-ja:帰納言語 dbpedia-ja:強制法 dbpedia-ja:形式の法則 dbpedia-ja:形式体系 dbpedia-ja:後者関数 dbpedia-ja:恒真式 dbpedia-ja:意味論_(論理学) dbpedia-ja:推移関係 dbpedia-ja:数学基礎論 dbpedia-ja:数理論理学 dbpedia-ja:時相論理 dbpedia-ja:有限モデル理論 dbpedia-ja:有限演算 dbpedia-ja:構成規則 dbpedia-ja:構造的帰納法 dbpedia-ja:決定可能性 dbpedia-ja:無限 dbpedia-ja:無限論理 dbpedia-ja:真理関数 dbpedia-ja:矛盾許容論理 dbpedia-ja:神託機械 dbpedia-ja:節標準形 dbpedia-ja:線形論理 dbpedia-ja:置換公理 dbpedia-ja:自動推論 dbpedia-ja:自己検証理論 dbpedia-ja:計算可能性理論 dbpedia-ja:計算可能関数 dbpedia-ja:記述計算量 dbpedia-ja:証明論 dbpedia-ja:論理プログラミング dbpedia-ja:論理式_(数学) dbpedia-ja:議論領域 dbpedia-ja:負論理 dbpedia-ja:超数学 dbpedia-ja:超現実数 dbpedia-ja:述語論理 dbpedia-ja:逆数学 dbpedia-ja:逆関係 dbpedia-ja:連言標準形 dbpedia-ja:部分構造論理 dbpedia-ja:関係_(数学) dbpedia-ja:関係の合成 dbpedia-ja:関係代数_(数学) dbpedia-ja:項書き換え dbpedia-ja:高階述語論理 dbpedia-ja:再帰的定義 dbpedia-ja:十分条件 dbpedia-ja:単純集合 dbpedia-ja:完全関係 dbpedia-ja:必要条件 dbpedia-ja:カントールの往復論法 dbpedia-ja:ブール領域 dbpedia-ja:正論理 dbpedia-ja:線形時相論理 dbpedia-ja:自己認識論理
is owl:sameAs of	dbpedia-wikidata:数理論理学
is skos:broader of	dbpedia-ja:Category:モデル理論 dbpedia-ja:Category:二項演算 dbpedia-ja:Category:公理 dbpedia-ja:Category:再帰 dbpedia-ja:Category:再帰理論 dbpedia-ja:Category:古典論理 dbpedia-ja:Category:同値_(数学) dbpedia-ja:Category:型理論 dbpedia-ja:Category:大規模な数学的形式化プロジェクト dbpedia-ja:Category:強制法 dbpedia-ja:Category:形式体系 dbpedia-ja:Category:数学基礎論の定理 dbpedia-ja:Category:数理論理学的階層 dbpedia-ja:Category:数理論理学者 dbpedia-ja:Category:数理論理学関連のスタブ項目 dbpedia-ja:Category:算術の形式理論 dbpedia-ja:Category:計算可能性理論 dbpedia-ja:Category:計算機科学における論理 dbpedia-ja:Category:証明論 dbpedia-ja:Category:論理計算 dbpedia-ja:Category:述語論理 dbpedia-ja:Category:量化 dbpedia-ja:Category:非古典論理 dbpedia-ja:Category:構成主義_(数学) dbpedia-ja:Category:自動定理証明