@prefix nalt: <https://lod.nal.usda.gov/nalt/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ns0: <https://lod.nal.usda.gov/naltv#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

nalt:285179
  skos:hiddenLabel "ring-theories"@en, "queue theory"@en, "computability theory"@en, "L-theories"@en, "algebraic K-theories"@en, "tree theory"@en, "operator theory"@en, "algebraic K-theory"@en, "proof theory"@en, "surgery theories"@en, "multinomial distributions"@en, "topos theory"@en, "string theory"@en, "group theories"@en, "automata theories"@en, "catastrophe theory"@en, "algebraic K theory"@en, "Hodge theory"@en, "ring-theory"@en, "dimension theory"@en, "large sample theory"@en, "information theory"@en, "Hodge theories"@en, "K-theory"@en, "matrix theory"@en, "approximation theories"@en, "type theory"@en, "Seiberg -Witten theories"@en, "Choquet theory"@en, "homology theory"@en, "scheme theories"@en, "Galois theories"@en, "twistor theory"@en, "spectral theories"@en, "perturbation theory"@en, "twistor theories"@en, "surgery theory"@en, "semi-group theories"@en, "invariant theory"@en, "multi-nomial distributions"@en, "coding theories"@en, "character theory"@en, "recursion theory"@en, "measure theory"@en, "distribution theory"@en, "graph theories"@en, "Almgren-Pitts min-max theory"@en, "theory of computation"@en, "knot theory"@en, "Seiberg- Witten theory"@en, "mathematical theories"@en, "asymptotic theories"@en, "ring theory"@en, "graph theory"@en, "probability theories"@en, "multi-nomial distribution"@en, "Seiberg-Witten theories"@en, "class field theories"@en, "group theory"@en, "K-theories"@en, "distribution theories"@en, "percolation theories"@en, "number theory"@en, "deformation theories"@en, "ring theories"@en, "large-sample theory"@en, "representation theory"@en, "number theories"@en, "order theory"@en, "bifurcation theory"@en, "bifurcation theories"@en, "singularity theories"@en, "cohomology theory"@en, "braid theory"@en, "braid theories"@en, "category theories"@en, "proof theories"@en, "computation theories"@en, "approximation theory"@en, "L-theory"@en, "class field theory"@en, "invariant theories"@en, "asymptotic theory"@en, "catastrophe theories"@en, "operator theories"@en, "automata theory"@en, "matrix theories"@en, "obstruction theories"@en, "deformation theory"@en, "M-theories"@en, "scheme theory"@en, "elimination theory"@en, "theory of equations"@en, "dimension theories"@en, "order theories"@en, "model theory"@en, "sheaf theories"@en, "knot theories"@en, "homotopy theory"@en, "homotopy theories"@en, "representation theories"@en, "queue theories"@en, "spectral theory"@en, "sheaf theory"@en, "transcendental number theory"@en, "semigroup theory"@en, "category theory"@en, "Brill-Noether theory"@en, "K-and L-theory"@en, "Seiberg-Witten theory"@en, "computation theory"@en, "string theories"@en, "recursion theories"@en, "computability theories"@en, "cohomology theories"@en, "semigroup theories"@en, "extremal graph theory"@en, "M-theory"@en, "information theories"@en, "field theory"@en, "theory of equation"@en, "semi-group theory"@en, "coding theory"@en, "homology theories"@en, "multinomial distribution"@en, "elimination theories"@en, "percolation theory"@en, "perturbation theories"@en, "Galois theory"@en, "topos theories"@en, "local class field theory"@en, "singularity theory"@en, "measure theories"@en, "probability theory"@en, "large sample theories"@en, "obstruction theory"@en ;
  skos:altLabel "theorem (mathematics)"@en ;
  dc:modified "2019-02-22"^^xsd:date ;
  skos:narrower nalt:24427, nalt:285316 ;
  a skos:Concept, <https://lod.nal.usda.gov/naltv#Topic> ;
  skos:inScheme <https://lod.nal.usda.gov/nalt> ;
  skos:broader nalt:142590 ;
  dc:created "2016-08-04"^^xsd:date ;
  ns0:marc001 "77693" ;
  skos:prefLabel "teoría matemática"@es, "mathematical theory"@en .

nalt:142590
  skos:prefLabel "matemáticas"@es, "mathematics"@en ;
  a ns0:Topic, skos:Concept ;
  skos:narrower nalt:285179 .

nalt:24427
  skos:prefLabel "teoría del caos"@es, "chaos theory"@en ;
  a ns0:Topic, skos:Concept ;
  skos:broader nalt:285179 .

ns0:Topic
  rdfs:label "Topic"@en ;
  a owl:Class .

nalt:285316
  skos:prefLabel "teoría de grafos"@es, "network theory"@en ;
  a ns0:Topic, skos:Concept ;
  skos:broader nalt:285179 .

<https://lod.nal.usda.gov/nalt>
  rdfs:label "NALT Full"@en ;
  a skos:ConceptScheme .