@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:Q4055684 rdfs:label "منطق الرتبة الأولى"@ar,
        "лёгіка першага парадку"@be-tarask,
        "lògica de primer ordre"@ca,
        "predikátová logika prvního řádu"@cs,
        "Prädikatenlogik erster Stufe"@de,
        "Prädikatenlogik erster Stufe"@de-ch,
        "Λογική πρώτου βαθμού"@el,
        "first-order logic"@en,
        "First-order logic"@en-ca,
        "first-order logic"@en-gb,
        "unuaorda logiko"@eo,
        "lógica de primer orden"@es,
        "Lehen mailako lengoaia logiko"@eu,
        "منطق مرتبه اول"@fa,
        "logique du premier ordre"@fr,
        "lóxica de primeira orde"@gl,
        "שפה מסדר ראשון"@he,
        "elsőrendű logika"@hu,
        "Պրեդիկատների տրամաբանություն"@hy,
        "logika predikat tingkat pertama"@id,
        "Predikatala logiko"@io,
        "logica del primo ordine"@it,
        "一階述語論理"@ja,
        "1차 논리"@ko,
        "First-Order Logic"@mn,
        "første-ordens logikk"@nb,
        "eerste orde logica"@nl,
        "rachunek predykatów pierwszego rzędu"@pl,
        "د لومړي ترتیب منطق"@ps,
        "lógica de primeira ordem"@pt,
        "Lógica de primeira ordem"@pt-br,
        "logică de ordinul întâi"@ro,
        "логика первого порядка"@ru,
        "Логика првог реда"@sh,
        "logika prvega reda"@sl,
        "Логика првог реда"@sr,
        "Första ordningens logik"@sv,
        "ตรรกศาสตร์อันดับหนึ่ง"@th,
        "Lohika ng unang orden"@tl,
        "birinci dereceden mantık"@tr,
        "логіка першого порядку"@uk,
        "logic bậc nhất"@vi,
        "一阶逻辑"@zh,
        "一阶逻辑"@zh-hans,
        "一階邏輯"@zh-hant,
        "一階邏輯"@zh-tw ;
    schema1:dateModified "2026-10-23T11:11:23+00:00"^^xsd:dateTime ;
    schema1:description "Teilgebiet der mathematischen Logik: Familie logischer Systeme"@de,
        "collection of formal systems used in mathematics, philosophy, linguistics, and computer science."@en,
        "sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden"@es,
        "در منطق مرتبه اول جملاتی وجود دارد که از «متغیرهای سور داده شده» روی اشیای غیر منطقی استفاده میکند."@fa,
        "méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées"@fr,
        "koleksi sistem formal yang digunakan dalam bidang matematika, linguistik dan ilmu komputer"@id,
        "sistema formale usato in matematica, filosofia, linguistica e informatica"@it,
        "引数として変数を取る関数や述語の量化は許さず、個体のみの量化を許す述語論理のこと"@ja,
        "system logiczny"@pl,
        "sistema lógico que estende a lógica proposicional"@pt,
        "biçimsel mantık sistemleri ailesi"@tr,
        "使用於數學、哲學、語言學及電腦科學中的一種形式系統"@zh,
        "形式系统"@zh-hans ;
    schema1:version 2559954404 ;
    wikibase:identifiers 19 ;
    wikibase:sitelinks 39 ;
    wikibase:statements 28 ;
    skos:altLabel "logika prvního řádu"@cs,
        "FOL"@de,
        "Logik 1. Ordnung"@de,
        "Logik 1. Stufe"@de,
        "Logik erster Ordnung"@de,
        "Logik erster Stufe"@de,
        "PK1"@de,
        "FOL"@en,
        "first-order predicate calculus"@en,
        "predicate calculus"@en,
        "predicate logic"@en,
        "quantificational logic"@en,
        "quantified logic"@en,
        "cálculo de predicados"@es,
        "logica de predicados"@es,
        "lógica de predicados"@es,
        "lógica predicativa"@es,
        "حساب محمولات"@fa,
        "حساب گزارهای مرتبه اول"@fa,
        "منطق سوری"@fa,
        "منطق محمولات"@fa,
        "L1O"@fr,
        "calcul des prédicats"@fr,
        "calcul des prédicats du premier ordre"@fr,
        "calcul des relations"@fr,
        "logica del prim'ordine"@it,
        "teoria del primo ordine"@it,
        "første ordens logikk"@nb,
        "førsteordens logikk"@nb,
        "førsteordens predikatlogikk"@nb,
        "predikatlogikk"@nb,
        "predicaten logica"@nl,
        "predicatenlogica"@nl,
        "CPPO"@pt,
        "LPO"@pt,
        "cálculo de predicados de primeira ordem"@pt,
        "исчисление предикатов"@ru,
        "логика предикатов"@ru,
        "предикатная логика"@ru,
        "чистая логика предикатов"@ru,
        "чистая предикатная логика"@ru,
        "чистое исчисление предикатов"@ru,
        "predikatna logika"@sl,
        "logic vị từ"@vi,
        "luận lí bậc nhất"@vi,
        "luận lí vị từ"@vi,
        "luận lý bậc nhất"@vi,
        "luận lý vị từ"@vi,
        "lô-gíc bậc nhất"@vi,
        "lô-gíc vị từ"@vi,
        "lôgíc bậc nhất"@vi,
        "lôgíc vị từ"@vi,
        "phép tính vị từ bậc nhất"@vi,
        "一階邏輯"@zh,
        "謂詞邏輯"@zh,
        "谓词逻辑"@zh,
        "谓词逻辑"@zh-hans ;
    p:P10283 wds:Q4055684-32FF65D1-956C-4418-8DDA-AC4F301D62C1,
        wds:Q4055684-3673CE5A-05F7-4EE7-A754-E33E7ECF19F7 ;
    p:P10407 wds:Q4055684-2dd6816a-43b6-b96a-248d-773cbea7f7e6,
        wds:Q4055684-de617228-4f67-2993-3b42-1a69a8bfa4c8 ;
    p:P1343 wds:Q4055684-1440e9d3-3cd3-4b63-b089-f0919398afc6 ;
    p:P1417 wds:Q4055684-8A0914E4-87D1-45C1-A0DD-28025D7234E8 ;
    p:P1482 wds:Q4055684-2a439449-400a-089b-b614-6665628a37e0,
        wds:Q4055684-2a700fd7-4af2-20fb-fa20-ed7f892c9b24,
        wds:Q4055684-4e2323c7-4d04-6b6b-0317-07acac396d97,
        wds:Q4055684-507f21cf-421f-6453-c1ca-77b29e5969e3 ;
    p:P1889 wds:Q4055684-6d166a32-4564-5d25-2024-d495d2f06083,
        wds:Q4055684-8c7a70c0-41a8-b485-a778-86dfaf817452 ;
    p:P2579 wds:Q4055684-e7c2c298-4dd0-cdaf-e7ec-c48522265389 ;
    p:P279 wds:Q4055684-5b823aa9-454d-cf08-dc05-102cd62db749 ;
    p:P2924 wds:Q4055684-9eb0007f-4887-da0a-8333-e0c34c8f0d8e ;
    p:P3219 wds:Q4055684-82995631-AC0F-4788-91B8-E9C4A73EBF59 ;
    p:P3235 wds:Q4055684-4c52f27c-434c-aa9a-046a-f5f47bb8be88 ;
    p:P3285 wds:Q4055684-829e05c2-4c76-5f21-0f34-c366528ace79 ;
    p:P3827 wds:Q4055684-6C3A76CD-C80C-42D9-ABA7-D5A7DECE4456 ;
    p:P4215 wds:Q4055684-fbf39b83-4ca7-95e4-53a9-2d749362fa36 ;
    p:P6058 wds:Q4055684-039c43ac-4736-d41d-1713-fdec02cb8f9e ;
    p:P6366 wds:Q4055684-72EC7C2E-6923-4ADB-85AF-C8075EF7214E ;
    p:P646 wds:Q4055684-A4D2877B-3997-4A1C-B203-604CA0D87EC2 ;
    p:P6564 wds:Q4055684-4f703ed0-4498-e3cc-8888-3cd3a11f7133 ;
    p:P7554 wds:Q4055684-4757fc6d-4413-0719-b5e2-432310d77209 ;
    p:P7726 wds:Q4055684-0890edc2-468a-c519-4301-b9bdfcbf1d0c ;
    p:P9100 wds:Q4055684-C998DD6C-4809-4EAC-A38A-CE724D6F6292 ;
    p:P9621 wds:Q4055684-94a1d232-4d97-9ade-728b-c2da3976ac19 ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B10> ;
    wdtn:P6366 <https://makg.org/entity/100481476> ;
    wdt:P10283 "C100481476",
        "C19689857" ;
    wdt:P10407 "1000-2",
        "999-2" ;
    wdt:P1343 wd:Q124737636 ;
    wdt:P1417 "topic/lower-predicate-calculus" ;
    wdt:P1482 <https://cs.stackexchange.com/tags/first-order-logic>,
        <https://math.stackexchange.com/tags/first-order-logic>,
        <https://proofassistants.stackexchange.com/tags/first-order-logic>,
        <https://stackoverflow.com/tags/first-order-logic> ;
    wdt:P1889 wd:Q131350632,
        wd:Q35148 ;
    wdt:P2579 wd:Q1166618 ;
    wdt:P279 wd:Q35148 ;
    wdt:P2924 "2179111" ;
    wdt:P3219 "calcul-des-predicats" ;
    wdt:P3235 "predicate-logic" ;
    wdt:P3285 "03B10" ;
    wdt:P3827 "predicate-logic" ;
    wdt:P4215 "predicate logic" ;
    wdt:P6058 "divers/calcul_des_prédicats/82250" ;
    wdt:P6366 "100481476" ;
    wdt:P646 "/m/02yz4" ;
    wdt:P6564 "predicate-logic" ;
    wdt:P7554 "Predicate_calculus" ;
    wdt:P7726 "FirstOrderLogic" ;
    wdt:P9100 "first-order-logic" ;
    wdt:P9621 "primo-ordine-teoria-del" .