About: theorem prove system

Head noun: theorem
Postmodifier: prove system

Same concepts

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
acl2	isap:10249210	0.301082