Property talk:P12888

Documentation

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

Metamath statement ID
unique identifier for a theorem, axiom or definition in the Metamath set.mm database

Represents	Metamath (Q6822975)
Data type	External identifier
Domain	mathematical object (Q246672) or mathematical concept (Q24034552)
Allowed values	[-a-zA-Z0-9]+
Example	modus ponens (Q655742) → ax-mp functor (Q864475) → df-func Cayley's theorem (Q179208) → cayley birthday problem (Q339000) → birthday
Source	https://us.metamath.org
Formatter URL	https://us.metamath.org/mpeuni/$1.html
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 Database reports/Constraint violations/P12888 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 443 Main statement 439 out of 45,272 (1% complete) 99.1% of uses Qualifier 4 0.9% of uses
Search for values

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

Type “mathematical object (Q246672), mathematical concept (Q24034552)”: item must contain property “instance of (P31), subclass of (P279)” with classes “mathematical object (Q246672), mathematical concept (Q24034552)” or their subclasses (defined using subclass of (P279)). (Help)

List of violations of this constraint: Database reports/Constraint violations/P12888#Type Q246672, Q24034552, hourly updated report, SPARQL

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/P12888#Scope, SPARQL

Format “[-a-zA-Z0-9]+”: 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).
List of violations of this constraint: Database reports/Constraint violations/P12888#Format, SPARQL

Single value: this property generally contains a single value. (Help)

List of violations of this constraint: Database reports/Constraint violations/P12888#Single value, hourly updated report, SPARQL

Distinct values: this property likely contains a value that is different from all other items. (Help)

List of violations of this constraint: Database reports/Constraint violations/P12888#Unique value, hourly updated report, SPARQL (every item), SPARQL (by value)

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/P12888#Entity types