Subsumption lattice
id:
subsumption-lattice-241-16565247
title:
Subsumption lattice
text:
A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications.
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical structure
original url:
https://en.wikipedia.org/wiki/Subsumption_lattice
date created:
date modified:
2022-03-09T00:48:56Z
main entity:
{"identifier":"Q17103767","url":"https://www.wikidata.org/entity/Q17103767"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/39/N5_terms.svg","width":160,"height":180}
fields total:
13
integrity:
15