• 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#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#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#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数学ソフトウェア
• http://ja.wcontology.org/resource/Category:Linux向け数学ソフトウェア ( 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://www.w3.org/2002/07/owl#sameAs ( describe )
    • http://ja.dbpedia.org/resource/Category:数学ソフトウェア
    • http://en.wcontology.org/resource/Category:Mathematical_software
  • 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=64281891
  • http://wcontology.org/core#subClassOf ( 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:数学ソフトウェア
• 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:数学ソフトウェア
• http://ja.wcontology.org/resource/Category:フリー数学ソフトウェア ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数学ソフトウェア