@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:Q586459 rdfs:label "Inferència de tipus"@ca,
        "typová inference"@cs,
        "Typinferenz"@de,
        "Εξαγωγή τύπων"@el,
        "inference typing"@en,
        "inference typing"@en-gb,
        "inferenco de datentipoj"@eo,
        "inferencia de tipos"@es,
        "استنباط نوع"@fa,
        "inférence de types"@fr,
        "típuskövetkeztetés"@hu,
        "型推論"@ja,
        "자료형 추론"@ko,
        "Inferens jenis"@ms,
        "inferens skriving"@nb,
        "type-inferentie"@nl,
        "typeinferens"@nn,
        "inferencja typów"@pl,
        "вывод типов"@ru,
        "inferenčna tipizacija"@sl,
        "Tip belirleme"@tr,
        "вивід типів"@uk,
        "suy luận kiểu"@vi,
        "类型推论"@zh ;
    schema1:dateModified "2025-11-18T16:42:02+00:00"^^xsd:dateTime ;
    schema1:description "detecció automàtica del tipus de dades d'una expressió en un llenguatge de programació"@ca,
        "automatické přiřazení datového typu výrazu v nějakém programovacím jazyce"@cs,
        "automatic detection of the data type of an expression in a programming language"@en,
        "automatic detection of the data type of an expression in a programming language"@en-gb,
        "mécanisme de recherche automatique d'un compilateur ou un interpréteur des types associés à des expressions"@fr,
        "automatische typebepaling in programmeertalen"@nl,
        "automatyczne wykrywanie typu danych wyrażenia w języku programowania"@pl,
        "возможность компилятора самому логически вывести тип значения у выражения"@ru,
        "автоматичне визначення типу даних для виразу в мові програмування"@uk ;
    schema1:version 2431195128 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 21 ;
    wikibase:statements 10 ;
    skos:altLabel "inference"@cs,
        "inferenční typování"@cs,
        "inferenční typový systém"@cs,
        "odvození typů"@cs,
        "Typableitung"@de,
        "inferred typing"@en,
        "type inference"@en,
        "type inference type"@en,
        "type inference type system"@en,
        "type inference typing system"@en,
        "type reconstruction"@en,
        "type-inferred"@en,
        "inferred"@en-gb,
        "tipinferenco"@eo,
        "推論的型付け"@ja,
        "暗黙的型付け"@ja,
        "inferencja typu"@pl ;
    p:P10283 wds:Q586459-5C7D5612-3141-4C8C-980B-C12784532FB0 ;
    p:P1813 wds:Q586459-2ee4cece-4015-c95d-b5ba-282e0e55f1b8,
        wds:Q586459-dcd65680-4870-5ea7-c005-7d265a66174e,
        wds:Q586459-ef564e66-4ce9-56a2-85ac-1d1bdb9941f2 ;
    p:P279 wds:Q586459-277d60e4-404b-d483-f6c2-cc2d84155fc0 ;
    p:P3417 wds:Q586459-36FFD5F0-2FA8-4180-93DE-D7535663DBD3 ;
    p:P461 wds:Q586459-5498291e-4d2b-5c38-1dce-0ece637ef75d ;
    p:P6366 wds:Q586459-10FE561D-B6EE-4138-9A26-5A388CB3816A ;
    p:P646 wds:Q586459-0E8D0BB3-5AB5-4520-9333-D3E950BE8F49 ;
    p:P910 wds:Q586459-3568170F-D24B-425A-855A-F46DB38D1AC4 ;
    wdtn:P6366 <https://makg.org/entity/198370458> ;
    wdt:P10283 "C198370458" ;
    wdt:P1813 "inference"@en,
        "inferens"@nb,
        "inferenca"@sl ;
    wdt:P279 wd:Q865760 ;
    wdt:P3417 "Type-Inference" ;
    wdt:P461 wd:Q17123089 ;
    wdt:P6366 "198370458" ;
    wdt:P646 "/m/01pn2b" ;
    wdt:P910 wd:Q8877938 .