@prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix skos: . @prefix xl: . @prefix rdag1: . @prefix rda: . @prefix rdaa: . @prefix frbrent: . @prefix foaf: . @prefix ndl: . @prefix dct: . foaf:primaryTopic ; rdf:type ; dct:modified "2024-02-06T09:46:05"; dct:created "2011-05-09"; xl:prefLabel [xl:literalForm "Franzén, Torkel, 1950-2006"]; rdfs:label "Franzén, Torkel, 1950-2006"; xl:altLabel [xl:literalForm "フランセーン, トルケル"]; dct:source "ゲーデルの定理 / トルケル・フランセーン [著] ; 田中一之 訳","LCCN: n91058286","生没年: 初出資料"; skos:exactMatch ,; skos:inScheme . rdf:type ; foaf:name "Torkel Franzén"; rda:dateOfBirth "1950"; rda:dateOfDeath "2006"; rda:biographicalInformation "大学教員"; rda:fieldOfActivityOfThePerson "数理論理学, 計算機科学".