@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:Q2872609 rdfs:label "Automath"@ca,
        "Automath"@en,
        "Automath"@fr,
        "အော်တိုမက်သ်"@my,
        "Automath"@nl,
        "Automath"@pt,
        "Automath"@pt-br ;
    schema1:dateModified "2026-09-06T17:42:37+00:00"^^xsd:dateTime ;
    schema1:description "llenguatge formal"@ca,
        "formal language"@en,
        "linguagem formal"@pt,
        "linguagem formal"@pt-br ;
    schema1:version 2541224504 ;
    wikibase:identifiers 6 ;
    wikibase:sitelinks 3 ;
    wikibase:statements 9 ;
    p:P13591 wds:Q2872609-90D5A64D-2342-4ED9-A199-12C9143B3B7F ;
    p:P244 wds:Q2872609-44C25D28-0307-4CF1-9F8E-998757C7D1DF ;
    p:P31 wds:Q2872609-7df68b46-4e5d-ff4e-b91e-d9cfa7a42f8e,
        wds:Q2872609-9f374fea-469e-487b-6f1a-194b95255478 ;
    p:P4215 wds:Q2872609-B6CF01FB-2EBA-4BDA-92B1-9A44B2E9A38D ;
    p:P61 wds:Q2872609-21eea274-4d4e-9a23-5eb1-75df6d63e8d4 ;
    p:P6366 wds:Q2872609-C8D54D3D-E3FA-435C-B8ED-1B3C8F308DE6 ;
    p:P646 wds:Q2872609-CA5639C0-86CA-43FA-9F82-7622E5971E30 ;
    p:P8189 wds:Q2872609-48307AE9-9F30-4A7E-A0B6-C3EDD24E544F ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85010082> ;
    wdtn:P6366 <https://makg.org/entity/2781113688> ;
    wdt:P13591 "concept/d3870e82-1321-46df-b8d6-8d53742a6d41" ;
    wdt:P244 "sh85010082" ;
    wdt:P31 wd:Q192161,
        wd:Q24034552 ;
    wdt:P4215 "Automath" ;
    wdt:P61 wd:Q1078285 ;
    wdt:P6366 "2781113688" ;
    wdt:P646 "/m/0276wnf" ;
    wdt:P8189 "987007295726205171" .