moreExpressiveThan
P67146
predicate
Indicates that one entity conveys ideas, emotions, or information with greater richness, nuance, or clarity than another.
Sample triples (6)
| Subject | Object |
|---|---|
| Backus–Naur Form | regular expressions for nested structures ⓘ |
| R6RS syntax-case macros | R5RS syntax-rules macros NERFINISHED ⓘ |
| Van Wijngaarden grammars | context-free grammars ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
CTL NERFINISHED ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
CTL* ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
LTL NERFINISHED ⓘ |