This HTML5 document contains 55 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#
owlhttp://www.w3.org/2002/07/owl#
n8http://ja.dbpedia.org/resource/Category:
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-wikidata:Q843632
owl:sameAs
dbpedia-ja:シークエント
Subject Item
dbpedia-ja:⊢
dbo:wikiPageWikiLink
dbpedia-ja:シークエント
dbo:wikiPageRedirects
dbpedia-ja:シークエント
Subject Item
dbpedia-ja:カット除去定理
dbo:wikiPageWikiLink
dbpedia-ja:シークエント
Subject Item
dbpedia-ja:シークエント
rdfs:label
シークエント
rdfs:comment
シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。
owl:sameAs
freebase:m.01lfsl
dct:subject
n8:論理式 n8:数学に関する記事 n8:証明論
dbo:wikiPageID
1206759
dbo:wikiPageRevisionID
90773596
dbo:wikiPageWikiLink
dbpedia-ja:論理式_(数学) dbpedia-ja:意味論_(論理学) dbpedia-ja:論理積 dbpedia-ja:統語論_(論理学) dbpedia-ja:演繹 n8:論理式 n8:数学に関する記事 dbpedia-ja:集合 dbpedia-ja:シークエント計算 dbpedia-ja:命題論理 dbpedia-ja:ゲルハルト・ゲンツェン dbpedia-ja:多重集合 dbpedia-ja:部分構造論理 dbpedia-ja:列_(数学) dbpedia-ja:矛盾許容論理 dbpedia-ja:論理和 dbpedia-ja:推論規則 dbpedia-ja:証明_(数学) dbpedia-ja:英語 n8:証明論 dbpedia-ja:直観論理
prop-ja:wikiPageUsesTemplate
template-ja:Indent template-ja:Otheruses template-ja:PlanetMath_attribution
prop-ja:id
33502
prop-ja:title
Sequent
dbo:abstract
シークエント(英: Sequent)あるいは推件式(すいけんしき)とは、演繹による証明過程を示すためによく使われる形式表現である。
dbo:wikiPageLength
2854
prov:wasDerivedFrom
wikipedia-ja:シークエント?oldid=90773596&ns=0
foaf:isPrimaryTopicOf
wikipedia-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:論理和の導入
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:シークエント
dbo:wikiPageRedirects
dbpedia-ja:シークエント
Subject Item
wikipedia-ja:シークエント
foaf:primaryTopic
dbpedia-ja:シークエント