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
3902329
(xsd:integer)
dbo:
wikiPageLength
57
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-ja
:直観主義論理
dbo:
wikiPageRevisionID
74496077
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:直観主義
dbpedia-ja
:直観主義論理
dct:
subject
dbpedia-ja
:Category:直観主義
rdfs:
label
直観論理
(ja)
直観論理
(ja)
owl:
sameAs
freebase
:直観論理
prov:
wasDerivedFrom
wikipedia-ja
:直観論理?oldid=74496077&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:直観論理
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:Lincos
dbpedia-ja
:ファジィ論理
dbpedia-ja
:ヘレナ・ラショーヴァ
dbpedia-ja
:モノイド圏
dbpedia-ja
:冠頭標準形
dbpedia-ja
:吸収法則
dbpedia-ja
:哲学
dbpedia-ja
:排中律
dbpedia-ja
:数学の哲学
dbpedia-ja
:有限集合
dbpedia-ja
:矛盾
dbpedia-ja
:矛盾許容論理
dbpedia-ja
:竹内外史
dbpedia-ja
:線形論理
dbpedia-ja
:背理法
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
prop-ja:
knownFor
of
dbpedia-ja
:アンドレイ・コルモゴロフ
is
foaf:
primaryTopic
of
wikipedia-ja
:直観論理