http://caligraph.org/ontology/Mathematical_theorem_in_theoretical_computer_science

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Mathematical theorem in theoretical computer science
rdfs:subClassOf	Mathematical theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Mathematical_theorems_in_theoretical_computer_science
is rdf:type of	Immerman–Szelepcsényi theorem Nyquist–Shannon sampling theorem Shannon's source coding theorem Cheung–Marks theorem Schwartz–Zippel lemma Shannon–Hartley theorem
is rdfs:subClassOf of	Theorem in theory of computation

About: clgo:Mathematical_theorem_in_theoretical_computer_science