🌐EnglishEnglishDeutschEspañolFrançaisNederlandsPolskiPortuguês日本語EntityQ811591· pop 9· linked from 63 articlesmethod of analytic tableauxfundamental concept in automated theorem provingWikidata factsImagePartially built tableau.svgSources (1)wikidata.orgvia Wikidata · CC0Available in 9 languagesEspañolFrançaisDeutsch日本語PortuguêsCatalanNederlandsPolskivia Wikidata sitelinks · CC0Connectionsfirst-order logicEntityRaymond SmullyanEntityCategoriesAutomated theorem provingLogical calculiMethods of proof