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 :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
2663170
(xsd:integer)
dbo:
wikiPageLength
22
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-ja
:型付きラムダ計算
dbo:
wikiPageRevisionID
44697251
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:型付きラムダ計算
rdfs:
label
単純型付きラムダ計算
(ja)
単純型付きラムダ計算
(ja)
owl:
sameAs
freebase
:単純型付きラムダ計算
prov:
wasDerivedFrom
wikipedia-ja
:単純型付きラムダ計算?oldid=44697251&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:単純型付きラムダ計算
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:Hom関手
dbpedia-ja
:System_F
dbpedia-ja
:ラムダ・キューブ
dbpedia-ja
:ラムダ計算
dbpedia-ja
:依存型
dbpedia-ja
:正規化_(項書き換え)
dbpedia-ja
:直観主義論理
dbpedia-ja
:範疇文法
dbpedia-ja
:順序組
dbpedia-ja
:カインド_(型理論)
is
foaf:
primaryTopic
of
wikipedia-ja
:単純型付きラムダ計算