@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:Q173326 rdfs:label "التحقق الرسمي"@ar,
        "Verificació formal"@ca,
        "formální verifikace"@cs,
        "Τυπική επαλήθευση"@el,
        "formal verification"@en,
        "formala kontrolado"@eo,
        "verificación formal"@es,
        "egiaztapen formala"@eu,
        "درستییابی صوری"@fa,
        "vérification formelle"@fr,
        "אימות תוכנה"@he,
        "verifica formale"@it,
        "形式的検証"@ja,
        "형식 검증"@ko,
        "формална проверка"@mk,
        "weryfikacja formalna"@pl,
        "verificação formal"@pt,
        "Формальная верификация"@ru,
        "formálna verifikácia"@sk,
        "formalna verifikacija"@sl,
        "Формална верификација"@sr,
        "Formell verifiering"@sv,
        "program doğrulama"@tr,
        "Формальна верифікація"@uk,
        "形式验证"@zh ;
    schema1:dateModified "2026-11-11T10:35:04+00:00"^^xsd:dateTime ;
    schema1:description "acte de demostrar o refutar la correcció dels algorismes previstos"@ca,
        "act of proving or disproving the correctness of intended algorithms"@en,
        "dokazovanie alebo vyvracanie správnosti systému voči formálnej špecifikácii matematickými metódami"@sk ;
    schema1:version 2567917459 ;
    wikibase:identifiers 8 ;
    wikibase:sitelinks 23 ;
    wikibase:statements 11 ;
    skos:altLabel "Program Doğrulama"@tr ;
    p:P10283 wds:Q173326-8981B8BE-755B-4564-9FD2-299A1B255699 ;
    p:P1889 wds:Q173326-05186B32-DE6B-4985-A129-427346F34976 ;
    p:P279 wds:Q173326-dec8451d-4388-ce19-bab2-f90be956d11b ;
    p:P3417 wds:Q173326-6D9CC70F-2E64-4B72-9E96-323A426AA6D7 ;
    p:P3712 wds:Q173326-d7da94f3-43d4-fec8-801f-c0b688312fc6 ;
    p:P3827 wds:Q173326-FC683FEB-65CB-4F2E-A6E5-9F4186E77305 ;
    p:P5106 wds:Q173326-F1D5788E-B682-45BA-9A30-FEDE977CA4FE ;
    p:P6366 wds:Q173326-080414E8-18DE-43BF-AC21-3DD3B5D26FA0 ;
    p:P646 wds:Q173326-7227B7B2-FE58-46F5-8CC3-20343AB95D19 ;
    p:P691 wds:Q173326-0174572B-0DDB-42B9-A563-36FA01D83A18 ;
    p:P8408 wds:Q173326-0F08FBEB-FF18-4414-9524-81125312E299 ;
    wdtn:P6366 <https://makg.org/entity/111498074> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/Verification> ;
    wdt:P10283 "C111498074" ;
    wdt:P1889 wd:Q16614594 ;
    wdt:P279 wd:Q953429 ;
    wdt:P3417 "Formal-Verification" ;
    wdt:P3712 wd:Q360812 ;
    wdt:P3827 "verifiability" ;
    wdt:P5106 "formalverf" ;
    wdt:P6366 "111498074" ;
    wdt:P646 "/m/01nswj" ;
    wdt:P691 "ph755479" ;
    wdt:P8408 "Verification" .