SHMARQL

ProofWiki ID

<http://www.wikidata.org/entity/P6781>

wikibase:Property
identifier for a ProofWiki article
rdfs:label
"ProofWiki ID"@en
skos:altLabel
"Proof Wiki ID"@en
schema:description
"identifier for a ProofWiki article"@en
schema:dateModified "2026-09-28T11:41:04+00:00"^^xsd:dateTime
schema:version 2550467231
wikibase:claim p:P6781
wikibase:directClaim wdt:P6781
wikibase:directClaimNormalized p:direct-normalized/P6781
wikibase:novalue p:novalue/P6781
wikibase:propertyType wikibase:ExternalId
wikibase:qualifier p:qualifier/P6781
wikibase:qualifierValue p:qualifier/value/P6781
wikibase:qualifierValueNormalized p:qualifier/value-normalized/P6781
wikibase:reference p:reference/P6781
wikibase:referenceValue p:reference/value/P6781
wikibase:referenceValueNormalized p:reference/value-normalized/P6781
wikibase:statementProperty p:statement/P6781
wikibase:statementValue p:statement/value/P6781
wikibase:statementValueNormalized p:statement/value-normalized/P6781
wikibase:statements 28
p:P1552 wd:statement/P6781-1A629A8E-BE51-4570-BA08-8BCE9375B153
p:P1630 wd:statement/P6781-8f4e1c82-4b18-3d5a-95fb-8ef3140ff509
p:P1659 wd:statement/P6781-0c463c16-cadc-4722-a793-2e5d33483d74
wd:statement/P6781-8cee9c71-4dcf-1268-9e41-29155e2a74cb
wd:statement/P6781-A398ADC5-F74C-4BD5-A8A9-89CA5C2C96DA
p:P1793 wd:statement/P6781-38bd6a58-4bd6-0698-bda5-241b94467ca9
p:P1855 wd:statement/P6781-05985f75-429a-015d-23fb-42bf190d34c1
wd:statement/P6781-2f6fa1ef-417b-1cc3-e984-910903802ac4
wd:statement/P6781-6c67bff2-49b8-64d1-e306-4ceaf046a1f4
wd:statement/P6781-83cdaff0-4b0d-fc03-b765-c94e953ce8ba
wd:statement/P6781-baa425ad-40ea-875d-4314-83409c639ec5
wd:statement/P6781-e9cb1310-4089-874a-233e-66c70a4d9ef0
p:P1896 wd:statement/P6781-4dc517d6-4c80-fed3-f463-b518acc8f4af
p:P2302 wd:statement/P6781-078ae8a6-4317-0857-fef7-3a1c4f1fd04b
wd:statement/P6781-13F3E308-89C0-42B8-8D7A-871F41B9A2EB
wd:statement/P6781-29aee069-413c-b2fc-f022-26ec443190f8
wd:statement/P6781-339f39e8-4beb-c599-baae-ed27a634714c
wd:statement/P6781-3ccfa778-47c2-39cc-b24b-1afd6c62c2e4
wd:statement/P6781-7616DC60-AD99-4059-B0CF-CC4A846ABF07
wd:statement/P6781-8bcc0435-44a7-43ef-6864-409aa04af5ef
wd:statement/P6781-d5dcab4d-4c1e-6595-ea99-bdbc7425b36c
p:P2668 wd:statement/P6781-b7f311d6-41fa-b8b2-4229-081558d206e5
p:P31 wd:statement/P6781-17c42cf2-410e-addf-4c72-0911818ed4c9
wd:statement/P6781-8afa0b8f-4012-7f72-cfef-15e08ef0827a
p:P3254 wd:statement/P6781-691b2292-499b-6a10-c0c9-0a7bceef9c94
p:P6104 wd:statement/P6781-400C2AB6-4CDF-4DD3-BDF7-40D30D057014
p:P8966 wd:statement/P6781-a1c34d4f-4f6b-c7a6-4592-e51cd66c8343
p:P9073 wd:statement/P6781-68083B2D-5595-48A3-8482-E715CE212795
wdt:P1552 MediaWiki page title
wdt:P1630 "https://proofwiki.org/wiki/$1"
wdt:P1659 Mathlib Declaration ID
MathWorld ID
Encyclopedia of Mathematics article ID
wdt:P1793 "\S{1,100}"
wdt:P1855 Euclid's theorem
Elements
axiom of choice
abelian group
Évariste Galois
Banach–Tarski paradox
wdt:P1896 <https://proofwiki.org/>
wdt:P2302 label in language constraint
description in language constraint
single-value constraint
format constraint
distinct-values constraint
subject type constraint
allowed-entity-types constraint
property scope constraint
wdt:P2668 sometimes changes
wdt:P31 Wikidata property linking to articles in MediaWiki websites
Wikidata property related to mathematics
wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/ProofWiki_ID>
wdt:P6104 WikiProject Mathematics
wdt:P8966 "^https?:\/\/proofwiki\.org\/wiki\/(\S{1,100})"
wdt:P9073 ProofWiki
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata