@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Quantale	foaf:primaryTopic	dbr:Quantale .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Linear_logic	rdfs:seeAlso	dbr:Quantale .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://dbpedia.org/resource/Ideal_(ring_theory)>	dbo:wikiPageWikiLink	dbr:Quantale .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Quantale	owl:sameAs	dbr:Quantale ,
		<http://rdf.freebase.com/ns/m.035blr> ,
		<https://global.dbpedia.org/id/4tbvT> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Quantale	owl:sameAs	wikidata:Q7268888 ;
	rdfs:label	"Quantale"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Quantale	dct:subject	dbc:Order_theory .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Quantale	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Quantale?oldid=1310750131&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Quantale .
@prefix dbp:	<http://dbpedia.org/property/> .
dbr:Quantale	dbp:id	"Q/q130010"@en ;
	dbp:author	"C.J. Mulvey"@en ;
	dbo:wikiPageExternalLink	<http://encyclopediaofmath.org/index.php%3Ftitle=Quantale&oldid=42430> ;
	dbp:title	"Quantale"@en ;
	dbo:wikiPageWikiLink	dbr:Partially_ordered_set ,
		dbr:Algebraic_structure ,
		dbr:Complete_lattice ,
		dbr:Residuated_lattice ,
		dbr:Index_set ,
		<http://dbpedia.org/resource/Ideal_(ring_theory)> ,
		dbr:Mathematics ,
		dbr:Idempotent ,
		dbr:Monoid ,
		dbc:Order_theory ,
		<http://dbpedia.org/resource/Lattice_(order)> ,
		<http://dbpedia.org/resource/Monoid_(category_theory)> ,
		dbr:Bob_Coecke ,
		dbr:Unit_interval ,
		dbr:Binary_operation ,
		dbr:C-star_algebra ,
		dbr:Pointless_topology ,
		<http://dbpedia.org/resource/Meet_(mathematics)> ,
		dbr:Identity_element ,
		dbr:Associative ,
		dbr:Commutative ,
		dbr:Multiplication ,
		dbr:Semiring ,
		dbr:Complete_Heyting_algebra ,
		dbr:Von_Neumann_algebra ,
		dbr:Greatest_element ,
		dbr:Relation_algebra ,
		<http://dbpedia.org/resource/Map_(mathematics)> ,
		dbr:Homomorphism ;
	dbo:description	"complete lattice with an associative binary operation that distributes over joins"@en .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Quantale	dbp:wikiPageUsesTemplate	dbt:Inline ,
		dbt:Short_description ,
		dbt:Reflist ,
		dbt:Springer ,
		dbt:Math-stub .
dbr:Bisimulation	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Residuated_lattice	dbo:wikiPageWikiLink	dbr:Quantale .
<http://dbpedia.org/resource/Monoid_(category_theory)>	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Quantaloid	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Converse_relation	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Continuous_function	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Semiring	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Order_theory	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Relation_algebra	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:List_of_order_theory_topics	dbo:wikiPageWikiLink	dbr:Quantale .
dbr:Unital_quantale	dbo:wikiPageWikiLink	dbr:Quantale ;
	dbo:wikiPageRedirects	dbr:Quantale .