closedFormulasUse
P191728
predicate
Indicates that one entity makes use of or operates with closed formulas (fully quantified, variable-free logical expressions) in relation to another entity or context.
Sample triples (1)
| Subject | Object |
|---|---|
| Newton–Cotes formulas | nodes including both endpoints ⓘ |