enl:proofenhttps://en-word.net/lemma/proof#proof-v-lemmaLexical structureontolex:written representationproofβ download data as: Turtle, JSON-LD