@prefix scot: <http://vocabulary.curriculum.edu.au/scot/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://purl.org/vocab/changeset/schema#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

scot:15512
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Proof by construction"@en .

scot:15515
  skos:broader scot:7777 ;
  skos:broaderTransitive scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Visual proofs"@en .

scot:13531
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Proof by contradiction"@en .

scot:15172
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Mathematical induction"@en .

scot:15475
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Combinatorial proofs"@en .

scot:15510
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Direct proofs"@en .

scot:15511
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Probabilistic proofs"@en .

scot:15513
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Proof by exhaustion"@en .

scot:15514
  skos:broader scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Proof by transposition"@en .

scot:976
  skos:related scot:7777 ;
  skos:narrowerTransitive scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "الرياضيات"@ar, "Mathematik"@de, "Μαθηματικά"@el, "Mathematics"@en, "Mathematics"@en-AU, "Mathematics"@en-GB, "Mathematics"@en-NZ, "Mathematics"@en-US, "Matemáticas"@es, "Mathématiques"@fr, "गणित"@hi-IN, "Matematika"@id, "Matematica"@it, "数学"@ja, "수학"@ko, "Pāngarau"@mi, "Matematik"@tr, "Toán học"@vi, "数学"@zh .

scot:15474
  skos:related scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Provability"@en .

<historyEvent:dd23b45f-8ed9-4fd4-8b24-ada8e83e4277> ns0:subjectOfChange scot:7777 .
scot:7608
  skos:narrower scot:7777 ;
  skos:narrowerTransitive scot:7777 ;
  a skos:Concept ;
  skos:prefLabel "Reasoning"@en .

scot:7777
  a skos:Concept ;
  dc:created "2005-02-01T00:00:00.000Z"^^xsd:dateTime ;
  skos:prefLabel "برهان رياضي"@ar, "Beweis (Mathematik)"@de, "Μαθηματική απόδειξη"@el, "Mathematical proofs"@en, "Demostración matemática"@es, "Démonstration"@fr, "Pembuktian dalam Aljabar"@id, "Dimostrazione matematica"@it, "証明 移動: 案"@ja, "증명 (수학)"@ko, "Matematiksel tanıt"@tr, "Chứng minh toán học"@vi, "样张(代数)"@zh ;
  skos:altLabel "Proofs (Algebra)"@en, "Pembuktian matematika"@id ;
  skos:broader scot:7608 ;
  skos:related scot:976, scot:15474 ;
  skos:narrower scot:15512, scot:15515, scot:13531, scot:15172, scot:15475, scot:15510, scot:15511, scot:15513, scot:15514 ;
  dc:modified "2013-01-02T23:28:59.000Z"^^xsd:dateTime ;
  dc:contributor <http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> ;
  dc:hasVersion "26"^^xsd:int ;
  skos:broaderTransitive scot:7608, scot:976 ;
  skos:inScheme scot:6f1bbd29-fccf-4b0a-91d5-9089f768e88c ;
  skos:changeNote "5.3 - BT Mathematical concepts removed, BT Expressions added; 6.2 - BT Mathematical expressions removed, BT Algebra added; 6.5 - Changed from Proofs to Proofs (Algebra)."@en ;
  skos:narrowerTransitive scot:15515 .

<http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> a <http://schema.semantic-web.at/users/LocalUser> .
scot:6f1bbd29-fccf-4b0a-91d5-9089f768e88c a skos:ConceptScheme .