Search results
- Springer International Publishing: 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. "About". Lean Language. Retrieved 2024-03-13. Moura...13 KB (1,174 words) - 21:31, 25 July 2024
- Science. Vol. 12699. Springer. pp. 58–75. arXiv:2104.13645. doi:10.1007/978-3-030-79876-5_4. Kalman, J.A. (1983). "Condensed detachment as a rule of inference"...9 KB (849 words) - 00:49, 25 December 2023
- Conference on Automated Deduction. Vol. 12699. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISSN 1611-3349. Banz, Matt (2017-06-27). "An introduction to functional...86 KB (8,571 words) - 18:54, 17 August 2024