bn:00857498n
Noun Named Entity
NL
Isabelle
NL
Software Wikidata
English:
theorem prover
proof assistant
Definitions
Relations
Sources