Property talk:P1318

Documentation

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

proved by
person who proved something

Description	country, organization, person which proved (to demonstrate that something is true or viable / to give proof for) sth. usually used as qualifier.
Data type	Item
Domain	According to this template: anything According to statements in the property: proposition (Q108163) When possible, data should only be stored as statements
Allowed values	country, organization, person (note: this should be moved to the property statements)
Example	Pythagorean theorem (Q11518) → Pythagoras (Q10261) four color theorem (Q184410) → Kenneth Appel (Q224787)
See also	theorised by (P8403), discoverer or inventor (P61), solved by (P1136)
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/P1318 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 179 Main statement 162 90.5% of uses Qualifier 7 3.9% of uses Reference 10 5.6% of uses
Search for values

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

Type “proposition (Q108163)”: item must contain property “instance of (P31)” with classes “proposition (Q108163)” or their subclasses (defined using subclass of (P279)). (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/P1318#Type Q108163, SPARQL

Value type “human (Q5), collective pseudonym (Q16017119)”: 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), collective pseudonym (Q16017119) (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/P1318#Value type Q5, Q16017119, SPARQL

Scope is as main value (Q54828448): the property must be used by specified way only (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/P1318#Scope, 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/P1318#Entity types

Type of values

@Jakec, tomT0m, GZWDer, Micru: when available, can we use this item for the work where the fact was proved rather than the proving person/organization ? Normally, the provers should be the work's authors. For Pythagoras' theorem, I do not know exactly what should be done, as we do not have any work by Pythagoras. Perhaps just "proved by Pythagoras", perhaps, somehow also add the first known work that proved the theorem ? -Zolo (talk) 09:24, 17 September 2014 (UTC)

I think the first known document that proved the theorem is a good idea, it's very similar to the taxon description in taxonomy, maybe we should reuse the property. To the Pythagora's theorem, I guess we should rely on sources :) There is also the named after property which can make the link.

By the way, if a theorem have different name in different languages, should not the named after property only be a qualifier of the name ? TomT0m ^(talk) 10:40, 17 September 2014 (UTC)

I think "named after" should be used in conjunction with a name string whenever possible. That could be the name as a qualifier of the property rather than the other way round, but it seems less intuitive. So I'd say "named after" always as a qualifier, even though that makes "named afters" harder to query. But I do not think we have any property for names like "Pythagoras' theorem" yet.

What do you mean with reusing taxon description ? --Zolo (talk) 12:05, 17 September 2014 (UTC)

I thought there was a property corresponding to first valid description (Q1361864)    that linked a species to a document or article that first described the species. I can't find it though, I don't know how they model this. But a property linking any type of scientific concept to the paper that first described it may be a good idea anyway. TomT0m ^(talk) 13:09, 17 September 2014 (UTC)