About: Subsumption lattice

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

A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications.

Property	Value
dbo:abstract	A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications. (en)
dbo:thumbnail	wiki-commons:Special:FilePath/N5_terms.svg?width=300
dbo:wikiPageID	36755649 (xsd:integer)
dbo:wikiPageLength	6391 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1076027442 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Anti-unification_(computer_science) dbc:Unification_(computer_science) dbr:Unification_(computer_science) dbc:Lattice_theory dbr:Modular_lattice dbr:Closure_(mathematics) dbr:Substitution_(logic) dbr:Automated_theorem_proving dbr:Distributive_lattice dbr:Lattice_(order) dbr:Ground_term dbr:Term_(logic) dbr:Symbolic_computation dbr:Chain_(order_theory) dbr:Signature_(logic) dbr:Gordon_D._Plotkin 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
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dcterms:subject	dbc:Unification_(computer_science) dbc:Lattice_theory
gold:hypernym	dbr:Structure
rdf:type	dbo:Building
rdfs:comment	A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications. (en)
rdfs:label	Subsumption lattice (en)
owl:sameAs	freebase:Subsumption lattice wikidata:Subsumption lattice https://global.dbpedia.org/id/fcjD
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:Unification_(computer_science) dbr:Omega_(disambiguation) dbr:Lattice_(order)
is foaf:primaryTopic of	wikipedia-en:Subsumption_lattice