@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0008063>
  skos:prefLabel "اتحاد سلبرگ"@fa, "selberg identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008041>
  skos:prefLabel "اتحاد آبل"@fa, "abel identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/mathpro964> skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .
<http://www.irandoc.acir/onto/irandoc/math0008136>
  skos:prefLabel "تابع چبیشوف"@fa, "chebyshev function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008061>
  skos:prefLabel "prime number theorem"@en, "قضیه اعداد اول"@fa ;
  skos:scopeNote "پی(x) تعداد اعداد اول نا بزرگتر از x است."@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008063>, <http://www.irandoc.acir/onto/irandoc/math0008044>, <http://www.irandoc.acir/onto/irandoc/math0008042>, <http://www.irandoc.acir/onto/irandoc/math0008137>, <http://www.irandoc.acir/onto/irandoc/math0008138>, <http://www.irandoc.acir/onto/irandoc/math000956>, <http://www.irandoc.acir/onto/irandoc/math0005279>, <http://www.irandoc.acir/onto/irandoc/math000836>, <http://www.irandoc.acir/onto/irandoc/math0008041>, <http://www.irandoc.acir/onto/irandoc/math0008136> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008067> .

<http://www.irandoc.acir/onto/irandoc/math0008044>
  skos:prefLabel "توزیع اعداد اول"@fa, "distribution of prime numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008042>
  skos:prefLabel "فرمول مجانبی سلبرگ"@fa, "selberg asymptotic formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008137>
  skos:prefLabel "تابع منگولد"@fa, "mangoldt function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math000956>
  skos:prefLabel "قضیه تاوبری اینغام"@fa, "ingham tauberian theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008067>
  skos:prefLabel "نظریه تحلیلی اعداد"@fa, "analytic number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/mathpro570> skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .
<http://www.irandoc.acir/onto/irandoc/mathpro606> skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .
<http://www.irandoc.acir/onto/irandoc/math000836>
  skos:prefLabel "نظریه توزیع مجانبی"@fa, "asymptotic distribution theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0005279>
  skos:prefLabel "حد"@fa, "limit"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

<http://www.irandoc.acir/onto/irandoc/math0008138>
  skos:prefLabel "تابع موبیوس"@fa, "mobius function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008061> .

