@prefix p: <http://www.wikidata.org/prop/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wdno: <http://www.wikidata.org/prop/novalue/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:P12888 a wikibase:Property ;
    rdfs:label "ідэнтыфікатар сьцьверджаньня Metamath"@be-tarask,
        "identificador Metamath"@ca,
        "Metamath Statement-ID"@de,
        "Metamath statement ID"@en,
        "Metamath 서술 ID"@ko,
        "Metamath-Statement-ID"@lb,
        "Metamath apgalvojuma identifikators"@lv,
        "Metamath-identificatiecode"@nl,
        "Metamath statement ID"@sr,
        "Metamath statement ID"@sr-ec ;
    schema1:dateModified "2026-11-05T19:43:36+00:00"^^xsd:dateTime ;
    schema1:description "унікальны ідэнтыфікатар тэарэмы, аксіёмы ці азначэньня ў базе зьвестак Metamath"@be-tarask,
        "eindeutiger Bezeichner für ein Theorem, Axiom oder eine Definition in der Metamath set.mm Datenbank"@de,
        "unique identifier for a theorem, axiom or definition in the Metamath set.mm database"@en,
        "Metamath set.mm 데이터베이스 속 정리, 공리 또는 정의의 식별자"@ko,
        "unikāls teorēmas, aksiomas vai definīcijas identifikators Metamath datubāzē set.mm"@lv,
        "јединствени идентификатор за теорему, аксиом или дефиницију у бази података Metamath set.mm"@sr,
        "јединствени идентификатор за теорему, аксиом или дефиницију у бази података Metamath set.mm"@sr-ec ;
    schema1:version 2565121437 ;
    wikibase:claim p:P12888 ;
    wikibase:directClaim wdt:P12888 ;
    wikibase:directClaimNormalized wdtn:P12888 ;
    wikibase:novalue wdno:P12888 ;
    wikibase:propertyType wikibase:ExternalId ;
    wikibase:qualifier pq:P12888 ;
    wikibase:qualifierValue pqv:P12888 ;
    wikibase:qualifierValueNormalized pqn:P12888 ;
    wikibase:reference pr:P12888 ;
    wikibase:referenceValue prv:P12888 ;
    wikibase:referenceValueNormalized prn:P12888 ;
    wikibase:statementProperty ps:P12888 ;
    wikibase:statementValue psv:P12888 ;
    wikibase:statementValueNormalized psn:P12888 ;
    wikibase:statements 22 ;
    skos:altLabel "Metamath ieraksta identifikators"@lv,
        "Metamath teorēmas identifikators"@lv ;
    p:P1629 wds:P12888-7c122a47-4a4f-5ec2-0d01-1c69772964a0 ;
    p:P1630 wds:P12888-8a21c118-4970-4ac5-e5a6-935261cfd0c8 ;
    p:P1659 wds:P12888-2db50378-f56e-4095-93f9-abfdaa2bb264 ;
    p:P1793 wds:P12888-0909c3d3-4851-c169-b06a-a7b251ca0869 ;
    p:P1855 wds:P12888-269db7ae-4045-9b92-50e6-ae0cd310aa0a,
        wds:P12888-4c75df08-422d-0b07-c686-1b003d978b2f,
        wds:P12888-c98b4952-4cac-63ec-6ff7-f0b8a101789a,
        wds:P12888-e7e6bad7-44ec-79bc-b7d7-ba68167064ee ;
    p:P1896 wds:P12888-88a87275-4713-1c32-0b29-dbfcf51de01b ;
    p:P2302 wds:P12888-421EB053-1EB9-4F51-A166-4CC100F33B38,
        wds:P12888-529B4BBF-7DB1-4490-8841-D69902D152C3,
        wds:P12888-8C258855-40F9-469E-BDE5-BE8FA3181ECC,
        wds:P12888-AF707CBD-E437-4D27-AD9A-68E9FA21683C,
        wds:P12888-DCB09C53-68BD-4499-B84E-9C8459871173,
        wds:P12888-DF2A654A-6EB8-474A-92FA-3D67D4CEC33F ;
    p:P2429 wds:P12888-05410948-4c08-3be5-b666-22479079e169 ;
    p:P31 wds:P12888-322c1e55-41af-2775-a8d2-b9f65472970e,
        wds:P12888-548c1b43-4d5c-890a-acdc-d17a732eabf7,
        wds:P12888-c4d8d7d3-4d85-c087-10d3-bd86e778ddf3 ;
    p:P3254 wds:P12888-f62b74a0-48b3-00d4-5f29-6a92cfaa1228 ;
    p:P4876 wds:P12888-58148585-4643-837a-f673-17413f4d6d7c ;
    p:P6104 wds:P12888-950659e7-4122-501d-be82-77547636198c ;
    wdt:P1629 wd:Q6822975 ;
    wdt:P1630 "https://us.metamath.org/mpeuni/$1.html" ;
    wdt:P1659 wd:P14534 ;
    wdt:P1793 "[-a-zA-Z0-9]+" ;
    wdt:P1855 wd:Q179208,
        wd:Q339000,
        wd:Q655742,
        wd:Q864475 ;
    wdt:P1896 <https://us.metamath.org> ;
    wdt:P2302 wd:Q19474404,
        wd:Q21502404,
        wd:Q21502410,
        wd:Q21503250,
        wd:Q52004125,
        wd:Q53869507 ;
    wdt:P2429 wd:Q21873974 ;
    wdt:P31 wd:Q18614948,
        wd:Q22988631,
        wd:Q62589320 ;
    wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/Metamath_statement_label> ;
    wdt:P4876 45272.0 ;
    wdt:P6104 wd:Q8487137 .