Minimal axioms for Boolean algebra (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Minimal axioms for Boolean algebra" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

451^st place

277^th place

2semanticscholar.org

11^th place

8^th place

1stephenwolfram.com

low place

low place

513^th place

537^th place

6^th place

6^th place

5^th place

5^th place

7^th place

7^th place

1web.archive.org

1^st place

1^st place

6,358^th place

4,781^st place

ams.org

mathscinet.ams.org

McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048
Meredith, C. A.; Prior, A. N. (1968). "Equational logic". Notre Dame J. Formal Logic. 9 (3): 212–226. doi:10.1305/ndjfl/1093893457. MR 0246753.
Meredith, C. A. (1969). "Equational postulates for the Sheffer stroke". Notre Dame J. Formal Logic. 10 (3): 266–270. doi:10.1305/ndjfl/1093893713. MR 0245423.

anl.gov

mcs.anl.gov

Kolata, Gina (1996-12-10). "Computer Math Proof Shows Reasoning Power". The New York Times. For errata, see McCune, William (1997-01-23). "Comments on Robbins Story". Argonne National Laboratory. Archived from the original on 1997-06-05.

archive.org

Henkin, Leon; Monk, J. Donald; Tarski, Alfred (1971). Cylindric Algebras, Part I. North-Holland. ISBN 978-0-7204-2043-2. OCLC 1024041028.

doi.org

McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048
McCune, William (1997). "Solution of the Robbins Problem". Journal of Automated Reasoning. 19 (3): 263–276. doi:10.1023/A:1005843212881. S2CID 30847540.
Meredith, C. A.; Prior, A. N. (1968). "Equational logic". Notre Dame J. Formal Logic. 9 (3): 212–226. doi:10.1305/ndjfl/1093893457. MR 0246753.
Meredith, C. A. (1969). "Equational postulates for the Sheffer stroke". Notre Dame J. Formal Logic. 10 (3): 266–270. doi:10.1305/ndjfl/1093893713. MR 0245423.
Padmanabhan, R.; Quackenbush, R. W. (1973). "Equational theories of algebras with distributive congruences". Proc. Amer. Math. Soc. 41 (2): 373–377. doi:10.1090/S0002-9939-1973-0325498-2.

nytimes.com

archive.nytimes.com

Kolata, Gina (1996-12-10). "Computer Math Proof Shows Reasoning Power". The New York Times. For errata, see McCune, William (1997-01-23). "Comments on Robbins Story". Argonne National Laboratory. Archived from the original on 1997-06-05.

semanticscholar.org

api.semanticscholar.org

McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048
McCune, William (1997). "Solution of the Robbins Problem". Journal of Automated Reasoning. 19 (3): 263–276. doi:10.1023/A:1005843212881. S2CID 30847540.

stephenwolfram.com

writings.stephenwolfram.com

Wolfram, Stephen (6 November 2018). "Logic, Explainability and the Future of Understanding". Stephen Worfram Writings.

web.archive.org

Kolata, Gina (1996-12-10). "Computer Math Proof Shows Reasoning Power". The New York Times. For errata, see McCune, William (1997-01-23). "Comments on Robbins Story". Argonne National Laboratory. Archived from the original on 1997-06-05.

wolfram.com

mathworld.wolfram.com

Rowland, Todd; Weisstein, Eric W. "Wolfram Axiom". MathWorld.

worldcat.org

search.worldcat.org

Henkin, Leon; Monk, J. Donald; Tarski, Alfred (1971). Cylindric Algebras, Part I. North-Holland. ISBN 978-0-7204-2043-2. OCLC 1024041028.