Wikidata:Property proposal/ProofWiki ID

ProofWiki ID

Originally proposed at Wikidata:Property proposal/Authority control

   Done: ProofWiki ID (P6781) (Talk and documentation)

Description	identifier for a ProofWiki article
Represents	ProofWiki (Q60760899)
Data type	External identifier
Domain	mathematical proofs, definitions, mathematicians, etc.
Allowed values	\S+
Example 1	Euclid's theorem (Q1506253) → Euclid's_Theorem
Example 2	Banach–Tarski paradox (Q737851) → Banach-Tarski_Paradox
Example 3	axiom of choice (Q179692) → Axiom:Axiom_of_Choice
Example 4	abelian group (Q181296) → Definition:Abelian_Group
Example 5	Évariste Galois (Q7091) → Mathematician:Évariste_Galois
Example 6	Elements (Q172891) → Book:Euclid/The_Elements
Source	https://proofwiki.org/
Formatter URL	https://proofwiki.org/wiki/$1
See also	MathWorld ID (P2812)

Motivation

ProofWiki is a wiki for mathematical proofs. Please see ProofWiki:About for more information. Stevenliuyi (talk) 01:07, 17 May 2019 (UTC)

Discussion

•  Support David (talk) 06:36, 17 May 2019 (UTC)
•  Support Misc (talk) 10:40, 17 May 2019 (UTC)
•  Support Niko.georgiev (talk) 07:07, 21 May 2019 (UTC)
•  Support Kristbaum (talk) 20:33, 25 May 2019 (UTC)

 Done @Niko.georgiev, Misc, ديفيد عادل وهبة خليل 2, Stevenliuyi: --Kristbaum (talk) 20:59, 25 May 2019 (UTC)