SHMARQL

Metamath statement ID

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

wikibase:Property
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
rdfs:label
"Metamath statement ID"@en
skos:altLabel "Metamath ieraksta identifikators"@lv
"Metamath teorēmas identifikators"@lv
schema:description
"unique identifier for a theorem, axiom or definition in the Metamath set.mm database"@en
schema:dateModified "2026-11-05T19:43:36+00:00"^^xsd:dateTime
schema:version 2565121437
wikibase:claim p:P12888
wikibase:directClaim wdt:P12888
wikibase:directClaimNormalized p:direct-normalized/P12888
wikibase:novalue p:novalue/P12888
wikibase:propertyType wikibase:ExternalId
wikibase:qualifier p:qualifier/P12888
wikibase:qualifierValue p:qualifier/value/P12888
wikibase:qualifierValueNormalized p:qualifier/value-normalized/P12888
wikibase:reference p:reference/P12888
wikibase:referenceValue p:reference/value/P12888
wikibase:referenceValueNormalized p:reference/value-normalized/P12888
wikibase:statementProperty p:statement/P12888
wikibase:statementValue p:statement/value/P12888
wikibase:statementValueNormalized p:statement/value-normalized/P12888
wikibase:statements 22
p:P1629 wd:statement/P12888-7c122a47-4a4f-5ec2-0d01-1c69772964a0
p:P1630 wd:statement/P12888-8a21c118-4970-4ac5-e5a6-935261cfd0c8
p:P1659 wd:statement/P12888-2db50378-f56e-4095-93f9-abfdaa2bb264
p:P1793 wd:statement/P12888-0909c3d3-4851-c169-b06a-a7b251ca0869
p:P1855 wd:statement/P12888-269db7ae-4045-9b92-50e6-ae0cd310aa0a
wd:statement/P12888-4c75df08-422d-0b07-c686-1b003d978b2f
wd:statement/P12888-c98b4952-4cac-63ec-6ff7-f0b8a101789a
wd:statement/P12888-e7e6bad7-44ec-79bc-b7d7-ba68167064ee
p:P1896 wd:statement/P12888-88a87275-4713-1c32-0b29-dbfcf51de01b
p:P2302 wd:statement/P12888-421EB053-1EB9-4F51-A166-4CC100F33B38
wd:statement/P12888-529B4BBF-7DB1-4490-8841-D69902D152C3
wd:statement/P12888-8C258855-40F9-469E-BDE5-BE8FA3181ECC
wd:statement/P12888-AF707CBD-E437-4D27-AD9A-68E9FA21683C
wd:statement/P12888-DCB09C53-68BD-4499-B84E-9C8459871173
wd:statement/P12888-DF2A654A-6EB8-474A-92FA-3D67D4CEC33F
p:P2429 wd:statement/P12888-05410948-4c08-3be5-b666-22479079e169
p:P31 wd:statement/P12888-322c1e55-41af-2775-a8d2-b9f65472970e
wd:statement/P12888-548c1b43-4d5c-890a-acdc-d17a732eabf7
wd:statement/P12888-c4d8d7d3-4d85-c087-10d3-bd86e778ddf3
p:P3254 wd:statement/P12888-f62b74a0-48b3-00d4-5f29-6a92cfaa1228
p:P4876 wd:statement/P12888-58148585-4643-837a-f673-17413f4d6d7c
p:P6104 wd:statement/P12888-950659e7-4122-501d-be82-77547636198c
wdt:P1629 Metamath
wdt:P1630 "https://us.metamath.org/mpeuni/$1.html"
wdt:P1659 Mathlib Declaration ID
wdt:P1793 "[-a-zA-Z0-9]+"
wdt:P1855 Cayley's theorem
birthday problem
modus ponens
functor
wdt:P1896 <https://us.metamath.org>
wdt:P2302 single-value constraint
format constraint
distinct-values constraint
subject type constraint
allowed-entity-types constraint
property scope constraint
wdt:P2429 eventually complete
wdt:P31 Wikidata property for authority control
Wikidata property related to mathematics
Wikidata property for an identifier that does not imply notability
wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/Metamath_statement_label>
wdt:P4876 45272.0^^xsd:decimal
wdt:P6104 WikiProject Mathematics
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata