@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:Q1644136 rdfs:label "логіка вышэйшага парадку"@be,
        "Lògica d'ordre superior"@ca,
        "logika vyššího řádu"@cs,
        "Logik höherer Stufe"@de,
        "Λογική ανώτερου βαθμού"@el,
        "higher-order logic"@en,
        "altorda logiko"@eo,
        "lógica de orden superior"@es,
        "logique d'ordre supérieur"@fr,
        "Logica di ordine superiore"@it,
        "高階述語論理"@ja,
        "고차 논리"@ko,
        "høyere-ordens logikk"@nb,
        "lógica de ordem superior"@pt,
        "логика высшего порядка"@ru,
        "高阶逻辑"@zh ;
    schema1:dateModified "2026-11-05T21:25:30+00:00"^^xsd:dateTime ;
    schema1:description "forma de lògica de predicats que es distingeix de la lògica de primer ordre per quantificadors addicionals i, de vegades, una semàntica més forta"@ca,
        "Erweiterung der Prädikatenlogik erster Stufe"@de,
        "form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics"@en,
        "forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales"@es,
        "logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats"@fr,
        "forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados"@pt,
        "邏輯學"@zh-hant ;
    schema1:version 2565146847 ;
    wikibase:identifiers 10 ;
    wikibase:sitelinks 14 ;
    wikibase:statements 13 ;
    skos:altLabel "HOL"@ca,
        "lògica de predicats simples d'ordre superior"@ca,
        "predikátová logika vyššího řádu"@cs,
        "Stufenlogik"@de,
        "HOL"@en,
        "higher order simple predicate logic"@en,
        "고차논리"@ko,
        "høyere ordens logikk"@nb ;
    p:P10283 wds:Q1644136-45ABF08E-5177-4309-9AD1-444B03C595C3 ;
    p:P10376 wds:Q1644136-679f635d-49d5-f6cc-1ea5-84b4c262570a ;
    p:P1482 wds:Q1644136-d3992be2-4291-774e-2f8d-b92d7984b036 ;
    p:P2283 wds:Q1644136-ff88cb0b-4140-2eac-c992-3abdec72a2ae ;
    p:P279 wds:Q1644136-3e7cccf9-46b9-ae5a-c6e8-3e3926c30059 ;
    p:P3123 wds:Q1644136-10B2449E-9FB7-4BF3-85A8-0DA42C0841DD ;
    p:P3235 wds:Q1644136-84F11CA4-466D-4C85-AF97-C407414D1CBA ;
    p:P3285 wds:Q1644136-254ad804-499a-a397-b40d-5d5046cfa707,
        wds:Q1644136-CE4A6A8D-7360-4AD6-B9A1-1D83938709E3 ;
    p:P3417 wds:Q1644136-0CD78E58-5E48-47EC-8EB3-D40D4364B0C2 ;
    p:P4215 wds:Q1644136-6144EEFB-D4FB-4C06-B768-CCCC87F8EF24 ;
    p:P6366 wds:Q1644136-B3368B9B-58F7-4646-A9B4-FBCA1C8D00C2 ;
    p:P646 wds:Q1644136-F333D0C4-705B-4623-B00B-135E5C1BE933 ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B15>,
        <http://msc2010.org/resources/MSC/2010/03B16> ;
    wdtn:P6366 <https://makg.org/entity/169896238> ;
    wdt:P10283 "C169896238" ;
    wdt:P10376 "computer-science/higher-order-logic" ;
    wdt:P1482 <https://proofassistants.stackexchange.com/tags/higher-order-logic> ;
    wdt:P2283 wd:Q4055684 ;
    wdt:P279 wd:Q35148 ;
    wdt:P3123 "logic-higher-order" ;
    wdt:P3235 "higher-order-logic" ;
    wdt:P3285 "03B15",
        "03B16" ;
    wdt:P3417 "Higher-Order-Logic" ;
    wdt:P4215 "higher-order logic" ;
    wdt:P6366 "169896238" ;
    wdt:P646 "/m/02qbcv" .