This HTML5 document contains 38 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/
dbohttp://dbpedia.org/ontology/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n6http://ja.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
n4:ユニフィケーション
skos:broader
n4:自動定理証明
Subject Item
n4:定理証明ソフトウェア
skos:broader
n4:自動定理証明
Subject Item
dbpedia-ja:DPLLアルゴリズム
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:F*_(プログラミング言語)
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-wikidata:Q8279957
owl:sameAs
n4:自動定理証明
Subject Item
dbpedia-ja:シークエント計算
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:タブローの方法
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:デービス・パトナムのアルゴリズム
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:ユニフィケーション
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:反ユニフィケーション
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:導出原理
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:自動定理証明
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
dbpedia-ja:自動推論
dct:subject
n4:自動定理証明
dbo:wikiPageWikiLink
n4:自動定理証明
Subject Item
n4:自動定理証明
rdf:type
skos:Concept
rdfs:label
自動定理証明
dbo:wikiPageID
3830945
dbo:wikiPageRevisionID
74987943
skos:broader
n4:数理論理学 n4:電子計算の数学 n4:自動推論 n4:数学的証明 n4:計算数学 n4:理論計算機科学 n4:計算機科学における論理 n4:論理プログラミング n4:形式手法
skos:prefLabel
自動定理証明
prov:wasDerivedFrom
n6:自動定理証明?oldid=74987943&ns=14