claim
active
claim:implications-are-nice-clauses-are-notImplications are nice, clauses are not.
Assertion about the practical advantages of implications over full propositional clauses.
Neighborhood — ranked by edge-count
Concepts (1)
concept
- implicationassociated_withImplication A → B holds in a formal context iff every object that has all attributes in A also has all in B.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Trade-off between internal and public obligations.
- Statement about the client's satisfaction after anxious delays.
- Claim about the limited utility of natural language surface features.
- Property of denotative programming from Landin.
- Why concepts are needed to make sense of complex systems.
- Conditional prediction that a header inflects the reading of the text block.
- Open problem on the expressiveness of commitment sentences.