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:
Theorem_in_discrete_mathematics
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Theorem in discrete mathematics
rdfs:
subClassOf
Mathematical theorem
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Theorems_in_discrete_mathematics
is
rdf:
type
of
Milliken–Taylor theorem
Rado's theorem (Ramsey theory)
Dinitz conjecture
Star height problem
Stanley–Wilf conjecture
Large set (Ramsey theory)
Chomsky–Schützenberger enumeration theorem
Analyst's traveling salesman theorem
Gibbard's theorem
Erdős–Szemerédi theorem
Kemnitz's conjecture
Tutte–Berge formula
Friedman's SSCG function
Gibbard–Satterthwaite theorem
Bregman–Minc inequality
Kruskal's tree theorem
Holland's schema theorem
Akra–Bazzi method
Star of David theorem
Chomsky–Schützenberger representation theorem
Noisy-channel coding theorem
Hales–Jewett theorem
Pigeonhole principle
Myhill–Nerode theorem
Cameron–Erdős conjecture
Milliken's tree theorem
Theorem on friends and strangers
Buchholz hydra
Parthasarathy's theorem
Van der Waerden's theorem
Curtis–Hedlund–Lyndon theorem
Sprague–Grundy theorem
Minimax
Erdős–Ko–Rado theorem
May's theorem
Arrow's impossibility theorem
is
rdfs:
subClassOf
of
Theorem in combinatorics
Theorem in discrete geometry
Theorem in computational complexity theory
Theorem in graph theory