@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:Q693083 rdfs:label "سلامة"@ar,
        "правільнасьць"@be-tarask,
        "solidesa"@ca,
        "ساغی"@ckb,
        "Korrektheit"@de,
        "soundness"@en,
        "ĝusteco"@eo,
        "solidez"@es,
        "صحت"@fa,
        "correction"@fr,
        "réasúntacht"@ga,
        "נאותות"@he,
        "Koreksyon"@ht,
        "helytállóság"@hu,
        "kesahihan (logika)"@id,
        "Rétt röksemdafærsla"@is,
        "correttezza"@it,
        "健全性"@ja,
        "건전성 정리"@ko,
        "Korrekheet"@lb,
        "Правилност"@mk,
        "korrekthet"@nb,
        "correctheid"@nl,
        "Correção"@pt,
        "corectitudine"@ro,
        "правильность"@ru,
        "pravilnost"@sl,
        "sund"@sv,
        "tutarlılık"@tr,
        "правильність"@uk,
        "coretesa"@vec,
        "可靠性定理"@zh ;
    schema1:dateModified "2026-10-20T16:40:14+00:00"^^xsd:dateTime ;
    schema1:description "تایبەتمەندیی بەڵگەھێنانەوەیەک کە بەبڕستە و پێشەکییەکانیشی ڕاستن"@ckb,
        "Konzept"@de,
        "logical term meaning that an argument is valid and its premises are true"@en,
        "concept"@fr,
        "logikai kifejezés, amely azt jelenti, hogy valamely argumentum érvényes és a premisszái is igazak"@hu,
        "istilah dalam ilmu logika yang menyatakan bahwa suatu argumen dianggap valid, dan premis yang terkandung adalah benar"@id,
        "concetto"@it,
        "論証が妥当であり、その前提が真であること"@ja,
        "논증이 타당하며 그 전제가 참인 것"@ko,
        "logica"@nl,
        "logică"@ro,
        "логический термин, означающий, что аргумент действителен и его посылки верны"@ru,
        "argümanın geçerli ve koyutlarının doğru olduğunu ifade eden terim"@tr,
        "邏輯術語，表示參數有效且其前提是真實的"@zh ;
    schema1:version 2559285015 ;
    wikibase:identifiers 5 ;
    wikibase:sitelinks 21 ;
    wikibase:statements 13 ;
    skos:altLabel "logical soundness"@en,
        "logically sound"@en,
        "sound"@en,
        "健全"@ja,
        "korrekt"@nb,
        "надёжность"@ru,
        "健全性"@zh,
        "可靠性"@zh,
        "嚴格性"@zh ;
    p:P10283 wds:Q693083-4698C7FD-C2CD-4EBB-B5BB-2FE11445E1E0 ;
    p:P1245 wds:Q693083-76A89239-AC3F-4770-B1F3-CC9446865F85 ;
    p:P13044 wds:Q693083-9DE05378-F3DE-4892-B5AE-3C73FD023168 ;
    p:P1382 wds:Q693083-3cda87db-4496-66f7-b4ce-88d832d1896b ;
    p:P1417 wds:Q693083-8B8107CF-5956-4B5C-AF06-A0DD588A40CB ;
    p:P1552 wds:Q693083-4df763a3-46a4-e116-9706-13028a88ae33 ;
    p:P1889 wds:Q693083-5ccdebff-4fef-de9c-a0a7-d5ea8dd032bd ;
    p:P31 wds:Q693083-0ded3c0b-415e-f693-66ef-a1f070f725c6 ;
    p:P361 wds:Q693083-f9b317ce-405a-4115-c937-5b4cf0eac5d9 ;
    p:P527 wds:Q693083-cf00e818-4e4c-e5c9-6a26-504ad78ddd9e,
        wds:Q693083-dda2ddc0-4446-28bb-5b2a-f7b42e4965d1 ;
    p:P6366 wds:Q693083-E4A55F9B-D7F3-4C9F-B42D-4138F701356C ;
    p:P646 wds:Q693083-A074A695-6188-45FA-AE48-07DC47283C26 ;
    wdtn:P6366 <https://makg.org/entity/39920170> ;
    wdt:P10283 "C39920170" ;
    wdt:P1245 "1223203" ;
    wdt:P13044 wd:Q186619 ;
    wdt:P1382 wd:Q18757 ;
    wdt:P1417 "topic/soundness-logic" ;
    wdt:P1552 wd:Q7949 ;
    wdt:P1889 wd:Q1047000 ;
    wdt:P31 wd:Q937228 ;
    wdt:P361 wd:Q7180613 ;
    wdt:P527 wd:Q1047000,
        wd:Q7949 ;
    wdt:P6366 "39920170" ;
    wdt:P646 "/m/06njx" .