About: formal proof

Premodifier: formal
Head noun: proof

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

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
triangle	isap:360200611	0.122189