@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 "2016-10-03T11:58:52"; dct:created "2006-04-19"; xl:prefLabel [xl:literalForm "半導体理工学研究センター";ndl:transcription "ハンドウタイ リコウガク ケンキュウ センター"@ja-Kana,"Handotai Rikogaku Kenkyu Senta"@ja-Latn]; rdfs:label "半導体理工学研究センター"; xl:altLabel [xl:literalForm "STARC";dct:description "略称"]; dct:source "ベリフィケーション・メソドロジ・マニュアル / Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale 著 ; STARC, ARM, Synopsys 監訳"; skos:exactMatch ; skos:inScheme . rdf:type ; foaf:name "半導体理工学研究センター"; rda:dateOfEstablishment "1995"; rda:corporateHistory "株式会社"; rda:dateOfTermination "2016".