CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Long_mathematical_proof
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Long mathematical proof
rdfs:
subClassOf
owl:
Thing
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_long_mathematical_proofs
is
rdf:
type
of
Poincaré conjecture
N-group theorem
Selberg trace formula
Strong perfect graph theorem
Robertson–Seymour theorem
Roku Doku
Arthur–Selberg trace formula
Kepler conjecture
Checkers
Lyons group
Lafforgue's theorem
Abel–Ruffini theorem
Almgren regularity theorem
Eisenstein series
Trichotomy theorem
Riemann hypothesis
Rubik's Cube
The
Erdős discrepancy problem
Lasker–Noether theorem
Abyhankar's proof
Boolean Pythagorean triples problem
Quasithin group
7×7
Number Place Challenger
odd order theorem
Four color theorem
Classification of finite simple groups
Pythagorean triple
Gorenstein–Harada theorem
Goldbach's conjecture
Du-sum-oh
Novikov–Adian proof
Sudoku
Ramanujan–Petersson conjecture
9×9
Mini Rows
Shi Doku