HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n4	http://ja.dbpedia.org/resource/Category:
n5	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item: dbpedia-ja:充足可能性問題
rdfs:label: 充足可能性問題
rdfs:comment: 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。
owl:sameAs: freebase:m.01hmj
dct:subject: n4:数学基礎論 n4:数学に関する記事 n4:形式手法 n4:数学の問題
dbo:wikiPageID: 422070
dbo:wikiPageRevisionID: 91408845
dbo:wikiPageWikiLink: dbpedia-ja:非決定性チューリングマシン n4:数学の問題 dbpedia-ja:命題論理 dbpedia-ja:DPLLアルゴリズム dbpedia-ja:数理論理学 dbpedia-ja:変数_(数学) dbpedia-ja:多項式時間 dbpedia-ja:リテラル dbpedia-ja:Co-NP n4:数学基礎論 dbpedia-ja:論理積 dbpedia-ja:NP困難 dbpedia-ja:NP完全問題 dbpedia-ja:論理演算子 dbpedia-ja:論理和 n4:数学に関する記事 dbpedia-ja:充足可能性 dbpedia-ja:恒真式 dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:制約充足問題 dbpedia-ja:真偽値 n4:形式手法 dbpedia-ja:NP dbpedia-ja:否定 dbpedia-ja:デービス・パトナムのアルゴリズム dbpedia-ja:タブローの方法
dbo:abstract: 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。
dbo:wikiPageLength: 1955
prov:wasDerivedFrom: n5:充足可能性問題?oldid=91408845&ns=0
foaf:isPrimaryTopicOf: n5:充足可能性問題

Subject Item: dbpedia-wikidata:Q875276
owl:sameAs: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:DPLLアルゴリズム
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:Dandified_Yum
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:Malbolge
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:NL_(計算複雑性理論)
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:NP
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:NP困難
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:NP完全問題
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:PCP_(計算複雑性理論)
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:PP_(計算複雑性理論)
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:P≠NP予想
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:SAT
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:SL_(計算複雑性理論)
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:Sharp-P
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:TQBF問題
dbo:wikiPageWikiLink: dbpedia-ja:充足可能性問題

Subject Item: dbpedia-ja:ZYpp
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:充足可能性問題

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:充足可能性問題

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:充足可能性問題

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: n5:充足可能性問題
foaf:primaryTopic: dbpedia-ja:充足可能性問題