• http://ja.wcontology.org/resource/Category:数学的証明 ( describe )
  • http://www.w3.org/2002/07/owl#sameAs ( describe )
    • http://en.wcontology.org/resource/Category:Mathematical_proofs
    • http://ja.dbpedia.org/resource/Category:数学的証明
  • http://www.w3.org/1992/02/22-rdf-syntax-ns#type ( describe )
    • http://wcontology.org/core#topicCategory
  • http://wcontology.org/core#narrower ( describe )
    • 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=55735836
• http://ja.wcontology.org/resource/Category:証明論 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:数学的証明