About: interactive theorem prover

Premodifier: interactive theorem
Head noun: prover

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

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
isabelle/hol	isap:81816024	0.427050
isabelle	isap:485210855	0.394118