@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 "2006-04-19T18:47:45"; dct:created "2006-04-19"; xl:prefLabel [xl:literalForm "Synopsys, Inc"]; rdfs:label "Synopsys, Inc"; xl:altLabel [xl:literalForm "Synopsys"]; dct:source "ベリフィケーション・メソドロジ・マニュアル / Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale 著 ; STARC, ARM, Synopsys 監訳"; skos:exactMatch ; skos:inScheme . rdf:type ; foaf:name "SynopsysInc".