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
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
Property
Value
dbo:
abstract
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
(ja)
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
(ja)
dbo:
wikiPageID
2499324
(xsd:integer)
dbo:
wikiPageLength
5593
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
90773016
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:形式論理体系
dbpedia-ja
:Category:数学に関する記事
dbpedia-ja
:Category:数理論理学
dbpedia-ja
:Category:無限
dbpedia-ja
:Category:非古典論理
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
:有限論理
prop-ja:
wikiPageUsesTemplate
template-ja
:SEP
template-ja
:Citation
template-ja
:Lang-en-short
dct:
subject
dbpedia-ja
:Category:形式論理体系
dbpedia-ja
:Category:数学に関する記事
dbpedia-ja
:Category:数理論理学
dbpedia-ja
:Category:無限
dbpedia-ja
:Category:非古典論理
rdfs:
comment
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
(ja)
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
(ja)
rdfs:
label
無限論理
(ja)
無限論理
(ja)
owl:
sameAs
freebase
:無限論理
prov:
wasDerivedFrom
wikipedia-ja
:無限論理?oldid=90773016&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:無限論理
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:Ω-論理
dbpedia-ja
:モデル理論
dbpedia-ja
:一階述語論理
dbpedia-ja
:弱コンパクト基数
dbpedia-ja
:数理論理学
dbpedia-ja
:無限後退
dbpedia-ja
:述語論理
is
owl:
sameAs
of
dbpedia-wikidata
:無限論理
is
foaf:
primaryTopic
of
wikipedia-ja
:無限論理