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
1963938
(xsd:integer)
dbo:
wikiPageRevisionID
81087331
(xsd:integer)
prop-ja:
wikiPageUsesTemplate
template-ja
:Commonscat
template-ja
:Catmore
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:プログラミング言語理論
skos:
prefLabel
ラムダ計算
(ja)
ラムダ計算
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:Category:ラムダ計算?oldid=81087331&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:SKIコンビネータ計算
dbpedia-ja
:ド・ブラウン・レベル
dbpedia-ja
:ド・ブラウン記法
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
:SKIコンビネータ計算
dbpedia-ja
:ド・ブラウン・レベル
dbpedia-ja
:ド・ブラウン記法
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
:ラムダ計算