Automated Reasoning

Portoraro, F. (2016). Automated Reasoning. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Year

2016

Link

https://plato.stanford.edu/archives/spr2016/entries/reasoning-automated/

Cited by

1 citation across 1 artifact.

Domain-specific

• Skolem Normal Form
  • Automated-reasoning presentations often omit the remaining universal quantifiers by convention because clause variables are understood universally, but that convention does not make Skolem normal form identical to a clause set.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:af48b1775598 · see in the full table