@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:Q35148 rdfs:label "Predikaatlogika"@af,
        "лёгіка прэдыкатаў"@be-tarask,
        "Предикатна логика"@bg,
        "lògica de predicats"@ca,
        "Predikátová logika"@cs,
        "prædikatslogik"@da,
        "Prädikatenlogik"@de,
        "Κατηγορηματική λογική"@el,
        "predicate logic"@en,
        "predikata logiko"@eo,
        "lógica de predicados"@es,
        "Predikaatloogika"@et,
        "منطق مسند"@fa,
        "Predikaattilogiikka"@fi,
        "logique des prédicats"@fr,
        "תחשיב הפרדיקטים"@he,
        "predikátumlogika"@hu,
        "logica dei predicati"@it,
        "述語論理"@ja,
        "Предикаттық логика"@kk,
        "술어 논리"@ko,
        "predikatų logika"@lt,
        "предикатна логика"@mk,
        "predikatlogikk"@nb,
        "predicatenlogica"@nl,
        "logika predykatów"@pl,
        "lógica de predicados"@pt,
        "исчисление предикатов"@ru,
        "Predikátová logika"@sk,
        "predikatna logika"@sl,
        "Predikatlogik"@sv,
        "предикатна логіка"@uk,
        "谓词逻辑"@zh,
        "谓词逻辑"@zh-cn,
        "谓词逻辑"@zh-hans,
        "謂詞邏輯"@zh-hant,
        "謂詞邏輯"@zh-tw ;
    schema1:dateModified "2026-10-27T17:47:16+00:00"^^xsd:dateTime ;
    schema1:description "разьдзел лёгікі"@be-tarask,
        "Familie logischer Systeme"@de,
        "subfield of logic"@en,
        "familia de sistemas lógicos"@es,
        "symbolisen logiikan osa-alue"@fi,
        "specialisme binnen de logica"@nl,
        "逻辑类型"@zh,
        "逻辑类型"@zh-hans ;
    schema1:version 2561491809 ;
    wikibase:identifiers 14 ;
    wikibase:sitelinks 28 ;
    wikibase:statements 26 ;
    skos:altLabel "прэдыкатная лёгіка"@be-tarask,
        "Predikátový kalkul"@cs,
        "Rozšíření predikátové teorie"@cs,
        "funktionslogik"@da,
        "relationslogik"@da,
        "Prädikatenkalkül"@de,
        "Prädikatorenlogik"@de,
        "Quantorenlogik"@de,
        "lógica predicativa"@es,
        "منطق دسته یکم"@fa,
        "منطق دسته-یکم"@fa,
        "منطق محمولات"@fa,
        "منطق مرتبه اول"@fa,
        "منطق مسندی"@fa,
        "Ensimmäisen kertaluvun logiikka"@fi,
        "Ensimmäisen kertaluvun predikaattilogiikka"@fi,
        "Predikaattikalkyyli"@fi,
        "Toisen kertaluvun logiikka"@fi,
        "Toisen kertaluvun predikaattilogiikka"@fi,
        "calcul des prédicats"@fr,
        "calcul des relations"@fr,
        "תחשיב פרדיקטים"@he,
        "elsőrendű logika"@hu,
        "predikátumkalkulus"@hu,
        "calcolo dei predicati"@it,
        "述語論理学"@ja,
        "술어논리"@ko,
        "kvantorlogikk"@nb,
        "predikatkalkyle"@nb,
        "predicaat"@nl,
        "predicaatlogica"@nl,
        "predicatencalculus"@nl,
        "predikaatlogica"@nl,
        "predikatencalculus"@nl,
        "predikatenlogica"@nl,
        "логика предикатов"@ru,
        "предикатная логика"@ru,
        "Predikat"@sv,
        "謂詞邏輯"@zh,
        "述詞邏輯"@zh ;
    p:P1051 wds:Q35148-907A5246-CF6D-4675-9DE9-3E6D45623850 ;
    p:P10565 wds:Q35148-68602d85-42fa-9e8d-1e30-095befb6b01f ;
    p:P1417 wds:Q35148-75e9678c-4005-b9aa-9c59-203cdb04d4cd ;
    p:P14541 wds:Q35148-D9AA5984-CF32-4785-B7DC-9197CC3BFD61 ;
    p:P1482 wds:Q35148-a063a79a-4b6f-0b03-330c-a368b7d491be,
        wds:Q35148-dd90299f-4049-61aa-6c54-bf22de2400f3 ;
    p:P1889 wds:Q35148-2e598431-4d07-0bd8-71d2-cc45710006e1 ;
    p:P227 wds:Q35148-5717D83E-A0E4-4900-9306-0E0283549EB4 ;
    p:P2283 wds:Q35148-e6594ccb-4f04-9c00-1baf-ec55feaed5b7 ;
    p:P2347 wds:Q35148-C3A30D17-6E9B-4495-8E14-0A78A24D9BDA ;
    p:P279 wds:Q35148-9c621714-40d5-791e-c07f-f515d94e1ef7 ;
    p:P31 wds:Q35148-eb3b21ed-4063-f887-54ad-1632c7b3ca9b ;
    p:P3417 wds:Q35148-17BF8A94-EBEA-47EC-AA0B-14AAC23E0214 ;
    p:P361 wds:Q35148-987A08CB-3B1B-43E8-8105-904E7D4B471F,
        wds:Q35148-D182C275-B546-4957-B7F3-811D592216A0 ;
    p:P373 wds:Q35148-2B49E0ED-7748-469E-80AF-AA3D0527F3FC ;
    p:P527 wds:Q35148-12e7da1a-440e-d2e3-ec56-fe098e3e5c2f,
        wds:Q35148-2a30f0a2-433a-d383-a913-d6e47a7c9ff0 ;
    p:P646 wds:Q35148-F9F1A6F0-8696-483D-9F39-2604068094B6 ;
    p:P6781 wds:Q35148-5f1c5d61-44da-5a39-8ca3-242a4a5f0645 ;
    p:P691 wds:Q35148-8173FF1B-91D7-43CF-A215-0BCD6A8A6FB2 ;
    p:P7666 wds:Q35148-0f7b9668-4ac1-7182-1797-a9ab952e6ef7 ;
    p:P8313 wds:Q35148-FE7211CD-15D6-4445-8320-00DF4A54DF99 ;
    p:P8408 wds:Q35148-CCD488D3-7085-4A57-9887-7CEB67248837 ;
    p:P910 wds:Q35148-7D9CF651-2B50-4FEA-BD23-F8B5D916EBFF ;
    p:P9322 wds:Q35148-C122752A-3A00-48F2-BAD1-9E9EFDA8FE12 ;
    wdtn:P227 <https://d-nb.info/gnd/4046974-8> ;
    wdtn:P2347 <http://www.yso.fi/onto/yso/p10365> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/PredicateLogic> ;
    wdt:P1051 "7101" ;
    wdt:P10565 "215367" ;
    wdt:P1417 "topic/predicate-calculus" ;
    wdt:P14541 "2cpt0E" ;
    wdt:P1482 <https://math.stackexchange.com/tags/predicate-logic>,
        <https://philosophy.stackexchange.com/tags/predicate-logic> ;
    wdt:P1889 wd:Q4055684 ;
    wdt:P227 "4046974-8" ;
    wdt:P2283 wd:Q592911 ;
    wdt:P2347 "10365" ;
    wdt:P279 wd:Q17488292 ;
    wdt:P31 wd:Q20026918 ;
    wdt:P3417 "Predicate-Logic" ;
    wdt:P361 wd:Q1166618,
        wd:Q8078 ;
    wdt:P373 "Predicate logic" ;
    wdt:P527 wd:Q1644136,
        wd:Q4055684 ;
    wdt:P646 "/m/02p0wbc" ;
    wdt:P6781 "Definition:Predicate_Logic" ;
    wdt:P691 "ph124584" ;
    wdt:P7666 "predikatu-logika" ;
    wdt:P8313 "prædikatslogik" ;
    wdt:P8408 "PredicateLogic" ;
    wdt:P910 wd:Q7470272 ;
    wdt:P9322 "0202696-predikatova-logika" .