Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Subsumption_lattice> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Subsumption_lattice abstract "A subsumption lattice is a mathematical structure used in theoretical background of automated theorem proving and other symbolic computation applications.".
- Subsumption_lattice thumbnail N5_terms.svg?width=300.
- Subsumption_lattice wikiPageID "36755649".
- Subsumption_lattice wikiPageLength "6114".
- Subsumption_lattice wikiPageOutDegree "26".
- Subsumption_lattice wikiPageRevisionID "655151861".
- Subsumption_lattice wikiPageWikiLink Anti-unification_(computer_science).
- Subsumption_lattice wikiPageWikiLink Automated_theorem_proving.
- Subsumption_lattice wikiPageWikiLink Category:Lattice_theory.
- Subsumption_lattice wikiPageWikiLink Category:Unification_(computer_science).
- Subsumption_lattice wikiPageWikiLink Chain_(order_theory).
- Subsumption_lattice wikiPageWikiLink Distributive_lattice.
- Subsumption_lattice wikiPageWikiLink Gordon_D._Plotkin.
- Subsumption_lattice wikiPageWikiLink Gordon_Plotkin.
- Subsumption_lattice wikiPageWikiLink Ground_expression.
- Subsumption_lattice wikiPageWikiLink Ground_term.
- Subsumption_lattice wikiPageWikiLink Lattice_(order).
- Subsumption_lattice wikiPageWikiLink Modular_lattice.
- Subsumption_lattice wikiPageWikiLink Signature_(logic).
- Subsumption_lattice wikiPageWikiLink Substitution_(logic).
- Subsumption_lattice wikiPageWikiLink Symbolic_computation.
- Subsumption_lattice wikiPageWikiLink Term_(logic).
- Subsumption_lattice wikiPageWikiLink Total_order.
- Subsumption_lattice wikiPageWikiLink Unification_(computer_science).
- Subsumption_lattice wikiPageWikiLink File:Generalizations_of_abc.gif.
- Subsumption_lattice wikiPageWikiLink File:M3_linear_terms.svg.
- Subsumption_lattice wikiPageWikiLink File:N5_linear_terms.svg.
- Subsumption_lattice wikiPageWikiLink File:N5_terms.svg.
- Subsumption_lattice wikiPageWikiLink File:Pairwise_unifiable_terms.gif.
- Subsumption_lattice wikiPageWikiLinkText "Subsumption lattice".
- Subsumption_lattice wikiPageWikiLinkText "lattice".
- Subsumption_lattice wikiPageWikiLinkText "set of first-order terms".
- Subsumption_lattice hasPhotoCollection Subsumption_lattice.
- Subsumption_lattice wikiPageUsesTemplate Template:Reflist.
- Subsumption_lattice subject Category:Lattice_theory.
- Subsumption_lattice subject Category:Unification_(computer_science).
- Subsumption_lattice hypernym Structure.
- Subsumption_lattice type Building.
- Subsumption_lattice comment "A subsumption lattice is a mathematical structure used in theoretical background of automated theorem proving and other symbolic computation applications.".
- Subsumption_lattice label "Subsumption lattice".
- Subsumption_lattice sameAs m.0t_d954.
- Subsumption_lattice sameAs Q17103767.
- Subsumption_lattice sameAs Q17103767.
- Subsumption_lattice wasDerivedFrom Subsumption_lattice?oldid=655151861.
- Subsumption_lattice depiction N5_terms.svg.
- Subsumption_lattice isPrimaryTopicOf Subsumption_lattice.