Tense operators on bounded semihoops (Q3307352)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Tense operators on bounded semihoops |
scientific article; zbMATH DE number 7234506
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tense operators on bounded semihoops |
scientific article; zbMATH DE number 7234506 |
Statements
12 August 2020
0 references
semihoops
0 references
tense operator
0 references
tense filter
0 references
maximal tense filter
0 references
0.7892938852310181
0 references
0.7782652974128723
0 references
0.7633659243583679
0 references
0.7611986994743347
0 references
0.7605135440826416
0 references
