hasKeyTheorem

P72923 predicate

Indicates that one entity contains, relies on, or is characterized by a central or foundational theorem associated with the other entity.

Sample triples (8)