This HTML5 document contains 44 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#
n9http://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:Q792533
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:ホーア論理
dbo:wikiPageWikiLink
dbpedia-ja:公理的意味論
Subject Item
dbpedia-ja:公理的意味論
rdfs:label
公理的意味論
rdfs:comment
公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。
owl:sameAs
freebase:m.02ks7z
dct:subject
n9:数学に関する記事 n9:プログラム意味論 n9:理論計算機科学 n9:形式仕様記述言語
dbo:wikiPageID
788676
dbo:wikiPageRevisionID
86648501
dbo:wikiPageWikiLink
dbpedia-ja:ホーア論理 dbpedia-ja:数理論理学 dbpedia-ja:述語変換意味論 n9:形式仕様記述言語 n9:数学に関する記事 dbpedia-ja:プログラム意味論 n9:理論計算機科学 n9:プログラム意味論 dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:表示的意味論 dbpedia-ja:表明_(プログラミング) dbpedia-ja:操作的意味論
prop-ja:wikiPageUsesTemplate
template-ja:Computer-stub template-ja:仮リンク template-ja:出典の明記
foaf:isPrimaryTopicOf
wikipedia-ja:公理的意味論
dbo:abstract
公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。
dbo:wikiPageLength
405
prov:wasDerivedFrom
wikipedia-ja:公理的意味論?oldid=86648501&ns=0
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:wikiPageDisambiguates
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
wikipedia-ja:公理的意味論
foaf:primaryTopic
dbpedia-ja:公理的意味論