This HTML5 document contains 57 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://ja.dbpedia.org/resource/Category:
owlhttp://www.w3.org/2002/07/owl#
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:Ω-論理
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:モデル理論
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:一階述語論理
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:弱コンパクト基数
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:数理論理学
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:無限後退
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-ja:無限論理
rdfs:label
無限論理
rdfs:comment
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
owl:sameAs
freebase:m.02ykdy
dct:subject
n7:数学に関する記事 n7:数理論理学 n7:非古典論理 n7:形式論理体系 n7:無限
dbo:wikiPageID
2499324
dbo:wikiPageRevisionID
90773016
dbo:wikiPageWikiLink
dbpedia-ja:再帰 dbpedia-ja:言明 dbpedia-ja:無限後退 dbpedia-ja:論理和 dbpedia-ja:量化子 dbpedia-ja:無限 n7:無限 dbpedia-ja:演繹 dbpedia-ja:数理論理学 dbpedia-ja:束縛変数 dbpedia-ja:有限論理 dbpedia-ja:整列集合 dbpedia-ja:正則性公理 n7:数学に関する記事 n7:非古典論理 dbpedia-ja:公理型 dbpedia-ja:証明_(数学) dbpedia-ja:コンパクト性 n7:数理論理学 dbpedia-ja:推論規則 dbpedia-ja:ペアノ算術 dbpedia-ja:完全性 dbpedia-ja:集合論 dbpedia-ja:整礎関係 dbpedia-ja:連続体仮説 dbpedia-ja:弱コンパクト基数 n7:形式論理体系 dbpedia-ja:順序数 dbpedia-ja:選択公理 dbpedia-ja:濃度_(数学) dbpedia-ja:一階述語論理
prop-ja:wikiPageUsesTemplate
template-ja:Citation template-ja:Lang-en-short template-ja:SEP
foaf:isPrimaryTopicOf
wikipedia-ja:無限論理
dbo:abstract
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。
dbo:wikiPageLength
5593
prov:wasDerivedFrom
wikipedia-ja:無限論理?oldid=90773016&ns=0
Subject Item
dbpedia-ja:述語論理
dbo:wikiPageWikiLink
dbpedia-ja:無限論理
Subject Item
dbpedia-wikidata:Q6029713
owl:sameAs
dbpedia-ja:無限論理
Subject Item
wikipedia-ja:無限論理
foaf:primaryTopic
dbpedia-ja:無限論理