About: http://ja.dbpedia.org/resource/Template:Mathlogic-stub

Property	Value
dbo:wikiPageID	3641220 (xsd:integer)
dbo:wikiPageRevisionID	68143169 (xsd:integer)
prop-en:wikiPageUsesTemplate	template-en:Asbox template-en:Documentation
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Template:Mathlogic-stub?oldid=68143169&ns=10
is prop-en:wikiPageUsesTemplate of	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:Q14447889