@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix xl: <http://www.w3.org/2008/05/skos-xl#>.
@prefix rdag1: <http://RDVocab.info/ElementsGr1/>.
@prefix rda: <http://RDVocab.info/ElementsGr2/>.
@prefix rdaa: <http://rdaregistry.info/Elements/a/>.
@prefix frbrent: <http://RDVocab.info/uri/schema/FRBRentitiesRDA/>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ndl: <http://ndl.go.jp/dcndl/terms/>.
@prefix dct: <http://purl.org/dc/terms/>.

<http://id.ndl.go.jp/auth/ndlsh/01190375>
	rdf:type <http://www.w3.org/2004/02/skos/core#Concept>;
	dct:modified "2017-07-03T08:58:30";
	dct:created "2010-03-25";
	xl:prefLabel [xl:literalForm "証明 (数学)";ndl:transcription "ショウメイ (スウガク)"@ja-Kana,"Shomei (sugaku)"@ja-Latn];
	rdfs:label "証明 (数学)";
	xl:altLabel [xl:literalForm "論証 (数学)";ndl:transcription "ロンショウ (スウガク)"@ja-Kana,"Ronsho (sugaku)"@ja-Latn],[xl:literalForm "Proof theory"];
	dct:source "だれでも証明が書ける / 松井知己 著","数学小辞典";
	skos:inScheme <http://id.ndl.go.jp/auth#topicalTerms>;
	owl:sameAs <http://id.ndl.go.jp/auth/ndlsh/証明(数学)>;
	skos:relatedMatch <http://id.ndl.go.jp/class/ndlc/MA21>,<http://id.ndl.go.jp/class/ndc10/410>,<http://id.ndl.go.jp/class/ndc9/410>;
	skos:broader <http://id.ndl.go.jp/auth/ndlsh/00571521>;
	skos:closeMatch <http://id.loc.gov/authorities/subjects/sh85107437>.

<http://id.ndl.go.jp/auth/ndlsh/00571521> rdfs:label "数学".