About: 計算機科学における論理

Property	Value
dbo:wikiPageID	4020788 (xsd:integer)
dbo:wikiPageRevisionID	75210606 (xsd:integer)
prop-en:wikiPageUsesTemplate	template-en:See_also template-en:Commons_cat_multi
rdf:type	skos:Concept
rdfs:label	計算機科学における論理 (ja) 計算機科学における論理 (ja)
skos:broader	dbpedia-ja:Category:数理論理学 dbpedia-ja:Category:理論計算機科学 dbpedia-ja:Category:電子計算の数学
skos:prefLabel	計算機科学における論理 (ja) 計算機科学における論理 (ja)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Category:計算機科学における論理?oldid=75210606&ns=14
is dbo:wikiPageWikiLink of	dbpedia-ja:Guarded_Horn_Clauses dbpedia-ja:Prolog dbpedia-ja:ホーア論理 dbpedia-ja:ユニフィケーション dbpedia-ja:反ユニフィケーション dbpedia-ja:後者関数 dbpedia-ja:汎用ロジックIC dbpedia-ja:直観主義型理論 dbpedia-ja:線形論理 dbpedia-ja:表示的意味論 dbpedia-ja:論理回路 dbpedia-ja:前向き連鎖
is dct:subject of	dbpedia-ja:Guarded_Horn_Clauses dbpedia-ja:Prolog dbpedia-ja:ホーア論理 dbpedia-ja:ユニフィケーション dbpedia-ja:反ユニフィケーション dbpedia-ja:後者関数 dbpedia-ja:汎用ロジックIC dbpedia-ja:直観主義型理論 dbpedia-ja:線形論理 dbpedia-ja:表示的意味論 dbpedia-ja:論理回路 dbpedia-ja:前向き連鎖
is owl:sameAs of	dbpedia-wikidata:計算機科学における論理
is skos:broader of	dbpedia-ja:Category:コンビネータ論理 dbpedia-ja:Category:ファジー論理 dbpedia-ja:Category:プログラム論理 dbpedia-ja:Category:ユニフィケーション dbpedia-ja:Category:ロジック・ファミリ dbpedia-ja:Category:型理論 dbpedia-ja:Category:時相論理 dbpedia-ja:Category:様相論理 dbpedia-ja:Category:表示的意味論 dbpedia-ja:Category:論理ゲート dbpedia-ja:Category:論理プログラミング dbpedia-ja:Category:論理計算 dbpedia-ja:Category:自動定理証明 dbpedia-ja:Category:プログラム意味論