(Q7315698)

English

Resolution proof compression by splitting

No description defined

In more languages

Statements

defining formula

\operatorname {add} (r)=\max(|r|-\max(|p|,|n|),0)

1 reference

imported from Wikimedia project

English Wikipedia

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Resolution proof compression by splitting

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q7315698&oldid=1960898090"