SHMARQL

inference typing

<http://www.wikidata.org/entity/Q586459>

automatic detection of the data type of an expression in a programming language
rdfs:label
"inference typing"@en
skos:altLabel
"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
schema:description
"automatic detection of the data type of an expression in a programming language"@en
schema:dateModified "2025-11-18T16:42:02+00:00"^^xsd:dateTime
schema:version 2431195128
wikibase:identifiers 4
wikibase:sitelinks 21
wikibase:statements 10
p:P10283 wd:statement/Q586459-5C7D5612-3141-4C8C-980B-C12784532FB0
p:P1813 wd:statement/Q586459-2ee4cece-4015-c95d-b5ba-282e0e55f1b8
wd:statement/Q586459-dcd65680-4870-5ea7-c005-7d265a66174e
wd:statement/Q586459-ef564e66-4ce9-56a2-85ac-1d1bdb9941f2
p:P279 wd:statement/Q586459-277d60e4-404b-d483-f6c2-cc2d84155fc0
p:P3417 wd:statement/Q586459-36FFD5F0-2FA8-4180-93DE-D7535663DBD3
p:P461 wd:statement/Q586459-5498291e-4d2b-5c38-1dce-0ece637ef75d
p:P6366 wd:statement/Q586459-10FE561D-B6EE-4138-9A26-5A388CB3816A
p:P646 wd:statement/Q586459-0E8D0BB3-5AB5-4520-9333-D3E950BE8F49
p:P910 wd:statement/Q586459-3568170F-D24B-425A-855A-F46DB38D1AC4
p:direct-normalized/P6366 <https://makg.org/entity/198370458>
wdt:P10283 "C198370458"
wdt:P1813
"inference"@en
wdt:P279 type system
wdt:P3417 "Type-Inference"
wdt:P461 manifest typing
wdt:P6366 "198370458"
wdt:P646 "/m/01pn2b"
wdt:P910 Category:Type inference
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata