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:Theorem_proving_software_systems
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://www.w3.org/ns/prov#wasDerivedFrom
(
describe
)
http://ja.wikipedia.org/wiki/Category:定理証明ソフトウェア?oldid=63909638
http://ja.wcontology.org/resource/Category:定理証明支援システム
(
describe
)
http://wcontology.org/core#narrower
(
describe
)
http://ja.wcontology.org/resource/Category:定理証明ソフトウェア