@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:Q649732 rdfs:label "نظام شكلي"@ar,
        "Aksiomatika"@az,
        "фармальная сыстэма"@be-tarask,
        "প্রথাগত ব্যবস্থা"@bn,
        "sistema formal"@ca,
        "formální systém"@cs,
        "Формаллĕ тытăм"@cv,
        "Formelt system"@da,
        "Formalsystem"@de,
        "Τυπικό σύστημα"@el,
        "formal system"@en,
        "formala sistemo"@eo,
        "sistema formal"@es,
        "formaalne süsteem"@et,
        "sistema formal"@eu,
        "سیستم صوری"@fa,
        "formaali järjestelmä"@fi,
        "système formel"@fr,
        "córas foirmeálta"@ga,
        "Siostam foirmeil"@gd,
        "sistema formal"@gl,
        "Formales System"@gsw,
        "מערכת פורמלית"@he,
        "logikai kalkulus"@hu,
        "Աքսիոմատիկ մեթոդ"@hy,
        "sistem formal"@id,
        "Formala sistemo"@io,
        "sistema formale"@it,
        "形式体系"@ja,
        "morna ciste"@jbo,
        "Формалды жүйе"@kk,
        "형식 체계"@ko,
        "Аксиоматикалык метод"@ky,
        "systema formale"@la,
        "sistem formal"@lfn,
        "dedukciniai samprotavimai"@lt,
        "формален систем"@mk,
        "Формал систем"@mn,
        "sistem formal"@ms,
        "formelt system"@nb,
        "formeel systeem"@nl,
        "formelt system"@nn,
        "ߞߊߒߞߋ ߛߎ߯ߦߊߟߌ"@nqo,
        "system formalny"@pl,
        "sistema formal"@pt,
        "sistema formal"@pt-br,
        "sistem axiomatic"@ro,
        "формальная система"@ru,
        "formalni sistem"@sl,
        "sistem formal"@sq,
        "логички систем"@sr,
        "formellt system"@sv,
        "ระบบรูปนัย"@th,
        "формальна система"@uk,
        "sistema formałe"@vec,
        "hệ hình thức"@vi,
        "形式系統"@yue,
        "形式系統"@zh ;
    schema1:dateModified "2026-10-04T06:09:34+00:00"^^xsd:dateTime ;
    schema1:description "System von Symbolketten und Regeln für deren Umwandlung"@de,
        "any well-defined system of abstract thought based on the model of mathematics"@en,
        "sistema matematico"@es,
        "Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema."@eu,
        "modélisation mathématique d'un langage"@fr,
        "כל מערכת מוגדרת היטב של מחשבה מופשטת המבוססת על מודל המתמטיקה"@he,
        "数学のモデルに基づき、明確に定義した抽象的思考の体系"@ja,
        "çdo sistem i mirëpërcaktuar i mendimit abstrakt bazuar në modelin e matematikës"@sq ;
    schema1:version 2552929921 ;
    wikibase:identifiers 14 ;
    wikibase:sitelinks 38 ;
    wikibase:statements 21 ;
    skos:altLabel "logical calculus"@en,
        "formaalsüsteem"@et,
        "loogiline arvutus"@et,
        "formális rendszer"@hu,
        "formális szabályrendszer"@hu,
        "Аксиомалық теорияның толықтығы"@kk,
        "systema typicum"@la,
        "formalsystem"@nn,
        "дедуктивная система"@ru,
        "формальная теория"@ru ;
    p:P10283 wds:Q649732-C5139212-612C-431F-AF76-95D9D13A67A3 ;
    p:P11514 wds:Q649732-0C28F43E-EA32-48A1-9DE3-10854C981EAE ;
    p:P1245 wds:Q649732-C4063847-9964-4563-8E43-FB02253E9716 ;
    p:P1417 wds:Q649732-87D4A3CD-3CAF-4E1D-9615-DB10330730A8,
        wds:Q649732-8894C6F1-9AC2-4D40-AC5B-5541DAA17A66 ;
    p:P1552 wds:Q649732-6b3dd842-41c1-e16d-e6b2-7a94d5bfcba4,
        wds:Q649732-6c97027f-495e-c984-f4ac-c8e40086a488 ;
    p:P1889 wds:Q649732-91589629-445d-0928-785e-180fae8cc711 ;
    p:P2079 wds:Q649732-1e1aaa82-4ee3-4964-e14a-e38101290da8 ;
    p:P2581 wds:Q649732-53414CD1-B8AA-4059-8B7E-57CE3C876656 ;
    p:P279 wds:Q649732-3e9bff86-48aa-60f6-e526-e4672a39953b ;
    p:P2924 wds:Q649732-977bb878-4d02-3810-9ba3-2d99eb2bd350 ;
    p:P31 wds:Q649732-5012893e-409e-4c63-8f7b-3fcf79ab1fe8 ;
    p:P3417 wds:Q649732-D1386793-FB0B-47AD-9B2C-D5F9B91051E9 ;
    p:P3827 wds:Q649732-8087C2D2-BDD5-4664-AE0A-2DDA667D482B ;
    p:P4746 wds:Q649732-FD69CCD2-3089-4274-8E01-C4FDDE70ED87 ;
    p:P6366 wds:Q649732-2CC54C04-7CE5-4114-82FF-4CB3AE107873 ;
    p:P646 wds:Q649732-6A53AEA3-956F-4C29-854E-D83357BB8FD2 ;
    p:P7993 wds:Q649732-EA990679-44C9-4BF7-8598-DA0034072297 ;
    p:P8408 wds:Q649732-AAFB2DE2-478A-4B4A-A90A-56E1F298307E ;
    p:P910 wds:Q649732-77B17560-D2C2-41FC-9EE0-0567B7C19E05 ;
    wdtn:P2581 <http://babelnet.org/rdf/s14401372n> ;
    wdtn:P6366 <https://makg.org/entity/102315432> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/FormalSystem> ;
    wdt:P10283 "C102315432" ;
    wdt:P11514 "formal-naia-sistema-303daf" ;
    wdt:P1245 "1098805" ;
    wdt:P1417 "topic/formal-system",
        "topic/logical-calculus" ;
    wdt:P1552 wd:Q1319773,
        wd:Q15846555 ;
    wdt:P1889 wd:Q792542 ;
    wdt:P2079 wd:Q5469988 ;
    wdt:P2581 "14401372n" ;
    wdt:P279 wd:Q3622126 ;
    wdt:P31 wd:Q96116695 ;
    wdt:P3417 "Formal-System" ;
    wdt:P3827 "formal-systems" ;
    wdt:P4746 "139742" ;
    wdt:P6366 "102315432" ;
    wdt:P646 "/m/0239v0" ;
    wdt:P7993 "sistema-formale" ;
    wdt:P8408 "FormalSystem" ;
    wdt:P910 wd:Q8466138 .