About: proof system

Premodifier: proof
Head noun: system

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

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
resolution	isap:257038704	0.480450