Linear temporal logic (Q1536492)
Jump to navigation
Jump to search
field of mathematical logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear temporal logic |
field of mathematical logic |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(11 entries)
- dewiki Lineare temporale Logik
- elwiki Γραμμική χρονική λογική
- enwiki Linear temporal logic
- fawiki منطق موقت خطی
- frwiki Logique temporelle linéaire
- itwiki Logica temporale lineare
- jawiki 線形時相論理
- kowiki 선형 시제 논리
- plwiki Logika LTL
- ptwiki Lógica temporal linear
- zhwiki 线性时序逻辑
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Linear temporal logic