View source for Testwiki:WikiProject Mathematics

{{Shortcut|WD:MATH}}

==Goals==
===Long term goals===
*Organize data about mathematics

===Short term goals===
*Review the [[#Scope]]
*Use {{P|6104}} on all items and properties within [[#Scope]]
**Use {{P|9488}} on senses of lexemes within [[#Scope]] ([https://w.wiki/7Mt8 uses])
*Use the property {{P|1312}} on all applicable items (7/??), and create missing items
*Gather information from infoboxes
*Create more properties that semantically describe items
*Create featured items that show how properties should be used
*Create "has part" property entries for formula components / identifiers -> discussion

==Scope==
*All Wikidata properties for which {{P|31}} has the value {{Q'''|Q22988631}} (see [https://query.wikidata.org/#%23title%3A%20List%20of%20mathematics-related%20Wikidata%20properties%20by%20usage%20count%0ASELECT%20DISTINCT%20%3Fproperty%20%3FpropertyLabel%20%28COUNT%28%2a%29%20AS%20%3Fcount%29%20WHERE%20%7B%0A%20%20%3Fitem%20%3Fp%20%5B%20%5D%20.%0A%20%20%3Fproperty%20wdt%3AP31%20wd%3AQ22988631%20%3B%0A%20%20%20%20%20%20%20%20%20%20%20%20wikibase%3Aclaim%20%3Fp.%0A%20%20SERVICE%20wikibase%3Alabel%20%7B%20bd%3AserviceParam%20wikibase%3Alanguage%20%22%5BAUTO_LANGUAGE%5D%2Cen%22.%20%7D%0A%7D%0AGROUP%20BY%20%3Fproperty%20%3FpropertyLabel%0AORDER%20BY%20DESC%28%3Fcount%29%0A list]).
*All Wikidata entities with a statement that involves any of these properties.
*Auxiliary wiki pages that assist with the above.

==Infoboxes==
*{{Q|Q8612039}}
* [[:fr:Modèle:Infobox Méthode scientifique|Infobox Méthode scientifique]] (Infobox scientific method) for {{Q|Q8447}}
* [[:fr:Modèle:Infobox Discipline|Infobox Discipline]] for {{Q|Q8447}}

==Useful lists and queries==
*[[Wikidata:WikiProject Mathematics/integers|List of integers in Wikidata]]
*Subclass tree for {{Q|11563}}: http://tools.wmflabs.org/wikidata-todo/tree.html?q=11563&rp=279&lang=en
*[https://query.wikidata.org/#SELECT%20DISTINCT%0A%20%20%28SAMPLE%28COALESCE%28%3Fen_label%2C%20%3Fitem_label%29%29%20as%20%3Fname%29%0A%20%20%28SAMPLE%28%3Ftype_label%29%20as%20%3Ftype%29%0A%20%20%28SAMPLE%28%3Fnamed_after_label%29%20as%20%3Fnamed_after%29%0A%20%20%28SAMPLE%28%3Fdescribes_label%29%20as%20%3Fdescribes%29%0A%20%20%28SAMPLE%28%3Fformula%29%20as%20%3Fformula%29%0A%20%20%28SAMPLE%28%3Fimage%29%20as%20%3Fimage%29%0A%20%20%28SAMPLE%28%3Fitem%29%20as%20%3Fwikidata%29%0AWHERE%20%7B%0A%20%20%3Ftype%20wdt%3AP279%2a%20wd%3AQ65943.%20%23%20Theorem%0A%20%20%3Fitem%20p%3AP31%2Fps%3AP31%20%3Ftype.%0A%20%20OPTIONAL%20%7B%3Fitem%20rdfs%3Alabel%20%3Fen_label.%20FILTER%28LANG%28%3Fen_label%29%20%3D%20%22en%22%29%7D%20OPTIONAL%20%7B%3Fitem%20rdfs%3Alabel%20%3Fitem_label%7D%0A%20%20OPTIONAL%20%7B%3Ftype%20rdfs%3Alabel%20%3Ftype_label.%20FILTER%28LANG%28%3Ftype_label%29%20%3D%20%22en%22%29%7D%0A%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP18%20%3Fimage.%7D%0A%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP138%20%3Fnamed_after.%20%3Fnamed_after%20rdfs%3Alabel%20%3Fnamed_after_label.%20FILTER%28LANG%28%3Fnamed_after_label%29%20%3D%20%22en%22%29%7D%0A%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP2384%20%3Fdescribes.%20%3Fdescribes%20rdfs%3Alabel%20%3Fdescribes_label.%20FILTER%28LANG%28%3Fdescribes_label%29%20%3D%20%22en%22%29%7D%0A%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP2534%20%3Fformula.%7D%0A%7D%20GROUP%20BY%20%3Fitem Table of all theorems]
** [https://w.wiki/9mgj pairs of equivalent theorems / axioms / principles] (using loops of {{P'|generalization of}})
*[https://query.wikidata.org/#%23%20Notable%20numbers%0ASELECT%20%2a%20WHERE%20%7B%0A%20%20SELECT%0A%20%20%20%20%28SAMPLE%28%3Fitem%29%20as%20%3Fitem%29%0A%20%20%20%20%28SAMPLE%28%3Fen_label%29%20as%20%3Fname%29%0A%20%20%20%20%23%28SAMPLE%28%3Fnotation_label%29%20as%20%3Fnotation%29%0A%20%20%20%20%28SAMPLE%28%3Fvalue%29%20as%20%3Fapproximate_value%29%0A%20%20%20%20%28SAMPLE%28%3Fnamed_after%29%20as%20%3Fnamed_after%29%0A%20%20%20%20%28SAMPLE%28%3Fimage%29%20as%20%3Fimage%29%0A%20%20%20%20%28GROUP_CONCAT%28DISTINCT%20%3Fen_class_label%3B%20SEPARATOR%20%3D%20%22%2C%20%22%29%20AS%20%3Fclasses%29%0A%20%20WHERE%20%7B%0A%20%20%20%20%3Fitem%20p%3AP31%2Fps%3AP31%2Fwdt%3AP279%2a%20wd%3AQ11563.%0A%20%20%20%20%3Fitem%20wdt%3AP1181%20%3Fvalue.%0A%20%20%20%20%3Fitem%20p%3AP31%2Fps%3AP31%20%3Fclass.%0A%20%20%20%20%23OPTIONAL%20%7B%3Fitem%20wdt%3AP913%20%3Fnotation%7D%0A%20%20%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP138%20%3Fnamed_after%7D%0A%20%20%20%20OPTIONAL%20%7B%3Fitem%20wdt%3AP18%20%3Fimage%7D%0A%20%20%20%20OPTIONAL%20%7B%3Fitem%20rdfs%3Alabel%20%3Fen_label.%20FILTER%28LANG%28%3Fen_label%29%20%3D%20%22en%22%29%7D%0A%20%20%20%20OPTIONAL%20%7B%3Fclass%20rdfs%3Alabel%20%3Fen_class_label.%20FILTER%28LANG%28%3Fen_class_label%29%20%3D%20%22en%22%29%7D%0A%20%20%20%20%23OPTIONAL%20%7B%3Fnotation%20rdfs%3Alabel%20%3Fnotation_label.%20FILTER%28LANG%28%3Fnotation_label%29%20%3D%20%22en%22%29%7D%0A%20%20%7D%0A%20%20GROUP%20BY%20%3Fitem%0A%7D%0AORDER%20BY%20DESC%28%3Fname%29 Table of notable numbers]
*[https://query.wikidata.org/embed.html#SELECT%20%3Fitem%20%3FitemLabel%20%3Fvalue%20%3FvalueLabel%0A%7B%0A%09%3Fitem%20wdt%3AP829%20%3Fvalue%20.%0A%09SERVICE%20wikibase%3Alabel%20%7B%20bd%3AserviceParam%20wikibase%3Alanguage%20%22en%2Cen%22%20%20%7D%20%20%20%20%0A%7D%0ALIMIT%201000 Uses of OEIS ID]

Error detection: please make sure the query below returns zero results, and fix any item that appears.
*[https://query.wikidata.org/#%23%20Numbers%20that%20are%20wrongly%20defined%20as%20a%20subclass%20of%20something.%0ASELECT%20%2a%20WHERE%20%7B%0A%20%20SELECT%0A%20%20%20%20%28SAMPLE%28%3Fitem%29%20as%20%3Fitem%29%0A%20%20%20%20%28SAMPLE%28%3Fen_label%29%20as%20%3Fname%29%0A%20%20%20%20%28GROUP_CONCAT%28DISTINCT%20%3Fen_class_label%3B%20SEPARATOR%20%3D%20%22%2C%20%22%29%20AS%20%3Fsubclass_of%29%0A%20%20WHERE%20%7B%0A%20%20%20%20%3Fitem%20p%3AP31%2Fps%3AP31%2Fwdt%3AP279%2a%20wd%3AQ11563.%0A%20%20%20%20%3Fitem%20p%3AP279%2Fps%3AP279%20%3Fclass.%0A%20%20%20%20OPTIONAL%20%7B%3Fitem%20rdfs%3Alabel%20%3Fen_label.%20FILTER%28LANG%28%3Fen_label%29%20%3D%20%22en%22%29%7D%0A%20%20%20%20OPTIONAL%20%7B%3Fclass%20rdfs%3Alabel%20%3Fen_class_label.%20FILTER%28LANG%28%3Fen_class_label%29%20%3D%20%22en%22%29%7D%0A%20%20%7D%0A%20%20GROUP%20BY%20%3Fitem%0A%7D%0AORDER%20BY%20DESC%28%3Fname%29 Numbers that are defined as a sub-class of something].
*[[Wikidata:Lists/prime numbers|list of prime numbers]]
*[[Wikidata:Lists/Mersenne numbers|list of Mersenne numbers and Mersenne primes]]
*[[Wikidata:Lists/factorization of numbers|list of dates of factorization]]

==Properties==
''See also:'' [https://w.wiki/7KfT List of properties related to mathematics] (SPARQL query), [[Template:Mathematics properties]] (manually curated), [https://w.wiki/7KgR List of mathematics-related Wikidata properties by usage count] (SPARQL query) and [[Wikidata:List of properties/mathematics]] (bot-generated list)

=== Properties used in Wikipedia ===
The following properties are available in Wikipedia, Wikiversity, and other Wikimedia wikis and are displayed when clicking on the annotated formulae. See [[w:Help:Displaying_a_formula#Semantics_and_links]] for a more detailed documentation. The assumption when implementing the semantics feature in [[mw:Extension Math]] was that relations or formulae like the Mass-Energy-Equivalence are annotated on Wikidata. 

{{List of properties/Header}}
{{List of properties/Row|id=2534|example-subject=Q191785|example-object=<math>PV=nRT</math>}}
{{List of properties/Row|id=527|example-subject=Q191785|example-object=Q39552}}
{{List of properties/Row|id=416}}
{{List of properties/Footer}}

=== General Properties ===
As opposed to the properties above that are used for semantic annotations in Wikipedia the following properties are used under the assumption that the corresponding wikidata item defines a mathematical/physical concept which has a definiendum that can be derived (calculated from) other symbols. 

{{List of properties/Header}}
{{List of properties/Row|id=2534}}
{{List of properties/Row|id=7235}}
{{List of properties/Row|id=7973}}
{{List of properties/Row|id=4934}}
{{List of properties/Row|id=2210|example-subject=Q5427183|example-object=Q868454 |example-property = P527|example-predicate = Q11471}}
{{List of properties/Row|id=2579|example-subject=Q24262840|example-object=Q11216}}
{{List of properties/Row|id=1552|example-subject=Q11538|example-object=Q1047000}}
{{List of properties/Row|id=913}}
{{List of properties/Row|id=2384|example-subject=Q11518|example-object=Q158688}}
{{List of properties/Row|id=2577}}
{{List of properties/Row|id=7719}}
{{List of properties/Row|id=12457|example-subject=Q722659|example-object=Q303100}}
{{List of properties/Footer}}

=== Numbers === 
{{List of properties/Header}}
{{List of properties/Row|id=1181|example-subject=Q41690|example-object=1,6180339887±0,0000000001}}
{{List of properties/Row|id=5236}}
{{List of properties/Row|id=5135}}
{{List of properties/Row|id=5136}}
{{List of properties/Row|id=7316}}
{{List of properties/Row|id=3264}}
{{List of properties/Footer}}

=== Mathematicans and Mathematical History === 
{{List of properties/Header}}
{{List of properties/Row|id=61|example-subject=Q203586|example-object=Q81082}}
{{List of properties/Row|id=575|example-subject=Q868454|example-object=1768}}
{{List of properties/Row|id=138|example-subject=Q868454|example-object=Q7604}}
{{List of properties/Row|id=1318|example-subject=Q203586|example-object=Q117346}}
{{List of properties/Row|id=1136}}
{{List of properties/Row|id=144|example-subject=Q2039117|example-object=Q11518}}
{{List of properties/Row|id=2021}}
{{List of properties/Row|id=6835}}
{{List of properties/Footer}}

=== Sets, Algebras, and Topology ===
{{List of properties/Header}}
{{List of properties/Row|id=2820}}
{{List of properties/Row|id=1164|example-subject=Q2204630|example-object=6}}
{{List of properties/Row|id=8864}}
{{List of properties/Row|id=8866}}
{{List of properties/Row|id=8865}}
{{List of properties/Row|id=4330|example-subject=Q12507|example-object=Q64851287}}
{{List of properties/Row|id=2670|example-subject=Q26851380|example-object=Q12916}}
{{List of properties/Row|id=7391}}
{{List of properties/Row|id=12322|example-subject=Q180953|example-object=Q1194053}}
{{List of properties/Footer}}

To model whether a set is open or closed, use 
* {{Statement|Q26851380|P1552|Q60644734}}

For a class item that is a union of other items, use
* {{Statement|Q12916|P2737|Q23766486|P642|{{Q|607728}}, {{Q|1244890}}, {{Q|12503}}}},
* {{Statement|Q12916|P2738|Q23766486|P642|{{Q|607728}}, {{Q|1244890}}}}.

=== Knots and Links ===
{{List of properties/Header}}
{{List of properties/Row|id=11035}}
{{List of properties/Row|id=5350}}
{{List of properties/Row|id=5351}}
{{List of properties/Row|id=5352}}
{{List of properties/Row|id=6432}}
{{List of properties/Row|id=8378}}
{{List of properties/Row|id=8416}}
{{List of properties/Row|id=11034}}
{{List of properties/Footer}}

=== Methods and Algorithms ===
{{List of properties/Header}}
{{List of properties/Row|id=2159}}
{{List of properties/Row|id=9030}}
{{List of properties/Row|id=2283|example-subject=Q1826712|example-object=Q17007827}}
{{List of properties/Row|id=1171|example-subject=Q167|example-object=Q2448949}}
{{List of properties/Row|id=10374}}
{{List of properties/Row|id=3753}}
{{List of properties/Row|id=3754}}
{{List of properties/Row|id=3752}}
{{List of properties/Row|id=3756}}
{{List of properties/Row|id=3757}}
{{List of properties/Row|id=3755}}
{{List of properties/Row|id=8558}}
{{List of properties/Footer}}

The following are also useful for iterative numerical methods
* {{Statement|Q868454|P1552|Q97940482|P1181|"1"}} 
* {{Statement|Q868454|P1552|Q98293869|P1114|"1"}} ({{Q+|98293869}})
* {{Statement|Q868454|P1552|Q97672364|P1114|"1"}} ({{Q+|97672364}})
* {{Statement|Q2736820|P1552|Q277932}}
* {{Statement|Q868454|P6477|Q65926322}}

=== Functions ===
{{List of properties/Header}}
{{List of properties/Row|id=1568|example-subject=Q3075175|example-object=Q12916}}
{{List of properties/Row|id=1571|example-subject=Q3075175|example-object=Q12916}}
{{List of properties/Row|id=2396}}
{{List of properties/Row|id=1851}}
{{List of properties/Row|id=10731}}
{{List of properties/Row|id=10969}}
{{List of properties/Footer}}

Several properties of functions are modeled in Wikdata using the {{P|1552}} and {{P|6477}} properties. 

* {{Statement|Q1256164|P1552|Q60644809}}
* {{Statement|Q168698|P1552|Q78056921}}
* {{Statement|Q1256164|P6477|Q78056921}}
* {{Statement|Q3075175|P1552|Q1315869|P1181|"1"}}

To specify symmetry, use
* {{Statement|Q1256164|P31|Q12138960}}
* {{Statement|Q152415|P31|Q18088516}}

=== Geometry ===
{{List of properties/Header}}
{{List of properties/Row|id=1312|example-subject=Q178296|example-object=Q127840}}
{{List of properties/Row|id=1678|example-subject=Q847941|example-object=Q209}}
{{List of properties/Row|id=3263}}
{{List of properties/Row|id=6438}}
{{List of properties/Row|id=1322|example-subject=Q812880|example-object=Q188884}}
{{List of properties/Row|id=3228}}
{{List of properties/Row|id=3228}}
{{List of properties/Row|id=12457|example-subject=Q18015071|example-object=Q5986738}}
{{List of properties/Footer}}

=== Probability ===

{{List of properties/Header}}
{{List of properties/Row|id=10732}}
{{List of properties/Row|id=10736}}
{{List of properties/Row|id=}}
{{List of properties/Row|id=10737}}
{{List of properties/Row|id=10738}}
{{List of properties/Row|id=10739}}
{{List of properties/Row|id=10740}}
{{List of properties/Row|id=10743}}
{{List of properties/Row|id=10744}}
{{List of properties/Row|id=10745}}
{{List of properties/Row|id=10746}}
{{List of properties/Row|id=10747}}
{{List of properties/Row|id=10735}}
{{List of properties/Row|id=10734}}
{{List of properties/Row|id=10733}}
{{List of properties/Row|id=10731}}
{{List of properties/Footer}}


=== Graph theory ===

{{List of properties/Header}}
{{List of properties/Row|id=7462}}
{{List of properties/Row|id=8986}}
{{List of properties/Row|id=7391}}
{{List of properties/Row|id=12934}}
{{List of properties/Footer}}

===External Identifiers===
{{List of properties/Header}}
{{List of properties/Row|id=829|example-subject=Q207264|example-object=A000215}}
{{List of properties/Row|id=549|example-subject=Q19945928|example-object=8691}}
{{List of properties/Row|id=1556|example-subject=Q19945928|example-object=ion.patrick-d-f}}
{{List of properties/Row|id=894|example-subject=Q21707079|example-object=1147.91001}}
{{List of properties/Row|id=2812|example-subject=Q1445491|example-object=Aleph-0}}
{{List of properties/Row|id=4215|example-subject=Q369377|example-object=total order}}
{{List of properties/Row|id=6781|example-subject=Q1506253|example-object=Euclid's Theorem}}
{{List of properties/Row|id=7554|example-subject=Q190546|example-object=Cauchy_Schwarz_inequality}}
{{List of properties/Row|id=889|example-subject=Q21707170|example-object=50248}}
{{List of properties/Footer}}

==Polytopes==

{| class="wikitable sortable"
! Root item
! Query
! Query description
! Count date
! Count quantity
! Count link
|-
| {{Q|747980}}
| tree[747980][][279]
| subclasses
| 2014-10-07
| 813
| [http://tools.wmflabs.org/wikidata-todo/autolist2.php?language=en&project=wikipedia&category=&depth=12&wdq=tree%5B747980%5D%5B%5D%5B279%5D&mode=undefined&statementlist=&run=Run&label_contains=&label_contains_not=&chunk_size=10000 autolist2]
[http://tools.wmflabs.org/wikidata-todo/tree.html?q=747980&rp=279&lang=de tree]
|-
| {{Q|26401}}
| web[26401][1312]
| polytopes with property "has facet polytope" (direct, not inherited)
| 2014-10-07
| 534
| [http://tools.wmflabs.org/wikidata-todo/autolist2.php?language=en&project=wikipedia&category=&depth=12&wdq=web%5B26401%5D%5B1312%5D&mode=undefined&statementlist=&run=Run&label_contains=&label_contains_not=&chunk_size=10000 autolist2]
[http://tools.wmflabs.org/wikidata-todo/tree.html?q=26401&rp=1312&lang=de tree]
|}

==Participants==
{{Participants}}

==Userbox==
*See: [[Wikidata:Userboxes]]

{{User mathematics}}
{{-}}

== Subpages ==
This WikiProject has the following subpages:
{{Special:PrefixIndex/Wikidata:WikiProject Mathematics/|hideredirects=0 |stripprefix=1}}

==Related WikiProjects==

===Wikidata===
*Shared symmetry properties (crystallography):
:*[[Wikidata:WikiProject Mineralogy]] -
:*[[Wikidata:WikiProject Chemistry]]
*[[Wikidata:WikiProject Informatics]]
*[[Wikidata:WikiProject Physics]]

{{Mathematics properties}}

[[Category:Science WikiProjects|Mathematics]]
[[Category:Properties list in a WikiProject|Mathematics]]