@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 wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q56223375 rdfs:label "dependently typed programming language"@en,
        "依存型プログラミング言語"@ja ;
    schema1:dateModified "2026-08-28T14:26:07+00:00"^^xsd:dateTime ;
    schema1:description "type of programming language"@en ;
    schema1:version 2537418737 ;
    wikibase:identifiers 0 ;
    wikibase:sitelinks 0 ;
    wikibase:statements 3 ;
    p:P279 wds:Q56223375-4ab2336a-40d6-a8ea-11d1-55a52b772539 ;
    p:P7078 wds:Q56223375-EB777C76-367A-4048-B1EC-AB4EAF94B8A4 ;
    p:P910 wds:Q56223375-f84ace2f-4317-3a24-c89d-542433db9317 ;
    wdt:P279 wd:Q9143 ;
    wdt:P7078 wd:Q56232424 ;
    wdt:P910 wd:Q8374212 .