About: http://fr.dbpedia.org/resource/Catégorie:Assistant_de

Property	Value
dbo:mainArticleForCategory	dbpedia-fr:assistant_de_preuve
dbo:wikiPageID	2623009 (xsd:integer)
dbo:wikiPageRevisionID	91513359 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_principal dbpedia-fr:Modèle:Catégorie_logiciel
rdf:type	skos:Concept
rdfs:label	Assistant de preuve (fr) Assistant de preuve (fr)
owl:sameAs	dbc:Theorem_proving_software_systems wikidata:Q8851959 dbpedia-el:Κατηγορία:Λογισμικό_απόδειξης_θεωρημάτων dbpedia-es:Categoría:Demostradores_de_teoremas dbpedia-fa:رده:سیستم‌های_نرم‌افزاری_اثبات_قضیه dbpedia-ja:Category:定理証明ソフトウェア
skos:broader	category-fr:Méthode_de_démonstration category-fr:Logiciel_scientifique category-fr:Méthode_formelle
skos:prefLabel	Assistant de preuve (fr) Assistant de preuve (fr)
prov:wasDerivedFrom	wikipedia-fr:Catégorie:Assistant_de_preuve?oldid=91513359&ns=14
is dbo:wikiPageWikiLink of	dbpedia-fr:Assistant_de_preuve dbpedia-fr:Automath dbpedia-fr:Benjamin_Werner dbpedia-fr:Calcul_des_constructions dbpedia-fr:CompCert dbpedia-fr:Coq_(logiciel) dbpedia-fr:EQP dbpedia-fr:Gilles_Dowek dbpedia-fr:Isabelle_(logiciel) dbpedia-fr:LEGO_(logiciel) dbpedia-fr:PhoX_(logiciel) dbpedia-fr:Prix_Herbrand dbpedia-fr:Prototype_Verification_System dbpedia-fr:Wolfram_Language dbpedia-fr:Metamath dbpedia-fr:Mizar_(système)
is dct:subject of	dbpedia-fr:Assistant_de_preuve dbpedia-fr:Automath dbpedia-fr:Benjamin_Werner dbpedia-fr:Calcul_des_constructions dbpedia-fr:CompCert dbpedia-fr:Coq_(logiciel) dbpedia-fr:EQP dbpedia-fr:Gilles_Dowek dbpedia-fr:Isabelle_(logiciel) dbpedia-fr:LEGO_(logiciel) dbpedia-fr:PhoX_(logiciel) dbpedia-fr:Prix_Herbrand dbpedia-fr:Prototype_Verification_System dbpedia-fr:Wolfram_Language dbpedia-fr:Metamath dbpedia-fr:Mizar_(système)
is oa:hasTarget of	tag-fr:WdtFrResource

About: http://fr.dbpedia.org/resource/Catégorie:Assistant_de_preuve