About: Quotient type

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Algebraic data type

Property	Value
dbo:description	algebraic data type (en)
dbo:wikiPageWikiLink	dbr:Cardinality dbr:Type_theory dbr:Equivalence_class dbr:Quotient_set dbr:Quotient_ring dbr:Algebraic_data_type dbr:Product_type dbc:Data_types dbc:Type_theory dbr:Equivalence_relation dbr:Equality_(mathematics) dbr:Quotient_group dbr:Quotient_space_(topology) dbc:Composite_data_types dbr:Quotient_category dbr:Setoid dbr:Sum_type dbr:Underlying_set
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Data_types dbt:Short_description
dct:subject	dbc:Data_types dbc:Type_theory dbc:Composite_data_types
rdfs:label	Quotient type (en)
owl:sameAs	freebase:Quotient type wikidata:Quotient type dbpedia-global:Quotient type dbr:Quotient type
prov:wasDerivedFrom	wikipedia-en:Quotient_type?oldid=1296408423&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Quotient_type
is dbo:wikiPageWikiLink of	dbr:Algebraic_data_type dbr:Product_type dbr:Quotient dbr:Setoid dbr:Quotient_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Quotient_type

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International