@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:Q360812 rdfs:label "صِحَّة الخوارزمية"@ar,
        "správnost"@cs,
        "Korrektheit"@de,
        "correctness"@en,
        "ĝusteco de algoritmo"@eo,
        "Correctitud"@es,
        "صحت (علوم رایانه)"@fa,
        "correction d'un algorithme"@fr,
        "beachtas"@ga,
        "helyesség"@hu,
        "正当性"@ja,
        "정확성"@ko,
        "poprawność algorytmu"@pl,
        "corretude"@pt,
        "pravilnost"@sl,
        "Исправност (рачунарство)"@sr,
        "doğruluk"@tr,
        "正确性"@zh,
        "部分正确性"@zh-cn,
        "形式正确性原则"@zh-hans,
        "部分正確性"@zh-hant ;
    schema1:dateModified "2026-09-12T23:01:56+00:00"^^xsd:dateTime ;
    schema1:description "يتم تأكيد صحة الخوارزمية عندما يُقال إن الخوارزمية صحيحة فيما يتعلق بالمواصفات. تشير الدقة الوظيفية إلى سلوك المدخلات والمخرجات للخوارزمية (أي لكل إدخال ينتج عنه الناتج المتوقع)"@ar,
        "quality of an algorithm being correct with respect to a specification"@en,
        "egy algoritmusra vonatkozóan, valamely specifikáció szempontjából"@hu ;
    schema1:version 2544769393 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 15 ;
    wikibase:statements 5 ;
    skos:altLabel "الصِّحة (علوم الحاسوب)"@ar,
        "Partielle Korrektheit"@de,
        "Totale Korrektheit"@de,
        "correctness (computer science)"@en,
        "cirte"@ga,
        "cruinneas"@ga,
        "Poprawność całkowita"@pl,
        "形式正确性原则"@zh,
        "正确性 (计算机科学)"@zh,
        "部分正确性"@zh,
        "形式正确性原则"@zh-cn,
        "部分正确性"@zh-hans,
        "形式正確性原則"@zh-hant ;
    p:P10283 wds:Q360812-0EAA1B2D-BBE3-442C-AD6D-19F1807B6B17 ;
    p:P1269 wds:Q360812-812d2f26-476d-41b9-35c1-8193863a90a1 ;
    p:P279 wds:Q360812-34d77d71-4afe-f988-da60-5ace577f3f45 ;
    p:P6366 wds:Q360812-BC5ACF2F-E511-439E-AE8E-40BDF737ED67 ;
    p:P646 wds:Q360812-856935D7-13FD-4924-97C5-0B0C0FEAA97A ;
    wdtn:P6366 <https://makg.org/entity/55439883> ;
    wdt:P10283 "C55439883" ;
    wdt:P1269 wd:Q21198 ;
    wdt:P279 wd:Q1207505 ;
    wdt:P6366 "55439883" ;
    wdt:P646 "/m/01_0xk" .