Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Subsumption_lattice> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 Example_for_nonmodular_sublattice_of_term_subsumption_lattice.gif?width=300.
- Subsumption_lattice wikiPageID "36755649".
- Subsumption_lattice wikiPageRevisionID "560861300".
- Subsumption_lattice subject Category:Lattice_theory.
- Subsumption_lattice subject Category:Unification_(computer_science).
- 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=560861300.
- Subsumption_lattice depiction Example_for_nonmodular_sublattice_of_term_subsumption_lattice.gif.
- Subsumption_lattice isPrimaryTopicOf Subsumption_lattice.
