Home›Browse›automated reasoning🌐EnglishEnglishEspañolFrançaisItalianoPolskiPortuguêsTiếng ViệtTürkçeРусскийالعربيةفارسیहिन्दी한국어中文日本語EntityQ2555318· pop 21· linked from 391 articlesautomated reasoningSign in to saveAlso known as reasoningsubfield of computer science and logicWikidata factsPart oflogicShow 1 more facttopic's main categoryCategory:Automated reasoningSources (4)wikidata.orggithub.comdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 22 languagesEspañolFrançais中文日本語PortuguêsItalianoالعربيةहिन्दीAfrikaansArmenianBasqueCatalanDanishPolskiSerbianTiếng ViệtTürkçeUkrainianShow 3 morezh_yueفارسی한국어via Wikidata sitelinks · CC0