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:
http://dbpedia.org/class/yago/Proof105824739
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Evidence105823932
owl:
equivalentClass
yago-res
:wordnet_proof_105824739
is
rdf:
type
of
dbr
:Proof_of_Fermat's_Last_Theorem_for_specific_exponents
dbr
:Proof_that_22/7_exceeds_π
dbr
:Proofs_of_Fermat's_little_theorem
dbr
:Proofs_of_Fermat's_theorem_on_sums_of_two_squares
dbr
:Proofs_of_trigonometric_identities
dbr
:Deriving_the_Schwarzschild_solution
dbr
:Derivation_of_the_Routh_array
dbr
:Proof_of_the_Euler_product_formula_for_the_Riemann_zeta_function
dbr
:Proofs_involving_the_addition_of_natural_numbers
dbr
:Proofs_of_convergence_of_random_variables
dbr
:Proofs_related_to_chi-squared_distribution
dbr
:Proof_of_Bertrand's_postulate
dbr
:Analyticity_of_holomorphic_functions
dbr
:Furstenberg's_proof_of_the_infinitude_of_primes
dbr
:Proof_of_Stein's_example
dbr
:Union_of_two_regular_languages
dbr
:Dual_of_BCH_is_an_independent_source
dbr
:Proofs_involving_covariant_derivatives
dbr
:Proofs_involving_the_Laplace–Beltrami_operator
dbr
:Sharp-P-completeness_of_01-permanent
dbr
:Proof_that_π_is_irrational
dbr
:Proof_that_e_is_irrational
dbr
:Proofs_involving_the_Moore–Penrose_pseudoinverse
dbr
:Derivation_of_the_Cartesian_form_for_an_ellipse
dbr
:Proofs_of_quadratic_reciprocity
is
rdfs:
subClassOf
of
yago
:WikicatArticleProofs
yago
:Confirmation105825245
yago
:Establishment105826291
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License