http://caligraph.org/ontology/Mathematical_theorem

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Mathematical theorem
rdfs:subClassOf	Theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Mathematical_theorems
is rdf:type of	Vincent's theorem Budan's theorem Kawasaki's theorem Fueter–Pólya theorem Sion's minimax theorem Stochastic portfolio theory Solovay–Kitaev theorem Zermelo's theorem (game theory) Minimax theorem Petersen–Morley theorem Multiplication theorem Classification theorem Ohsawa–Takegoshi L2 extension theorem Pósa's theorem Darmois–Skitovich theorem No free lunch theorem Universal chord theorem Additive combinatorics Mathematics of apportionment Approximate max-flow min-cut theorem Buchdahl's theorem Chasles' theorem (kinematics) Existence theorem Bauer maximum principle Omega-categorical theory Alexander–Hirschowitz theorem Kostant's convexity theorem Full-employment theorem Shell theorem Toy theorem Maekawa's theorem Trombi–Varadarajan theorem Representation theorem Comparison theorem Girsanov theorem Grey box model Jouanolou's trick Transport theorem König–Egerváry theorem
is rdfs:subClassOf of	Theorem in analysis Mathematical theorem in theoretical computer science Theorem in number theory Theorem in topology Uniqueness theorem Theorem in dynamical systems Theorem in the foundations of mathematics Theorem in discrete mathematics Theorem in mathematical physics Probability theorem Theorem in algebra Theorem in statistics Theorem in propositional logic

About: clgo:Mathematical_theorem