@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:Q1049183 rdfs:label "طريقة شكلية"@ar,
        "formal metodlar"@az,
        "фармальныя метады"@be,
        "фармальныя мэтады"@be-tarask,
        "formale Methode"@de,
        "formal methods"@en,
        "formala metodo"@eo,
        "método formal"@es,
        "metodo formalak"@eu,
        "روشهای صوری"@fa,
        "méthode formelle"@fr,
        "métodos formais"@gl,
        "מתודות פורמליות"@he,
        "formális módszerek"@hu,
        "metoda formal"@id,
        "metodo formale"@it,
        "形式手法"@ja,
        "정형 기법"@ko,
        "formalūs metodai"@lt,
        "kaedah formal"@ms,
        "formelle metoder"@nb,
        "formele methoden"@nl,
        "metody formalne"@pl,
        "métodos formais"@pt,
        "формальные методы"@ru,
        "metodat formale"@sq,
        "формалне методе"@sr,
        "formella metoder"@sv,
        "biçimsel yöntemler"@tr,
        "формальні методи"@uk,
        "các phương pháp hình thức"@vi,
        "形式化方法"@yue,
        "形式化方法"@zh,
        "形式化方法"@zh-hans,
        "形式化方法"@zh-hant,
        "形式化方法"@zh-hk ;
    schema1:dateModified "2026-10-30T22:41:55+00:00"^^xsd:dateTime ;
    schema1:description "مواصفات البرنامج الرياضي التي تهدف إلى السماح بإثباتات الصحة، بما في ذلك الخوارزميات"@ar,
        "mathematical program specification intended to allow correctness proofs, including algorithmically"@en,
        "techniques de raisonnement mathématique sur des programmes ou du matériel informatique"@fr,
        "insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware"@it,
        "matematisk programspesifikasjon ment å tillate korrekthetsbevis, inkludert algoritmisk"@nb,
        "специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно"@uk ;
    schema1:version 2562766203 ;
    wikibase:identifiers 12 ;
    wikibase:sitelinks 27 ;
    wikibase:statements 20 ;
    skos:altLabel "фармальны мэтад"@be-tarask,
        "formale Methoden"@de,
        "Metodo formal"@es,
        "Metodos formales"@es,
        "Métodos formales"@es,
        "توابع رسمی"@fa,
        "توابع صوری"@fa,
        "روش های رسمی"@fa,
        "روش های صوری"@fa,
        "methode formelle"@fr,
        "méthodes formelles"@fr,
        "שיטות פורמליות"@he,
        "metodi formali"@it,
        "フォーマルメソッド"@ja,
        "形式的手法"@ja,
        "정형기법"@ko,
        "형식 수법"@ko,
        "형식수법"@ko,
        "formele methode"@nl,
        "Método formal"@pt,
        "形式方法"@zh ;
    p:P10283 wds:Q1049183-95005DA8-53BE-4777-9CDC-1AFEECECE4EC ;
    p:P10565 wds:Q1049183-BECAF3E3-042C-44B6-92BC-CC084D7F83AD ;
    p:P1245 wds:Q1049183-95D0CD76-040C-48E1-B55B-1745F202DF8B ;
    p:P144 wds:Q1049183-a8792826-4df6-cf25-478b-b847ff633409,
        wds:Q1049183-f1aade52-4fc6-ff31-0f09-64c687744e42 ;
    p:P14541 wds:Q1049183-EFFAA02C-5994-48A8-8188-9BD110A6D23B ;
    p:P1482 wds:Q1049183-1ae2c58b-4dad-9554-16f2-944f12481ee9,
        wds:Q1049183-8a71ccc4-45b3-3825-a79b-a58e54ff0ec1 ;
    p:P279 wds:Q1049183-62c55fa6-4643-2bd1-4c15-5d2938abca29 ;
    p:P31 wds:Q1049183-6529c6fc-4486-132c-488b-755f998df884 ;
    p:P3417 wds:Q1049183-3EB9D6A2-F647-4FC8-8FC1-C4EC12A66D69 ;
    p:P373 wds:Q1049183-E14162BF-2FD0-42DB-9AC2-2271C92B37A3 ;
    p:P3984 wds:Q1049183-1826b642-4265-fc06-782f-b69ffe05348a ;
    p:P4073 wds:Q1049183-3ad4f22b-471c-f764-deed-dfd789275bca ;
    p:P508 wds:Q1049183-7CA96ACC-633E-4124-9255-7C694AB298CC ;
    p:P5106 wds:Q1049183-B5284C8E-E202-4467-822A-91548D8F61FB ;
    p:P6366 wds:Q1049183-A2F809FB-0D62-4E5C-B7C1-C489B195853E ;
    p:P646 wds:Q1049183-F4A8BE4E-234A-4775-B967-10442FA54443 ;
    p:P8408 wds:Q1049183-5C77414F-1E7B-4172-A151-FF97640592EF ;
    p:P910 wds:Q1049183-F650C496-86A7-4922-8E62-DC560A8875C3 ;
    wdtn:P508 <http://purl.org/bncf/tid/60444> ;
    wdtn:P6366 <https://makg.org/entity/75606506> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/FormalMethod> ;
    wdt:P10283 "C75606506" ;
    wdt:P10565 "584451" ;
    wdt:P1245 "981295" ;
    wdt:P144 wd:Q395,
        wd:Q8078 ;
    wdt:P14541 "Rwcbx" ;
    wdt:P1482 <https://cs.stackexchange.com/tags/formal-methods>,
        <https://stackoverflow.com/tags/formal-methods> ;
    wdt:P279 wd:Q1799072 ;
    wdt:P31 wd:Q2465832 ;
    wdt:P3417 "Formal-Methods" ;
    wdt:P373 "Formal methods" ;
    wdt:P3984 "formalmethods" ;
    wdt:P4073 "formalmethods" ;
    wdt:P508 "60444" ;
    wdt:P5106 "formalmethod" ;
    wdt:P6366 "75606506" ;
    wdt:P646 "/m/015gnd" ;
    wdt:P8408 "FormalMethod" ;
    wdt:P910 wd:Q8466124 .