Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
型理論
An Entity of Type :
Concept
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
956905
(xsd:integer)
dbo:
wikiPageRevisionID
81087814
(xsd:integer)
prop-ja:
wikiPageUsesTemplate
template-ja
:Commonscat
template-ja
:Catmore
template-ja
:数学共有ウォッチリスト
rdf:
type
skos
:Concept
rdfs:
label
型理論
(ja)
型理論
(ja)
skos:
broader
dbpedia-ja
:Category:プログラミング言語理論
dbpedia-ja
:Category:形式手法
dbpedia-ja
:Category:数学的構造
dbpedia-ja
:Category:数理論理学
dbpedia-ja
:Category:理論計算機科学
dbpedia-ja
:Category:計算機科学における論理
skos:
prefLabel
型理論
(ja)
型理論
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:Category:型理論?oldid=81087814&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:Nullable型
dbpedia-ja
:Option型
dbpedia-ja
:System_F
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
:Nullable型
dbpedia-ja
:Option型
dbpedia-ja
:System_F
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:型推論