Who Cited It

The Semantics of Predicate Logic as a Programming Language

1976 · Journal of the ACM · 1,464 citations · 1 from inside this corpus

M. H. van Emden low, Robert Kowalski

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

The Semantics of Predicate Logic as a Programming Language (1976)The Semantics of Predicate Lo…A Machine-Oriented Logic Based on the Resolution Principle (1965)A Machine-Oriented Logic Base…The well-founded semantics for general logic programs (1991)The well-founded semantics fo…
2 of 2 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.
this paper works it cites works citing it node size = global citations · hover for the full title

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

What this paper cites, inside the corpus

PaperYearCited
A Machine-Oriented Logic Based on the Resolution Principle19653,929

What cites it, inside the corpus

PaperYearCited
The well-founded semantics for general logic programs19911,691

Links

Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record

Topics

Logic, programming, and type systemsComputer Science
Logic, Reasoning, and KnowledgeComputer Science
Formal Methods in VerificationComputer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

  • supports2 author record(s) attached.
  • supports11 reference(s) recorded.
  • neutralThe DOI carries no year to check against.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:58+00:00.

sha256 88a60cdbb94c6a13…