@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 "2010-05-31T09:57:46"; dct:created "2006-07-13"; xl:prefLabel [xl:literalForm "産業技術総合研究所システム検証研究センター";ndl:transcription "サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター"@ja-Kana,"Sangyo Gijutsu Sogo Kenkyujo Shisutemu Kensho Kenkyu Senta"@ja-Latn]; rdfs:label "産業技術総合研究所システム検証研究センター"; xl:altLabel [xl:literalForm "システム検証研究センター";ndl:transcription "システム ケンショウ ケンキュウ センター"@ja-Kana,"Shisutemu Kensho Kenkyu Senta"@ja-Latn],[xl:literalForm "Research Center for Verification and Semantics";dct:description "英語名"],[xl:literalForm "CVS";dct:description "略称"]; dct:source "4日で学ぶモデル検査. 初級編 / 産業技術総合研究所システム検証研究センター 著"; skos:exactMatch ; skos:inScheme . rdf:type ; foaf:name "産業技術総合研究所システム検証研究センター"; rda:dateOfEstablishment "2004"; rda:corporateHistory "システム検証研究ラボを拡大し2004年4月に発足"; rda:dateOfTermination "2010".