method of analytic tableaux
Sign in to savefundamental concept in automated theorem proving
Wikidata facts
- Image
- Partially built tableau.svg
Show 2 more facts
- computes solution to
- Entscheidungsproblem
- discoverer or inventor
- Evert Willem Beth
Sources (1)
via Wikidata · CC0