This HTML5 document contains 101 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/
n23http://coq.inria.fr/refman/
n13http://coq.inria.fr/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n20http://
n22http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://www.pps.univ-paris-diderot.fr/pi.r2/
owlhttp://www.w3.org/2002/07/owl#
n7http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
n21http://pauillac.inria.fr/~herbelin/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://ja.dbpedia.org/resource/ファイル:
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:Coq
rdf:type
schema:CreativeWork dbo:Software dbo:Work wikidata:Q7397 owl:Thing wikidata:Q386724
rdfs:label
Coq
rdfs:comment
Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
owl:sameAs
freebase:m.02s7zd
dct:subject
n7:定理証明支援システム n7:プログラミング言語 n7:オープンソースソフトウェア n7:システムソフトウェア n7:数学教育ソフトウェア
dbo:wikiPageID
2827761
dbo:wikiPageRevisionID
91323745
dbo:wikiPageWikiLink
dbpedia-ja:Christine_Paulin-Mohring n7:システムソフトウェア n7:数学教育ソフトウェア n14:Coq_logo.png dbpedia-ja:Thierry_Coquand n7:定理証明支援システム n7:プログラミング言語 dbpedia-ja:型付きラムダ計算 dbpedia-ja:フランス国立工芸院 dbpedia-ja:フランス国立情報学自動制御研究所 dbpedia-ja:無名関数 n14:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png dbpedia-ja:四色定理 dbpedia-ja:フリーソフトウェア dbpedia-ja:プレスバーガー算術 dbpedia-ja:OCaml dbpedia-ja:マルチプラットフォーム n7:オープンソースソフトウェア dbpedia-ja:エコール・ポリテクニーク dbpedia-ja:Calculus_of_Inductive_Constructions dbpedia-ja:Gérard_Huet dbpedia-ja:パリ第11大学 dbpedia-ja:GNU_Lesser_General_Public_License dbpedia-ja:カリー=ハワード同型対応 dbpedia-ja:リヨン高等師範学校
dbo:wikiPageExternalLink
n15: n20:www.pps.univ-paris-diderot.fr n21: n23: n13:
foaf:name
Coq
prop-ja:wikiPageUsesTemplate
template-ja:脚注ヘルプ template-ja:Cite_book template-ja:Release_date_and_age template-ja:仮リンク template-ja:Infobox_Software template-ja:Harvid template-ja:Reflist template-ja:Div_col_end template-ja:Div_col template-ja:En_icon
dbo:thumbnail
n22:Coq_logo.png?width=300
foaf:depiction
n22:Coq_logo.png n22:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
foaf:homepage
n13:
prop-ja:プログラミング言語
dbpedia-ja:OCaml
prop-ja:ライセンス
dbpedia-ja:GNU_Lesser_General_Public_License
prop-ja:ロゴ
n14:Coq_logo.png
prop-ja:公式サイト
n13:
prop-ja:初版
4.1
prop-ja:名称
Coq
prop-ja:対応os
dbpedia-ja:マルチプラットフォーム
prop-ja:対応言語
多言語対応
prop-ja:最新版
8.1
prop-ja:種別
定理証明支援系
prop-ja:スクリーンショット
240
prop-ja:開発者
フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校
dbo:latestReleaseVersion
8.10.2
dbo:abstract
Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
foaf:isPrimaryTopicOf
wikipedia-ja:Coq
dbo:wikiPageLength
3483
prov:wasDerivedFrom
wikipedia-ja:Coq?oldid=91323745&ns=0
Subject Item
dbpedia-ja:OCaml
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:Option型
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-wikidata:Q1131652
owl:sameAs
dbpedia-ja:Coq
Subject Item
dbpedia-ja:ACMソフトウェアシステム賞
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:Agda
dbo:wikiPageWikiLink
dbpedia-ja:Coq
prop-ja:influencedBy
dbpedia-ja:Coq
Subject Item
dbpedia-ja:Axiom_(数式処理システム)
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:COQ
dbo:wikiPageWikiLink
dbpedia-ja:Coq
dbo:wikiPageDisambiguates
dbpedia-ja:Coq
Subject Item
dbpedia-ja:ファイルフォーマット一覧
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:フランス国立情報学自動制御研究所
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:ペール・マルティン=レーフ
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:丸山不二夫
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:依存型
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:四色定理
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:実現可能性_(論理学)
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:有限単純群の分類
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:直観主義型理論
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:素集合データ構造
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:自動推論
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:カリー=ハワード同型対応
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
dbpedia-ja:パリ第11大学
dbo:wikiPageWikiLink
dbpedia-ja:Coq
Subject Item
wikipedia-ja:Coq
foaf:primaryTopic
dbpedia-ja:Coq