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

<http://www.irandoc.acir/onto/irandoc/math0008131>
  skos:prefLabel "تابع فی اویلر"@fa, "euler phi function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/math0008125>
  skos:prefLabel "قضیه اویلر-فرما"@fa, "euler-fermat theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/math0008184>
  skos:prefLabel "رده مانده‌ها"@fa, "residue class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/math0008185>
  skos:prefLabel "همنهشتی چندجمله‌ای"@fa, "polynomial congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/math0008062>
  skos:prefLabel "قضیه باقیمانده چینی"@fa, "chinese remainder theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/mathpro2478>
  skos:prefLabel "همنهشتی"@fa, "همخوانی"@fa, "congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008186> .

<http://www.irandoc.acir/onto/irandoc/math0008186>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008131>, <http://www.irandoc.acir/onto/irandoc/math0008185>, <http://www.irandoc.acir/onto/irandoc/math0008085>, <http://www.irandoc.acir/onto/irandoc/math0008062>, <http://www.irandoc.acir/onto/irandoc/math0008125>, <http://www.irandoc.acir/onto/irandoc/math0008184> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "همنهشتی خطی"@fa, "linear congruence"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008085>
  skos:prefLabel "دستگاه مانده‌ای کامل"@fa, "complete residue system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008186> .