hasFirstProofYear

P27180 predicate

Indicates the year in which something was first proven or formally demonstrated to be true.