@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@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:Q5157327 rdfs:label "ሒሳባዊ ሥነ አምክንዮ"@am,
        "lògica computacional"@ca,
        "computational logic"@en,
        "komputa logiko"@eo,
        "lógica computacional"@es,
        "logika konputazional"@eu,
        "logique computationnelle"@fr,
        "lógica computacional"@pt ;
    schema1:dateModified "2022-10-10T00:00:55+00:00"^^xsd:dateTime ;
    schema1:description "use of logic to perform or reason about computation"@en,
        "lógica matemática aplicada al contexto de las ciencias de la computación"@es ;
    schema1:version 1747079903 ;
    wikibase:identifiers 5 ;
    wikibase:sitelinks 6 ;
    wikibase:statements 8 ;
    p:P10283 wds:Q5157327-DFBF7830-1B29-47A1-9123-278F0E2B15B0 ;
    p:P279 wds:Q5157327-644c7732-491e-a63b-6f6f-f226f8bccca8,
        wds:Q5157327-8919bd4f-4102-d118-d806-d7487b3204bb ;
    p:P3417 wds:Q5157327-6E52625A-1E0F-4A75-8880-58B6F60392ED ;
    p:P460 wds:Q5157327-81b3d75b-4553-5494-6dc8-6c04a1e916af ;
    p:P5922 wds:Q5157327-A23B1190-B36C-4CA1-A02F-97E9E4A6A269 ;
    p:P6366 wds:Q5157327-8F58CAFE-DEB4-4258-8941-02370BDAA36F ;
    p:P646 wds:Q5157327-0358F211-0510-444D-B87F-781FFEED5134 ;
    wdtn:P5922 <http://purl.org/au-research/vocabulary/anzsrc-for/2008/080203> ;
    wdtn:P6366 <https://makg.org/entity/124047733> ;
    wdt:P10283 "C124047733" ;
    wdt:P279 wd:Q2555318,
        wd:Q8078 ;
    wdt:P3417 "Computational-Logic" ;
    wdt:P460 wd:Q2651693 ;
    wdt:P5922 "080203" ;
    wdt:P6366 "124047733" ;
    wdt:P646 "/m/0jwywcy" .