@prefix foaf: . @prefix wikipedia-en: . @prefix dbr: . wikipedia-en:Value_restriction foaf:primaryTopic dbr:Value_restriction . @prefix dbo: . dbr:Semantic_spectrum dbo:wikiPageWikiLink dbr:Value_restriction . @prefix owl: . dbr:Value_restriction owl:sameAs , dbr:Value_restriction . @prefix wikidata: . dbr:Value_restriction owl:sameAs wikidata:Q7912774 , . @prefix rdfs: . dbr:Value_restriction rdfs:label "Value restriction"@en . @prefix dct: . @prefix dbc: . dbr:Value_restriction dct:subject dbc:Type_inference . @prefix prov: . dbr:Value_restriction prov:wasDerivedFrom . @prefix gold: . dbr:Value_restriction gold:hypernym dbr:Values ; foaf:isPrimaryTopicOf wikipedia-en:Value_restriction ; dbo:wikiPageWikiLink dbr:MLton , , , dbr:Free_variables_and_bound_variables , dbr:Typing_rule , dbr:Parametric_polymorphism , , dbr:Operational_semantics , , dbr:Imperative_programming , dbr:Type_safety , , dbr:Unit_type , dbr:Mads_Tofte , , dbc:Type_inference , dbr:LISP_and_Symbolic_Computation , dbr:Let_generalization . @prefix dbp: . @prefix dbt: . dbr:Value_restriction dbp:wikiPageUsesTemplate dbt:Multiple_issues , dbt:Context , dbt:More_footnotes , dbt:Reflist ; dbo:wikiPageExternalLink . @prefix ns13: . dbr:Value_restriction dbo:wikiPageExternalLink ns13:ValueRestriction , , .