Condensed detachment (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Condensed detachment" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

2semanticscholar.org

11^th place

8^th place

low place

low place

207^th place

136^th place

1,185^th place

840^th place

acm.org

dl.acm.org

J. A. Robinson (1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.

doi.org

J.A. Kalman (Dec 1983). "Condensed Detachment as a Rule of Inference". Studia Logica. 42 (4): 443–451. doi:10.1007/BF01371632. S2CID 121221548.
N. Megill and M. Bunder (Mar 1996). "Weaker D-Complete Logics" (PDF). J. Igpl. 4 (2): 215–225. CiteSeerX 10.1.1.100.6257. doi:10.1093/jigpal/4.2.215.
C. A. Meredith and A. N. Prior (1963). "Notes on the axiomatics of the propositional calculus". Notre Dame J. Formal Logic. 4 (3): 171–187. doi:10.1305/ndjfl/1093957574.
J. A. Robinson (1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.

metamath.org

us.metamath.org

N. Megill and M. Bunder (Mar 1996). "Weaker D-Complete Logics" (PDF). J. Igpl. 4 (2): 215–225. CiteSeerX 10.1.1.100.6257. doi:10.1093/jigpal/4.2.215.
"Shortest known proofs of the propositional calculus theorems from Principia Mathematica". Metamath. Retrieved 9 September 2023.

psu.edu

citeseerx.ist.psu.edu

N. Megill and M. Bunder (Mar 1996). "Weaker D-Complete Logics" (PDF). J. Igpl. 4 (2): 215–225. CiteSeerX 10.1.1.100.6257. doi:10.1093/jigpal/4.2.215.

semanticscholar.org

api.semanticscholar.org

J.A. Kalman (Dec 1983). "Condensed Detachment as a Rule of Inference". Studia Logica. 42 (4): 443–451. doi:10.1007/BF01371632. S2CID 121221548.
J. A. Robinson (1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.