@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/00565667>
	rdf:type <http://www.w3.org/2004/02/skos/core#Concept>;
	dct:modified "2025-08-07T16:44:57";
	dct:created "1980-06-20";
	xl:prefLabel [xl:literalForm "決定問題";ndl:transcription "ケッテイモンダイ"@ja-Kana,"Ketteimondai"@ja-Latn];
	rdfs:label "決定問題";
	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/MA41>,<http://id.ndl.go.jp/class/ndc10/410.9>,<http://id.ndl.go.jp/class/ndc9/410.9>;
	skos:note "和図書不使用";
	skos:related <http://id.ndl.go.jp/auth/ndlsh/00565849>.

<http://id.ndl.go.jp/auth/ndlsh/00565849> rdfs:label "帰納的関数".