Property talk:P1136

Documentation

• Start a query
• Current uses
• Statistics by class
• List of values
• List of qualifiers
• Count

solved by
person that solved a scientific question

Description	Person who solved the problem. See en:Template:Unsolved_problems.
Data type	Item
Template parameter	en:Template:Unsolved_problems
Domain	problem, theorem (Q65943) (note: this should be moved to the property statements)
Allowed values	persons (note: this should be moved to the property statements)
Example	Fermat's Last Theorem (Q132469) → Andrew Wiles (Q184433) Green–Tao theorem (Q922012) → Ben Joseph Green (Q792628)
Lists	Items with the most statements of this property Count of items by number of statements (chart) Items with the most statements Items with the fewest statements Count of items by number of sitelinks (chart) Items with the most sitelinks Items with the most sitelinks, but no link to one Wikipedia (sample: Welsh Wikipedia, cywiki) Items with the fewest sitelinks Most linked wikis Items with the most identifier properties By value of property Most statements Fewest statements Most sitelinks Most linked wikis Total of sitelinks on items Most identifiers Fewest identifiers Items with no other statements Most recently created items Items with novalue claims Items with unknown value claims Usage history (total) Usage history (main statement) Chart by item creation date Database reports/Constraint violations/P1136 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 121 Main statement 117 96.7% of uses Qualifier 4 3.3% of uses
Search for values

[create Create a translatable help page (preferably in English) for this property to be included here]

Value type “human (Q5)”: This property should use items as value that contain property “instance of (P31)”. On these, the value for instance of (P31) should be an item that uses subclass of (P279) with value human (Q5) (or a subclass thereof). (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1136#Value type Q5, SPARQL

Property “sex or gender (P21)” declared by target items of “solved by (P1136)”: If [item A] has this property with value [item B], [item B] is required to have property “sex or gender (P21)”. (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1136#Target required claim P21, SPARQL, SPARQL (by value)

Scope is as main value (Q54828448): the property must be used by specified way only (Help)

List of violations of this constraint: Database reports/Constraint violations/P1136#Scope, hourly updated report, SPARQL

Allowed entity types are Wikibase item (Q29934200): the property may only be used on a certain entity type (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1136#Entity types

Better examples?

Both the examples are theorems so they are better described with proved by (P1318). Could we find some better examples? The-erinaceous-one (talk) 03:48, 22 August 2020 (UTC)

Hilbert problems? Actually many theorems were unsolved problems some time ago... --Infovarius (talk) 15:20, 24 August 2020 (UTC)