Subsumption lattice
A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications.
Link from a Wikipage to another Wikipage
primaryTopic
Subsumption lattice
A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications.
has abstract
A subsumption lattice is a mat ...... olic computation applications.
@en
Wikipage page ID
36,755,649
page length (characters) of wiki page
Wikipage revision ID
981,320,609
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
A subsumption lattice is a mat ...... olic computation applications.
@en
label
Subsumption lattice
@en