رزولوشن (منطق) (Persian Wikipedia)

Analysis of information sources in references of the Wikipedia article "رزولوشن (منطق)" in Persian language version.

refsWebsite
Global rank Persian rank
2nd place
2nd place

doi.org

  • Martin Davis, Hilary Putnam (1960). "A Computing Procedure for Quantification Theory". J. ACM. 7 (3): 201–215. doi:10.1145/321033.321034. Here: p.  210, "III. Rule for Eliminating Atomic Formulas".
  • J.A. Robinson (Jan 1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253.