@prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix skos: . @prefix xl: . @prefix rdag1: . @prefix rda: . @prefix rdaa: . @prefix frbrent: . @prefix foaf: . @prefix ndl: . @prefix dct: . rdf:type ; dct:modified "2011-05-23T11:05:58"; dct:created "1980-06-20"; xl:prefLabel [xl:literalForm "帰納的関数";ndl:transcription "キノウテキカンスウ"@ja-Kana,"Kinotekikansu"@ja-Latn]; rdfs:label "帰納的関数"; xl:altLabel [xl:literalForm "リカーシブ関数";ndl:transcription "リカーシブカンスウ"@ja-Kana,"Rikashibukansu"@ja-Latn],[xl:literalForm "Recursive functions"]; dct:source "計算の理論 / M. デーヴィス 著 ; 渡辺茂, 赤摂也 訳","岩波数学辞典"; skos:exactMatch ; skos:inScheme ; owl:sameAs ; skos:relatedMatch ,; skos:broader ; skos:closeMatch ; skos:related . rdfs:label "関数". rdfs:label "決定問題".