Head noun: proof
Postmodifier: of the theorem

Same concepts

Broader concepts

labelprovenanceconfidence
argumentisap:2949971990.350227

Narrower concepts

labelprovenanceconfidence