LowerUnivalents
id:
lowerunivalents-237-15491003
title:
LowerUnivalents
text:
In proof compression, an area of mathematical logic, LowerUnivalents is an algorithm used for the compression of propositional resolution proofs. LowerUnivalents is a generalised algorithm of the LowerUnits, and it is able to lower not only units but also subproofs of non-unit clauses, provided that they satisfy some additional conditions.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/LowerUnivalents
date created:
date modified:
2016-03-31T07:19:09Z
main entity:
{"identifier":"Q25104065","url":"https://www.wikidata.org/entity/Q25104065"}
image:
fields total:
13
integrity:
13