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/resource/Template:Infobox_mathematical_statement
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
59907581
(xsd:integer)
dbo:
wikiPageRevisionID
1062894714
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Infobox
dbt
:Main_other
dbt
:PAGENAMEBASE
dbt
:Documentation
prov:
wasDerivedFrom
wikipedia-en
:Template:Infobox_mathematical_statement?oldid=1062894714&ns=10
is
dbo:
wikiPageRedirects
of
dbt
:Infobox_theorem
dbt
:Infobox_proposition
is
dbp:
wikiPageUsesTemplate
of
dbr
:Power_set
dbr
:Sato–Tate_conjecture
dbr
:Mordell–Weil_theorem
dbr
:Universal_quantification
dbr
:Destructive_dilemma
dbr
:Double_negation
dbr
:Intersecting_chords_theorem
dbr
:Jacobian_conjecture
dbr
:Levi_decomposition
dbr
:Universal_instantiation
dbr
:Spherical_space_form_conjecture
dbr
:Commutative_property
dbr
:Nagata's_conjecture
dbr
:Geometrization_conjecture
dbr
:Modularity_theorem
dbr
:Conjunction_elimination
dbr
:Conjunction_introduction
dbr
:Constructive_dilemma
dbr
:Fenchel's_theorem
dbr
:Kummer–Vandiver_conjecture
dbr
:Main_conjecture_of_Iwasawa_theory
dbr
:Quillen–Suslin_theorem
dbr
:Torsion_conjecture
dbr
:Transitive_relation
dbr
:Disjunction_elimination
dbr
:Disjunction_introduction
dbr
:Disjunctive_syllogism
dbr
:Distributive_property
dbr
:Gan–Gross–Prasad_conjecture
dbr
:Tate_conjecture
dbr
:Abc_conjecture
dbr
:Faltings's_theorem
dbr
:Fermat's_Last_Theorem
dbt
:Infobox_mathematical_statement/doc
dbr
:Goldbach's_conjecture
dbr
:Goldbach's_weak_conjecture
dbr
:Hirzebruch–Riemann–Roch_theorem
dbr
:Universal_generalization
dbr
:Pythagorean_theorem
dbr
:Atiyah–Singer_index_theorem
dbr
:Intersection_(set_theory)
dbr
:Hyperplane_separation_theorem
dbr
:Hypothetical_syllogism
dbr
:Associative_property
dbr
:Absorption_(logic)
dbr
:Biconditional_elimination
dbr
:Biconditional_introduction
dbr
:Szpiro's_conjecture
dbr
:Transposition_(logic)
dbr
:Modus_ponens
dbr
:Disjoint_union
dbr
:Bunyakovsky_conjecture
dbr
:Poincaré_conjecture
dbr
:Grothendieck–Riemann–Roch_theorem
dbr
:Newman's_conjecture
dbr
:Second_Hardy–Littlewood_conjecture
dbr
:Serre's_modularity_conjecture
dbr
:Material_implication_(rule_of_inference)
dbr
:Modus_tollens
dbr
:Negation_introduction
dbr
:Symmetric_difference
dbr
:Exportation_(logic)
dbr
:Existential_generalization
dbr
:Existential_instantiation
dbr
:Existential_quantification
dbr
:Thurston_elliptization_conjecture
dbr
:Riemann–Roch_theorem_for_surfaces
dbr
:Riemann–Roch_theorem
dbr
:Romanov's_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License