About: has generic type     Goto   Sponge   Distinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : yang.eurecom.fr associated with source document(s)

Relates a `Parameterized Type` to the generic `Type` (making use of `Type Variable`s and/or `Wildcard`s) of which it is a parameterization.

AttributesValues
rdf:type
rdfs:subPropertyOf
rdfs:label
  • has generic type (en)
rdfs:domain
rdfs:range
rdfs:comment
  • Relates a `Parameterized Type` to the generic `Type` (making use of `Type Variable`s and/or `Wildcard`s) of which it is a parameterization. (en)
is onProperty of
Faceted Search & Find service v1.16.120 as of Nov 11 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (252 GB total memory, 739 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software