@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:Q1005222 rdfs:label "Lògica algebraica"@ca,
        "algebraická logika"@cs,
        "Logisk algebra"@da,
        "algebraische Logik"@de,
        "αλγεβρική λογική"@el,
        "algebraic logic"@en,
        "algebra logiko"@eo,
        "lógica algebraica"@es,
        "منطق جبری"@fa,
        "logique algébrique"@fr,
        "Logika aljabar"@id,
        "Logica algebrica"@it,
        "Алгебралық логика"@kk,
        "대수 논리"@ko,
        "алгебарска логика"@mk,
        "အက္ခရာသင်္ချာနည်းကျ ယုတ္တိဗေဒ"@my,
        "lógica algébrica"@pt,
        "lógica algébrica"@pt-br,
        "logică algebrică"@ro,
        "алгебраическая логика"@ru,
        "алгебраїчна логіка"@uk,
        "代數邏輯"@yue,
        "代数逻辑"@zh,
        "代数逻辑"@zh-hans,
        "代數邏輯"@zh-hant,
        "代數邏輯"@zh-hk ;
    schema1:dateModified "2026-10-02T13:42:19+00:00"^^xsd:dateTime ;
    schema1:description "reasoning about equations with free variables"@en,
        "raisonnement obtenu en manipulant des équations avec des variables libres"@fr ;
    schema1:version 2552176986 ;
    wikibase:identifiers 11 ;
    wikibase:sitelinks 13 ;
    wikibase:statements 15 ;
    skos:altLabel "Algebraic logic"@en ;
    p:P10283 wds:Q1005222-D9F1B337-3CAA-4127-B3A1-EC897F1870B4 ;
    p:P10376 wds:Q1005222-2d44fd56-43d6-3923-f20f-53ae5a6ce6ae ;
    p:P279 wds:Q1005222-2851747d-4578-82bf-c402-9fadfdfbac24 ;
    p:P31 wds:Q1005222-ee4b5275-4bb3-f835-446a-97afcffb1bb1 ;
    p:P3285 wds:Q1005222-ba32dc47-423b-63df-4e68-cc25d8adaecb ;
    p:P3417 wds:Q1005222-B2E5F00E-BE9F-4310-9D49-49AAED50D646 ;
    p:P373 wds:Q1005222-cc5dbee0-40bb-6a60-5566-bb08c26e211d ;
    p:P3827 wds:Q1005222-A9AB6217-27E7-430B-BEC9-985D192BD4FD ;
    p:P3847 wds:Q1005222-4a5f25c5-43d2-99de-6844-deac4d0746fe ;
    p:P6366 wds:Q1005222-D3F8ACA9-8BE1-40B1-BC12-80E1012F3B79 ;
    p:P646 wds:Q1005222-168863F0-2473-4BCF-B507-E0DC0FDA887D ;
    p:P691 wds:Q1005222-DBC73C60-6413-4D95-89F7-B089DC5DD16F ;
    p:P8313 wds:Q1005222-F3402617-0BFB-45AA-81A7-1CDED25A1A81 ;
    p:P8408 wds:Q1005222-EBF06055-2F67-44E7-8EB6-30EBB46367EF ;
    p:P910 wds:Q1005222-2CCE9E1E-4CA0-4501-A8F1-BBA6779B404B ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03Gxx> ;
    wdtn:P6366 <https://makg.org/entity/86523455> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/AlgebraicLogic> ;
    wdt:P10283 "C86523455" ;
    wdt:P10376 "mathematics/algebraic-logic" ;
    wdt:P279 wd:Q1166618 ;
    wdt:P31 wd:Q1936384 ;
    wdt:P3285 "03Gxx" ;
    wdt:P3417 "Algebraic-Logic" ;
    wdt:P373 "Algebraic logic" ;
    wdt:P3827 "algebraic-logic" ;
    wdt:P3847 "algebraic_logic" ;
    wdt:P6366 "86523455" ;
    wdt:P646 "/m/026gyjw" ;
    wdt:P691 "ph249426" ;
    wdt:P8313 "logisk_algebra" ;
    wdt:P8408 "AlgebraicLogic" ;
    wdt:P910 wd:Q8234740 .