Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Preuve_assistée_par_ordinateur
An Entity of Type :
Thing
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
7070938
(xsd:integer)
dbo:
wikiPageLength
35
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-fr
:Assistant_de_preuve
dbo:
wikiPageRevisionID
92232995
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-fr
:Assistant_de_preuve
rdfs:
label
Preuve assistée par ordinateur
(fr)
Prueba asistida por ordenador
(es)
Доказові обчислення
(uk)
電腦協助證明
(zh)
Preuve assistée par ordinateur
(fr)
Prueba asistida por ordenador
(es)
Доказові обчислення
(uk)
電腦協助證明
(zh)
owl:
sameAs
dbr
:Computer-assisted_proof
wikidata
:Q1150675
dbpedia-de
:Maschinengestütztes_Beweisen
dbpedia-es
:Prueba_asistida_por_ordenador
dbpedia-ja
:計算機援用証明
dbpedia-ko
:컴퓨터를_이용한_증명
dbpedia-mk
:Сметачки_потпомогнат_доказ
dbpedia-ru
:Доказательные_вычисления
dbpedia-uk
:Доказові_обчислення
dbpedia-zh
:電腦協助證明
http://g.co/kg/m/0863f9
http://ma-graph.org/entity/173613240
prov:
wasDerivedFrom
wikipedia-fr
:Preuve_assistée_par_ordinateur?oldid=92232995&ns=0
foaf:
isPrimaryTopicOf
wikipedia-fr
:Preuve_assistée_par_ordinateur
is
dbo:
discipline
of
dbpedia-fr
:Prix_Herbrand
is
oa:
hasTarget
of
tag-fr
:UkFrResource
tag-fr
:EsFrResource
tag-fr
:ZhFrResource
tag-fr
:WdtFrResource
is
foaf:
primaryTopic
of
wikipedia-fr
:Preuve_assistée_par_ordinateur