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 logicAvailable in 22 languagesEspañolFrançais中文日本語PortuguêsItalianoالعربيةहिन्दीAfrikaansArmenianBasqueCatalanDanishPolskiSerbianTiếng ViệtTürkçeUkrainianShow 3 morezh_yueفارسی한국어via Wikidata sitelinks · CC0