@prefix p: <http://www.wikidata.org/prop/> .
@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 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:Q792536 rdfs:label "esquema d'axioma"@ca,
        "Axiomenschema"@de,
        "axiom schema"@en,
        "aksiomskemo"@eo,
        "schéma d'axiomes"@fr,
        "Aksiomska shema"@hr,
        "schema di assiomi"@it,
        "公理図式"@ja,
        "공리형"@ko,
        "аксиомна шема"@mk,
        "axiomaschema"@nl,
        "Schemat aksjomatu"@pl,
        "схема аксиом"@ru,
        "aksiomska shema"@sl,
        "Аксіомна схема"@uk,
        "公理模式"@zh ;
    schema1:dateModified "2026-02-01T17:56:50+00:00"^^xsd:dateTime ;
    schema1:description "a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear"@en,
        "en logique mathématique, notion qui généralise celle d'axiome"@fr,
        "formula di un metalinguaggio usata per costruire un insieme di formule ben formate che si intende includere tra gli assiomi di una teoria logica"@it,
        "formula v metajeziku aksiomskega sistema, v kateri se pojavi ena ali več shematskih spremenljivk"@sl ;
    schema1:version 2459825451 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 11 ;
    wikibase:statements 5 ;
    skos:altLabel "esquema d'axiomes"@ca,
        "axiom schemas"@en,
        "axiom schemata"@en,
        "公理スキーマ"@ja,
        "公理型"@ja,
        "axioma-schema"@nl ;
    p:P10376 wds:Q792536-c4e5ab19-468b-1fe4-39c0-76b99c534096 ;
    p:P11514 wds:Q792536-78E063FE-9AE3-4D51-BDC5-3FEC11DDF118 ;
    p:P279 wds:Q792536-357D78CD-7AE5-47E9-B184-C2C302405775 ;
    p:P6366 wds:Q792536-EDC3E796-552B-4118-935F-FD2765775BA4 ;
    p:P646 wds:Q792536-6FAA07D2-2784-4941-B59B-FB96AB406AD4 ;
    wdtn:P6366 <https://makg.org/entity/8245965> ;
    wdt:P10376 "mathematics/axiom-schema" ;
    wdt:P11514 "skhema-aksiom-df23d9" ;
    wdt:P279 wd:Q1924819 ;
    wdt:P6366 "8245965" ;
    wdt:P646 "/m/039jd5" .