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
3267937
(xsd:integer)
dbo:
wikiPageRevisionID
81047185
(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:メタ論理学
skos:
prefLabel
モデル理論
(ja)
モデル理論
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:Category:モデル理論?oldid=81047185&ns=14
is
dbo:
wikiPageWikiLink
of
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
dct:
subject
of
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
owl:
sameAs
of
dbpedia-wikidata
:モデル理論
is
skos:
broader
of
dbpedia-ja
:Category:モデル理論研究者