About: theorem proving

Premodifier: theorem
Head noun: proving

Same concepts
http://dbpedia.org/resource/Automated_theorem_proving

Broader concepts

label	provenance	confidence
formal method	isap:268847520	0.791857
technique	isap:319579707	0.650676
topic	isap:35032781	0.510763
task	isap:72024119	0.367854

Narrower concepts

label	provenance	confidence