Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Computer-assisted proofs
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
50650300
(xsd:integer)
dbo:
wikiPageRevisionID
722340787
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Computer-assisted proofs
(en)
skos:
broader
dbc
:Mathematical_proofs
skos:
prefLabel
Computer-assisted proofs
(en)
skos:
related
dbc
:Automated_theorem_proving
prov:
wasDerivedFrom
wikipedia-en
:Category:Computer-assisted_proofs?oldid=722340787&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Projective_plane
dbr
:Computer-assisted_proof
dbr
:Connect_Four
dbr
:Robbins_algebra
dbr
:Optimal_solutions_for_Rubik's_Cube
dbr
:Lorenz_system
dbr
:Minimum-weight_triangulation
dbr
:Four_color_theorem
dbr
:Goldbach's_weak_conjecture
dbr
:Kazhdan's_property_(T)
dbr
:Kolmogorov–Arnold–Moser_theorem
dbr
:Keller's_conjecture
dbr
:Kepler_conjecture
dbr
:Boolean_Pythagorean_triples_problem
dbr
:Sign_sequence
dbr
:Sudoku
dbr
:Schur's_theorem
is
dcterms:
subject
of
dbr
:Projective_plane
dbr
:Computer-assisted_proof
dbr
:Connect_Four
dbr
:Robbins_algebra
dbr
:Optimal_solutions_for_Rubik's_Cube
dbr
:Lorenz_system
dbr
:Minimum-weight_triangulation
dbr
:Four_color_theorem
dbr
:Goldbach's_weak_conjecture
dbr
:Kazhdan's_property_(T)
dbr
:Kolmogorov–Arnold–Moser_theorem
dbr
:Keller's_conjecture
dbr
:Kepler_conjecture
dbr
:Boolean_Pythagorean_triples_problem
dbr
:Sign_sequence
dbr
:Sudoku
dbr
:Schur's_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License