View source for Testwiki:Property proposal/mathematical concept defining formula

=== {{TranslateThis | anchor = en
| en = mathematical concept defining formula
<!-- |xx = property names in some other languages -->
}} ===
{{Property proposal
|status			= not done
|description		= {{TranslateThis
 | en = mathematical formula representing the definition of a mathematical concept<!-- DESCRIPTION IN ENGLISH -->
<!-- | xx = descriptions in other languages -->
 }}
|subject item           = <!-- item corresponding to the concept represented by the property, if applicable; example: item child (Q7569) for property child (P40) -->
|infobox parameter	= <!-- Wikipedia infobox parameters, if any; ex: "population" in [[:en:template:infobox settlement]] -->
|datatype		= mathematical expression<!-- put datatype here (one of: item, external-id, string, media, coordinates, monolingual text, multilingual text, time, URL, number, geo-shape, tabular, lexeme, form, sense,  	mathematical expression, or a possibly new one) -->
|domain			= instances and subclasses of {{Q|Q24034552}}<!-- entity type (item, property, lexeme, form, sense) and types of items that may bear this property; give QIDs if possible -->
|allowed values		= <!-- type of linked items (Q template or text), string pattern (regex if possible), list or range of allowed values, etc. -->
|allowed units          = <!-- units that are allowed for values of this property -->
|source			= <!-- external reference URL, Wikipedia list article, etc. -->
|example		= {{Q|Q120812}} → <math> 
\left\{ \begin{array}{rl}
     x, & \text{if }  x \geq 0 \\
     -x, & \text{if } x < 0.
   \end{array}\right.
</math><br/>
{{Q|Q120812}} → <math>x \mathop{sgn}(x)</math>
<!-- {{Q|1}} → value -->
|planned use            = <!-- what use do you plan to make of the property within the next month -->
|number of ids          = <!-- for identifiers, the number of ids available from the source -->
|expected completeness  = <!-- for identifiers, the coverage we can hope for in Wikidata: Q21873886 (always incomplete) or Q21873974 (eventually complete) -->
|formatter URL		= <!-- for identifiers, URL pattern where $1 replaces the value -->
|external links         = <!-- for identifiers, search string to pass to sister projects' Special:LinkSearch pages, e.g. example.com  -->
|see also               = {{P|P2534}}<!-- other, related properties -->
|filter			= <!-- sample: 7 digit number can be validated with edit filter [[Special:AbuseFilter/17]] -->
|robot and gadget jobs	= <!-- Should or are bots or gadgets doing any task with this? (Checking other properties for consistency, collecting data, etc.) -->
|subpage		= mathematical concept definiting formula
|topic			= generic
}}

<h4>Motivation</h4>

{{P|P2534}} allows to add the formula that defines a mathematical statement, but currently there isn't a property to add the formula that defines a mathematical concept. [[User:Malore|Malore]] ([[User talk:Malore|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 18:00, 10 June 2018 (UTC)

<h4>{{int:Talk}}</h4>
{{Ping project|Mathematics}}
* {{comment}} I don't understand your distinction here regarding {{P|P2534}} - why can't you use it for such a purpose? Your example of absolute value certainly I would think {{P|P2534}} is appropriate and accurate as the property for? [[User:ArthurPSmith|ArthurPSmith]] ([[User talk:ArthurPSmith|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 18:41, 11 June 2018 (UTC)
:*{{Ping|ArthurPSmith}} The description of {{P|P2534}} says it is used for theorems and laws--[[Special:Contributions/87.17.216.218|87.17.216.218]] 21:05, 11 June 2018 (UTC)
::* Well that's certainly not how it's been used, I'd argue the description there is wrong then. See for example {{Q|19033}}. This should probably be discussed on the talk page for {{P|P2534}}. [[User:ArthurPSmith|ArthurPSmith]] ([[User talk:ArthurPSmith|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 17:55, 12 June 2018 (UTC)
*{{S}} [[User:ديفيد عادل وهبة خليل 2|David]] ([[User talk:ديفيد عادل وهبة خليل 2|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 16:21, 14 June 2018 (UTC)
*{{O}} per Arthur, just use {{P|2534}} - feel free to broaden its description and usage instructions to reflect that. − [[User:Pintoch|Pintoch]] ([[User talk:Pintoch|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 13:50, 15 June 2018 (UTC)

{{not done}} --[[User:Micru|Micru]] ([[User talk:Micru|<span class="signature-talk">{{int:Talkpagelinktext}}</span>]]) 16:57, 17 July 2018 (UTC)