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

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

PrefixNamespace IRI
n33http://fr.dbpedia.org/resource/Correction_(logique)
dctermshttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n30http://ca.dbpedia.org/resource/
n12http://wikidata.dbpedia.org/resource/
n19http://de.dbpedia.org/resource/Korrektheit_(Logik)
dbpedia-eshttp://es.dbpedia.org/resource/
n28http://he.dbpedia.org/resource/
n26http://ar.dbpedia.org/resource/سلامة_(منطق)
n17http://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://it.dbpedia.org/resource/Correttezza_(logica_matematica)
n27http://sv.dbpedia.org/resource/Sund_(logik)
n29http://is.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n21http://ja.dbpedia.org/resource/抽象化_(計算機科学)
n22http://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
category-jahttp://ja.dbpedia.org/resource/Category:
wiki-jahttp://ja.wikipedia.org/wiki/
n11http://mk.dbpedia.org/resource/
n15http://zh.dbpedia.org/resource/
n10http://nl.dbpedia.org/resource/Correctheid_(logica)
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n32http://www.wikidata.org/entity/
dbpediahttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n25http://ja.wikipedia.org/wiki/健全性?oldid=
prop-jahttp://ja.dbpedia.org/property/
Subject Item
dbpedia-ja:命題論理
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:THEマルチプログラミングシステム
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:サウンド
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ゼロ知識証明
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:プログラム意味論
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:モデル検査
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:自動定理証明
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論理プログラミング
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:形式体系
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
n21:
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:シークエント計算
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:モーダスポネンス
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:誤謬
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:対話型証明系
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:抽象解釈
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:人身攻撃
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:健全性
rdfs:label
健全性
owl:sameAs
n10: n11:Правилност n12:Q693083 n14: n15:可靠性定理 dbpedia-ko:건전성_정리 n17:Правильність dbpedia-es:Solidez n19: dbpedia:Soundness n22:صحت dbpedia-pt:Correção n26: n27: n28:נאותות n29:Rétt_röksemdafærsla n30:Solidesa n32:Q693083 n33:
foaf:isPrimaryTopicOf
wiki-ja:健全性
prov:wasDerivedFrom
n25:53700680
dbpedia-owl:wikiPageID
1202196
dbpedia-owl:wikiPageLength
1030
dbpedia-owl:wikiPageOutDegree
12
dbpedia-owl:wikiPageRevisionID
53700680
dbpedia-owl:wikiPageWikiLink
category-ja:論理学 category-ja:演繹 dbpedia-ja:同値 dbpedia-ja:恒真式 dbpedia-ja:自然演繹 dbpedia-ja:論証 dbpedia-ja:インターネット哲学百科事典 dbpedia-ja:三段論法 dbpedia-ja:妥当性 dbpedia-ja:含意
dcterms:subject
category-ja:論理学 category-ja:演繹
prop-ja:wikiPageUsesTemplate
template-ja:科学哲学 template-ja:Lang-en-short template-ja:Pathnav template-ja:IEP template-ja:Philos-stub
Subject Item
dbpedia-ja:妥当性
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論証
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:二階述語論理
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論点先取
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ゲーデルの完全性定理
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ファンダメンタル分析
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:並行論理プログラミング
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:亀がアキレスに言ったこと
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論理学の歴史
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
wiki-ja:健全性
foaf:primaryTopic
dbpedia-ja:健全性
Subject Item
dbpedia-ja:超実数
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:帰納
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:新銀行東京
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:金融再生委員会
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:金融再生委員会委員長
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:四国OHENROエンターテインメント
dbpedia-owl:wikiPageWikiLink
dbpedia-ja:健全性