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

wd:Q5871008 rdfs:label "Geschichte der Typentheorie"@de,
        "history of type theory"@en,
        "zgodovina teorije tipov"@sl,
        "類型論的歷史"@zh ;
    schema1:dateModified "2026-06-25T18:21:25+00:00"^^xsd:dateTime ;
    schema1:description "ইতিহাসের বিভিন্ন দিক"@bn,
        "Aspekt der Geschichte"@de,
        "aspect of history"@en,
        "aspect de l'histoire"@fr,
        "aspetti storici"@it,
        "аспект історії"@uk ;
    schema1:version 2510449193 ;
    wikibase:identifiers 1 ;
    wikibase:sitelinks 1 ;
    wikibase:statements 5 ;
    skos:altLabel "Geschichte von der Typentheorie"@de,
        "type theory history"@en ;
    p:P1269 wds:Q5871008-93387cc1-4266-f351-23cf-eeaf6151dc0a ;
    p:P31 wds:Q5871008-22E66CAF-2E2E-434F-AFFA-C8A804F4C3EA ;
    p:P361 wds:Q5871008-9af93002-4df3-9bb8-760e-a89413b3a064,
        wds:Q5871008-c06e1028-43c6-d5fd-35f5-3bb3e100ae7d ;
    p:P646 wds:Q5871008-44523DE9-6475-4593-9B84-32D44359EEE7 ;
    wdt:P1269 wd:Q1056428 ;
    wdt:P31 wd:Q17524420 ;
    wdt:P361 wd:Q1189238,
        wd:Q468620 ;
    wdt:P646 "/m/0r3vxxt" .