This HTML5 document contains 47 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/
n14http://student.sguc.ac.jp/i/st/learning/logic/
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#
n4http://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:Q811591
owl:sameAs
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
タブローの方法(英 tableau method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのという考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
owl:sameAs
freebase:m.03_hjg
dct:subject
n4:論理計算 n4:証明法 n4:自動定理証明 n4:数学に関する記事
dbo:wikiPageID
2664959
dbo:wikiPageRevisionID
90773637
dbo:wikiPageWikiLink
dbpedia-ja:論証 dbpedia-ja:一階述語論理 n4:証明法 dbpedia-ja:ヤーッコ・ヒンティッカ dbpedia-ja:恒真式 dbpedia-ja:レイモンド・スマリヤン n4:数学に関する記事 n4:自動定理証明 dbpedia-ja:矛盾 dbpedia-ja:妥当性 dbpedia-ja:引数 n4:論理計算 dbpedia-ja:論理式_(数学) dbpedia-ja:モデル集合 dbpedia-ja:命題論理
dbo:wikiPageExternalLink
n14:%E7%9C%9F%E7%90%86%E6%9C%A8%E3%81%AB%E3%82%88%E3%82%8B%E7%9C%9F%E7%90%86%E5%80%A4%E5%88%86%E6%9E%90.pdf
prop-ja:wikiPageUsesTemplate
template-ja:Math-stub template-ja:Logic template-ja:節stub template-ja:脚注ヘルプ
dbo:abstract
タブローの方法(英 tableau method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのという考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
foaf:isPrimaryTopicOf
wikipedia-ja:タブローの方法
dbo:wikiPageLength
940
prov:wasDerivedFrom
wikipedia-ja:タブローの方法?oldid=90773637&ns=0
Subject Item
dbpedia-ja:分析タブロー
dbo:wikiPageWikiLink
dbpedia-ja:タブローの方法
dbo:wikiPageRedirects
dbpedia-ja:タブローの方法
Subject Item
dbpedia-ja:分析的タブロー法
dbo:wikiPageWikiLink
dbpedia-ja:タブローの方法
dbo:wikiPageRedirects
dbpedia-ja:タブローの方法
Subject Item
dbpedia-ja:意味論的タブロー
dbo:wikiPageWikiLink
dbpedia-ja:タブローの方法
dbo:wikiPageRedirects
dbpedia-ja:タブローの方法
Subject Item
dbpedia-ja:真理の木
dbo:wikiPageWikiLink
dbpedia-ja:タブローの方法
dbo:wikiPageRedirects
dbpedia-ja:タブローの方法
Subject Item
wikipedia-ja:タブローの方法
foaf:primaryTopic
dbpedia-ja:タブローの方法