About: Coq

Property	Value
dbo:description	Мәгънәләр бите Викимедиа проектында (tt) Laman nyahkekaburan (ms) Sied för en mehrdüdig Begreep op Wikipedia (nds) Wikimedia disambiguation page (en) Wikimedia disambiguation page (sco) Wikimedia projekta nozīmju atdalīšanas lapa (lv) Wikimedia täpsustuslehekülg (et) Wikimedia-Begriffsklärigssite (gsw) Wikimedia-Begriffsklärungsseite (de) Wikimedia-Homonymiesäit (lb) Wikimedia-betsjuttingsside (fy) Wikimedia-deurverwiespagina (zea) Wikimedia-fleirtydingsside (nn) Wikimedia-flertydigside (da) Wikimedia-verdudelikingspazjena (li) Wikimediako argipen orri (eu) apartigilo (eo) aðgreiningarsíða á Wikipediu (is) doorverwijspagina (nl) egyértelműsítő lap (hu) faqe kthjelluese e Wikimedias (sq) grensida (sv) laman disambiguasi (min) ojúewé ìṣojútùú Wikimedia (yo) pachina de desambigación (an) page d'homonymie de Wikimédia (fr) pagina di disambiguazione di un progetto Wikimedia (it) pagina discretiva Vicimediorum (la) pagină de dezambiguizare Wikimedia (ro) pàgina de desambiguació de Wikimedia (ca) páxina de dixebra de Wikimedia (ast) páxina de homónimos (gl) razdvojbena stranica na Wikimediji (hr) razločitvena stran Wikimedie (sl) rozcestník na projektech Wikimedia (cs) rozlišovacia stránka (sk) strona ujednoznaczniająca (pl) trang định hướng Wikimedia (vi) täsmennyssivu (fi) višeznačna odrednica na Wikimediji (bs) Уикимедия пояснителна страница (bg) پەڕەی ڕوونکردنەوەی ویکیمیدیا (ckb) página de desambiguação de um projeto da Wikimedia (pt) сторінка значень у проєкті Вікімедіа (uk) σελίδα αποσαφήνισης εγχειρημάτων Wikimedia (el) Վիքիմեդիայի նախագծի բազմիմաստության փարատման էջ (hy) উইকিমিডিয়ার দ্ব্যর্থতা নিরসন পাতা (bn) მრავალმნიშვნელოვანი (ka) појаснителна страница (mk) саҳифаи маъноҳои Викимедиа (tg) страница значений (ru) דף פירושונים (iw) صفحة توضيح لويكيميديا (ar) बहुविकल्पी पृष्ठ (hi) સ્પષ્ટતા પાનું (gu) ବହୁବିକଳ୍ପ ପୃଷ୍ଠା (or) ウィキメディアの曖昧さ回避ページ (ja) вишезначна одредница на Викимедији (sr) 維基媒體搞清楚頁 (yue) 维基百科消歧义页 (zh) 위키백과 동음이의어 문서 (ko) یک صفحهٔ ابهام‌زدایی ویکی‌مدیا (fa) Wikimedia anlam ayrımı sayfası (tr) halaman disambiguasi (in) desambiguación de Wikipedia (es)
dbo:wikiPageExternalLink	http://adam.chlipala.net/cpdt/ http://coq.inria.fr/ http://corn.cs.ru.nl/ http://math.andrej.com/2011/02/22/video-tutorials-for-the-coq-proof-assistant/ https://math-classes.github.io/ https://math-comp.github.io/math-comp/ https://plv.csail.mit.edu/blog/alectryon.html https://x80.org/rhino-coq/ http://jfr.unibo.it/article/view/1979 http://video.ias.edu/univalent/appel https://github.com/coq/coq https://github.com/coq/coq/wiki http://www.cis.upenn.edu/~bcpierce/sf/ http://www.labri.fr/perso/casteran/CoqArt/index.html https://coq.inria.fr/
dbo:wikiPageWikiLink	dbr:Institute_for_Advanced_Study dbr:French_Institute_for_Research_in_Computer_Science_and_Automation dbr:Microsoft_Research dbr:Inductive_type dbc:Programming_languages_created_in_1984 dbc:Extensible_syntax_programming_languages dbr:Isabelle_(proof_assistant) dbr:Disjoint-set_data_structure dbc:Functional_languages dbr:Formal_specification dbr:ACM_Software_System_Award dbr:Intuitionistic_type_theory dbc:1989_software dbr:École_normale_supérieure_de_Lyon dbr:Association_for_Computing_Machinery dbr:Decidability_(logic) dbr:Proof_assistant dbc:Free_software_programmed_in_OCaml dbr:Type_theory dbr:Benjamin_C._Pierce dbr:Cambridge dbr:Chicken dbr:England dbr:French_language dbr:GitHub dbr:Mathematics dbr:Rooster dbr:Functional_programming_language dbr:GNU_Lesser_General_Public_License dbr:OCaml dbr:Halting_problem dbr:Gérard_Huet dbr:Georges_Gonthier dbr:Mathematical_induction dbr:Dependent_type dbr:C_(programming_language) dbc:Educational_math_software dbr:Thierry_Coquand dbr:Feit–Thompson_theorem dbr:Higher-order_function dbr:Constructive_proof dbc:Free_theorem_provers dbr:Higher-order_logic dbr:Twelf dbr:French_National_Centre_for_Scientific_Research dbr:Four_color_theorem dbr:Plug-in_(computing) dbr:Pattern_matching dbr:Calculus_of_constructions dbr:Agda_(programming_language) dbc:Dependently_typed_languages dbc:Proof_assistants dbc:OCaml_software dbr:Curry–Howard_correspondence dbr:CompCert dbr:Paris_Diderot_University dbr:Non-surveyable_proof dbr:Nuprl dbr:Normalization_property_(abstract_rewriting) dbr:Andrew_Appel dbr:Automated_theorem_prover dbr:Christine_Paulin-Mohring dbr:Cross-platform dbr:University_of_Paris-Sud dbr:Calculus_of_inductive_constructions dbr:Subroutine dbr:Idris_(programming_language) dbr:HOL_(proof_assistant) dbr:CeCILL-B dbr:École_Polytechnique dbr:Tactic_(computer_science) dbr:Calculus_of_Constructions dbr:Calculus_of_Inductive_Constructions dbr:File:Coq_8.5_stdlib_proof.png dbr:Proof_of_commutativity
dbp:wikiPageUsesTemplate	dbt:Disambiguation dbt:In_title dbt:Canned_search dbt:Lookfrom
gold:hypernym	dbr:Prover
rdfs:label	Coq (en) Coq (el) Coq (Software) (de) Coq (es) Coq (logiciel) (fr) Coq (ja) Coq (pt) Coq (ru) Coq (uk) Coq (zh)
owl:sameAs	yago-res:Coq freebase:Coq wikidata:Coq dbpedia-de:Coq dbpedia-fr:Coq dbpedia-zh:Coq dbpedia-ja:Coq dbpedia-pt:Coq dbpedia-es:Coq dbpedia-ru:Coq dbpedia-el:Coq dbpedia-fi:Coq dbpedia-uk:Coq dbpedia-global:Coq dbr:Coq
prov:wasDerivedFrom	wikipedia-en:Coq?oldid=1289776071&ns=0
foaf:homepage	https://coq.inria.fr/
foaf:isPrimaryTopicOf	wikipedia-en:Coq
is dbo:wikiPageRedirects of	dbr:Coq_(proof_assistant) dbr:Coq_project dbr:Coq_proof_assistant dbr:COQ
is dbo:wikiPageWikiLink of	dbr:LTAC dbr:French_Institute_for_Research_in_Computer_Science_and_Automation dbr:Automated_reasoning dbr:Iosevka dbr:Finger_tree dbr:Inductive_type dbr:Functional_programming dbr:Isabelle_(proof_assistant) dbr:Classification_of_finite_simple_groups dbr:Disjoint-set_data_structure dbr:F*_(programming_language) dbr:ACM_Software_System_Award dbr:Hilbert's_tenth_problem dbr:Intuitionistic_type_theory dbr:Per_Martin-Löf dbr:QuickCheck dbr:Separation_logic dbr:First-class_citizen dbr:List_of_programming_languages_by_type dbr:Proof_assistant dbr:Cock dbr:Gödel's_incompleteness_theorems dbr:Type_class dbr:Type_theory dbr:Xmonad dbr:Java_Modeling_Language dbr:Termination_analysis dbr:SIGPLAN dbr:Matita dbr:OCaml dbr:Model-based_testing dbr:Interactive_Theorem_Proving_(conference) dbr:Halting_problem dbr:Algebraic_data_type dbr:Presburger_arithmetic dbr:Georges_Gonthier dbr:Intuitionistic_logic dbr:Dependent_type dbr:Corecursion dbr:Andrei_Alexandrescu dbr:Cog dbr:Timeline_of_programming_languages dbr:Thierry_Coquand dbr:Three-gap_theorem dbr:Feit–Thompson_theorem dbr:QED_manifesto dbr:Mizar_system dbr:Realizability dbr:Frama-C dbr:List_of_mathematical_logic_topics dbr:Twelf dbr:POPLmark_challenge dbr:Formal_verification dbr:Four_color_theorem dbr:Axiom_(computer_algebra_system) dbr:Calculus_of_constructions dbr:ML_(programming_language) dbr:Agda_(programming_language) dbr:Predicate_transformer_semantics dbr:Referential_transparency dbr:Vladimir_Voevodsky dbr:Curry–Howard_correspondence dbr:Xavier_Leroy dbr:CompCert dbr:Homotopy_type_theory dbr:Metamath dbr:Smart_contract dbr:Generalized_algebraic_data_type dbr:ALF_(proof_assistant) dbr:Lean_(proof_assistant) dbr:Concrete_security dbr:Grigore_Roșu dbr:Ilya_Sergey dbr:List_of_filename_extensions_(S–Z) dbr:Cantor's_isomorphism_theorem dbr:Setoid dbr:List_of_inventions_and_discoveries_by_women dbr:Lecocq dbr:List_of_programming_languages dbr:Christine_Paulin-Mohring dbr:Carlos_Simpson dbr:Idris_(programming_language) dbr:Timeline_of_women_in_computing dbr:Choreographic_programming dbr:Coq_(proof_assistant) dbr:Coq_project dbr:Coq_proof_assistant dbr:COQ
is foaf:primaryTopic of	wikipedia-en:Coq