@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:7777
  skos:related scot:15474 ;
  a skos:Concept ;
  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 .

<historyEvent:22dc66b3-7b89-4183-8626-6429616715cc> ns0:subjectOfChange scot:15474 .
scot:15466
  skos:narrower scot:15474 ;
  skos:narrowerTransitive scot:15474 ;
  a skos:Concept ;
  skos:prefLabel "Symbolic logic"@en .

scot:15474
  a skos:Concept ;
  dc:creator <http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> ;
  dc:created "2012-12-21T00:03:21.000Z"^^xsd:dateTime ;
  skos:prefLabel "Provability"@en ;
  skos:altLabel "Provable"@en ;
  skos:hiddenLabel "Proveability"@en, "Proveable"@en, "⊢"@en ;
  skos:broader scot:15466 ;
  skos:related scot:7777 ;
  dc:modified "2012-12-21T00:03:51.000Z"^^xsd:dateTime ;
  dc:contributor <http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> ;
  dc:hasVersion "4"^^xsd:int ;
  skos:broaderTransitive scot:15466 ;
  skos:inScheme scot:6f1bbd29-fccf-4b0a-91d5-9089f768e88c .

<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 .