Home›Browse›temporal logic🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTürkçeРусскийفارسی한국어中文日本語EntityQ781833· pop 25· linked from 151 articlestemporal logicSign in to savesystem for representing and reasoning about timeAvailable in 23 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsCatalanCzechEsperantoFinnishGreekHebrewIrishNederlandsPolskiSlovakSvenskaShow 4 moreTürkçeUkrainianفارسی한국어via Wikidata sitelinks · CC0