• http://ja.wcontology.org/resource/Category:ハードウェア記述言語 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法
• http://ja.wcontology.org/resource/Category:形式手法 ( describe )
  • http://www.w3.org/2002/07/owl#sameAs ( describe )
    • http://ja.dbpedia.org/resource/Category:形式手法
    • http://en.wcontology.org/resource/Category:Formal_methods
  • http://www.w3.org/1992/02/22-rdf-syntax-ns#type ( describe )
    • http://wcontology.org/core#setCategory
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:電子計算の数学
    • http://ja.wcontology.org/resource/Category:ソフトウェアテスティング
    • http://ja.wcontology.org/resource/Category:データモデリング
  • http://www.w3.org/ns/prov#wasDerivedFrom ( describe )
    • http://ja.wikipedia.org/wiki/Category:形式手法?oldid=65274715
• http://ja.wcontology.org/resource/Category:意味論 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法
• http://ja.wcontology.org/resource/Category:型理論 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法
• http://ja.wcontology.org/resource/Category:形式手法の人物 ( describe )
  • http://wcontology.org/core#usedForConstraint ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法
• http://ja.wcontology.org/resource/Category:時相論理 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法
• http://ja.wcontology.org/resource/Category:関数型プログラミング ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:形式手法