Wikidata:Property proposal/generalization of/generalized by

generalized by

   Under discussion

Data type	Item
Domain	theorem
Allowed values	theorem
Example 1	Hamiltonian (Q5645293) "generalizes" Hamiltonian function (Q360356)
Example 2	Hamiltonian function (Q360356) "is generalized by" Hamiltonian (Q5645293)
Example 3	strong Whitney embedding theorem (Q99304092) "generalizes" Whitney embedding theorem (Q1306095)
Example 4	law of cosines (Q164321) "generalizes" Pythagorean theorem (Q11518)
Example 5	Cauchy's mean-value theorem (Q3984001) "generalizes" mean value theorem (Q189136)
Example 6	strong Whitney immersion theorem (Q99308325) "generalized by" Whitney immersion theorem (Q7996769)

Motivation

This might already be covered by generalization of (P7719) (property discussion: Wikidata:Property proposal/implies. See also: Wikidata:Property proposal/Implies (necessary condition)) (Add your motivation for this property here.) The-erinaceous-one (talk) 07:54, 14 September 2020 (UTC)