formulaType
P79480
predicate
Indicates the specific kind or category of formula associated with an entity or expression.
Observed surface forms (3)
- hasFormulaType ×2
- opticalFormulaType ×2
- formulaStructure ×1
Sample triples (8)
| Subject | Object |
|---|---|
| 3-SAT | conjunction of clauses ⓘ |
| Carl Zeiss Tessar | four-element lens via predicate surface "opticalFormulaType" ⓘ |
| Carl Zeiss Tessar | three-group lens via predicate surface "opticalFormulaType" ⓘ |
| Fourier series | complex Fourier series via predicate surface "hasFormulaType" ⓘ |
| Fourier series | real Fourier series via predicate surface "hasFormulaType" ⓘ |
| Hirzebruch signature theorem | characteristic number formula ⓘ |
| Jacobi’s four-square theorem | multiplicative in n ⓘ |
| Max-3-SAT | conjunction of 3-literal clauses via predicate surface "formulaStructure" ⓘ |