↓ Skip to main content

A prolog technology theorem prover: Implementation by an extended prolog compiler

Overview of attention for article published in Journal of Automated Reasoning, December 1988
Altmetric Badge

About this Attention Score

  • Among the highest-scoring outputs from this source (#14 of 136)

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
168 Dimensions

Readers on

mendeley
14 Mendeley