Property talk:P6781

Documentation

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

ProofWiki ID
identifier for a ProofWiki article

Applicable "stated in" value	ProofWiki (Q60760899)
Has quality	MediaWiki page title (Q83336425)
Data type	External identifier
Domain	mathematical proof (Q11538), theorem (Q65943), axiom (Q17736), human (Q5), book (Q571), definition (Q101072), mathematical concept (Q24034552), mathematical symbol (Q10376408), mathematical object (Q246672), country (Q6256), area of mathematics (Q1936384) or mathematical theory (Q20026918)
Allowed values	\S{1,100}
Example	Euclid's theorem (Q1506253) → Euclid's_Theorem Banach–Tarski paradox (Q737851) → Banach-Tarski_Paradox axiom of choice (Q179692) → Axiom:Axiom_of_Choice abelian group (Q181296) → Definition:Abelian_Group Évariste Galois (Q7091) → Mathematician:Évariste_Galois Elements (Q172891) → Book:Euclid/The_Elements
Source	https://proofwiki.org/
Formatter URL	https://proofwiki.org/wiki/$1
See also	MathWorld ID (P2812), Encyclopedia of Mathematics article ID (P7554)
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 Items with no other external identifier 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 Map of people by place values: place of birth educated at work location residence place of death place of burial January 1st dates People with date of birth on January 1 People with date of death on January 1 People with both dates on January 1 Database reports/Constraint violations/P6781 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 2,424 Main statement 2,417 99.7% of uses Qualifier 6 0.2% of uses Reference 1 <0.1% of uses
Search for values

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

Single value: this property generally contains a single value. (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/P6781#Single value, SPARQL

Distinct values: this property likely contains a value that is different from all other items. (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/P6781#Unique value, SPARQL (every item), SPARQL (by value)

Type “mathematical proof (Q11538), theorem (Q65943), axiom (Q17736), human (Q5), book (Q571), definition (Q101072), mathematical concept (Q24034552), mathematical symbol (Q10376408), mathematical object (Q246672), country (Q6256), area of mathematics (Q1936384), mathematical theory (Q20026918)”: item must contain property “instance of (P31), subclass of (P279)” with classes “mathematical proof (Q11538), theorem (Q65943), axiom (Q17736), human (Q5), book (Q571), definition (Q101072), mathematical concept (Q24034552), mathematical symbol (Q10376408), mathematical object (Q246672), country (Q6256), area of mathematics (Q1936384), mathematical theory (Q20026918)” 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/P6781#Type Q11538, Q65943, Q17736, Q5, Q571, Q101072, Q24034552, Q10376408, Q246672, Q6256, Q1936384, Q20026918, SPARQL

Format “\S{1,100}”: value must be formatted using this pattern (PCRE syntax). (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303). Known exceptions: axiom of union (Q1987722)
List of violations of this constraint: Database reports/Constraint violations/P6781#Format, 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/P6781#Entity types

Scope is as main value (Q54828448), as reference (Q54828450): 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/P6781#Scope, SPARQL

Label required in languages: en: Entities using this property should have labels in one of the following languages: en (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/P6781#Label in 'en' language, search, SPARQL

Description required in languages: en: Entities using this property should have descriptions in one of the following languages: en (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/P6781#Description in 'en' language, search, SPARQL