Statistical studies of theoremhood in classical propositional and first order predicate calculus

S.C. Westrhenen, van

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

Access to Document

@article{cff21c2a4a8e43a8a77e2b58bf38f388,

title = "Statistical studies of theoremhood in classical propositional and first order predicate calculus",

author = "{Westrhenen, van}, S.C.",

year = "1972",

doi = "10.1145/321694.321705",

language = "English",

volume = "19",

pages = "347--365",

journal = "Journal of the ACM",

issn = "0004-5411",

publisher = "Association for Computing Machinery, Inc",

number = "2",

}

TY - JOUR

T1 - Statistical studies of theoremhood in classical propositional and first order predicate calculus

AU - Westrhenen, van, S.C.

PY - 1972

Y1 - 1972

UR - http://doi.acm.org/10.1145/321694.321705

U2 - 10.1145/321694.321705

DO - 10.1145/321694.321705

M3 - Article

SN - 0004-5411

VL - 19

SP - 347

EP - 365

JO - Journal of the ACM

JF - Journal of the ACM

IS - 2

ER -