About: Subsumption lattice

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Mathematical structure

Property	Value
dbo:description	mathematical structure (en)
dbo:thumbnail	wiki-commons:Special:FilePath/N5_terms.svg?width=300
dbo:wikiPageWikiLink	dbr:File:Generalizations_of_abc.gif dbr:File:M3_linear_terms.svg dbr:File:N5_linear_terms.svg dbr:File:N5_terms.svg dbr:File:Pairwise_unifiable_terms.gif dbc:Lattice_theory dbr:Lattice_(order) dbr:Signature_(logic) dbr:Closure_(mathematics) dbr:Automated_theorem_proving dbc:Unification_(computer_science) dbr:Unification_(computer_science) dbr:Distributive_lattice dbr:Substitution_(logic) dbr:Term_(logic) dbr:Ground_term dbr:Anti-unification_(computer_science) dbr:Chain_(order_theory) dbr:Modular_lattice dbr:Symbolic_computation dbr:Gordon_D._Plotkin
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Lattice_theory dbc:Unification_(computer_science)
gold:hypernym	dbr:Structure
rdfs:label	Subsumption lattice (en)
owl:sameAs	freebase:Subsumption lattice wikidata:Subsumption lattice dbpedia-global:Subsumption lattice
prov:wasDerivedFrom	wikipedia-en:Subsumption_lattice?oldid=1076027442&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Generalizations_of_abc.gif wiki-commons:Special:FilePath/M3_linear_terms.svg wiki-commons:Special:FilePath/N5_linear_terms.svg wiki-commons:Special:FilePath/N5_terms.svg wiki-commons:Special:FilePath/Pairwise_unifiable_terms.gif
foaf:isPrimaryTopicOf	wikipedia-en:Subsumption_lattice
is dbo:wikiPageWikiLink of	dbr:Lattice_(order) dbr:Unification_(computer_science) dbr:Omega_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Subsumption_lattice