About: twelf

Head noun: twelf

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

Broader concepts

label	provenance	confidence
proof assistant	isap:339229452	0.280777

Narrower concepts

label	provenance	confidence