Resolution (Logik) (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Resolution (Logik)" in German language version.

refsWebsite

Global rank German rank

1zdb-katalog.de

123^rd place

6^th place

zdb-katalog.de

Davis, Martin: Eliminating the Irrelevant from Mechanical Proofs. in: Journal of Symbolic Logic, ISSN 0022-4812, Vol. 32, No. 1 (Mar., 1967), pp. 118–119