solutionType
P4453
predicate
Indicates the specific category or kind of solution associated with an entity or problem.
All labels observed (18)
| Label | Occurrences |
|---|---|
| hasSolutionType | 35 |
| solutionType canonical | 20 |
| resolutionApproach | 7 |
| solutionCategory | 6 |
| offeredSolutionType | 4 |
| proposedSolutionType | 4 |
| typeOfSolution | 4 |
| hasSolutionForm | 3 |
| hasSolutionMethod | 3 |
| proposesSolutionType | 3 |
| hasStandardSolutionMethod | 2 |
| exactSolution | 1 |
| hasOneSolitonSolutionForm | 1 |
| isSolutionType | 1 |
| solutionConcept | 1 |
| solutionFamily | 1 |
| solvesEquationType | 1 |
| формаРешения | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: solutionType
Generated description
Indicates the specific category or kind of solution associated with an entity or problem.
Sample triples (98)
| Subject | Object |
|---|---|
| Schwarzschild black hole | vacuum solution ⓘ |
| Russell’s paradox | restricting set formation by axioms via predicate surface "resolutionApproach" ⓘ |
| Russell’s paradox | using type hierarchies to block self-membership via predicate surface "resolutionApproach" ⓘ |
| Fokker–Planck equation | probability density function over state space via predicate surface "hasSolutionType" ⓘ |
| Reissner–Nordström metric | static spherically symmetric electrovacuum solution via predicate surface "isSolutionType" ⓘ |
| Rubinstein bargaining model | subgame perfect Nash equilibrium via predicate surface "solutionConcept" ⓘ |
| Dirac equation | positive-energy solutions via predicate surface "hasSolutionType" ⓘ |
| Dirac equation | negative-energy solutions via predicate surface "hasSolutionType" ⓘ |
| Stokes flow | often solvable by linear superposition via predicate surface "hasSolutionType" ⓘ |
|
Ising models
surface form:
Ising model
|
two-dimensional zero-field case via predicate surface "exactSolution" ⓘ |
| Kolmogorov backward equation | value function of a stochastic process ⓘ |
| Smoluchowski coagulation equation | self-similar solutions via predicate surface "hasSolutionType" ⓘ |
| Smoluchowski coagulation equation | scaling solutions via predicate surface "hasSolutionType" ⓘ |
| Gross–Pitaevskii equation | stationary states via predicate surface "hasSolutionType" ⓘ |
| Gross–Pitaevskii equation | time-dependent solutions via predicate surface "hasSolutionType" ⓘ |
| Gross–Pitaevskii equation | vortex lattice states via predicate surface "hasSolutionType" ⓘ |
| Gross–Pitaevskii equation | dark solitons via predicate surface "hasSolutionType" ⓘ |
| Gross–Pitaevskii equation | bright solitons via predicate surface "hasSolutionType" ⓘ |
| Berry paradox | formalization of the notion of definition via predicate surface "resolutionApproach" ⓘ |
| Berry paradox | use of precise syntactic measures instead of informal word counts via predicate surface "resolutionApproach" ⓘ |
| Bethe–Salpeter equation |
Bethe–Salpeter equation
self-linksurface differs
ⓘ
surface form:
Bethe–Salpeter amplitude
|
| Bethe–Salpeter equation | two-particle wave function in momentum space ⓘ |
| L'Extinction du paupérisme | state-led social reform via predicate surface "proposesSolutionType" ⓘ |
| L'Extinction du paupérisme | economic reorganization via predicate surface "proposesSolutionType" ⓘ |
|
“Domestic Marshall Plan” for American cities
surface form:
Domestic Marshall Plan for American cities
|
large-scale public investment via predicate surface "proposedSolutionType" ⓘ |
|
“Domestic Marshall Plan” for American cities
surface form:
Domestic Marshall Plan for American cities
|
job creation programs via predicate surface "proposedSolutionType" ⓘ |
|
“Domestic Marshall Plan” for American cities
surface form:
Domestic Marshall Plan for American cities
|
housing and infrastructure investment via predicate surface "proposedSolutionType" ⓘ |
| Klein–Gordon equation | plane waves via predicate surface "hasSolutionType" ⓘ |
| Halting problem | no total computable function decides it ⓘ |
| Schrödinger equation | stationary states via predicate surface "hasSolutionType" ⓘ |
| Schrödinger equation | wave packets via predicate surface "hasSolutionType" ⓘ |
| Bloch equations | exponential relaxation via predicate surface "hasSolutionType" ⓘ |
| Bloch equations | sinusoidal precession via predicate surface "hasSolutionType" ⓘ |
| Roadmap for Peace | two-state solution via predicate surface "proposesSolutionType" ⓘ |
| Kovalevskaya top | separation of variables via predicate surface "hasSolutionMethod" ⓘ |
| Kovalevskaya top | complex analytic methods via predicate surface "hasSolutionMethod" ⓘ |
| Kovalevskaya top | theta-function solutions via predicate surface "hasSolutionMethod" ⓘ |
| Cauchy–Kovalevskaya theorem | real-analytic solution ⓘ |
| Cauchy–Kovalevskaya theorem | complex-analytic solution ⓘ |
| Cauchy–Euler equation | power-law ansatz y = x^m via predicate surface "hasStandardSolutionMethod" ⓘ |
| Cauchy–Euler equation | reduction to constant-coefficient ODE via logarithmic change of variables via predicate surface "hasStandardSolutionMethod" ⓘ |
| Cauchy–Euler equation | y = C1 x^{m1} + C2 x^{m2} (distinct real roots) via predicate surface "hasSolutionForm" ⓘ |
| Cauchy–Euler equation | y = C1 x^{m} + C2 x^{m} ln x (repeated root) via predicate surface "hasSolutionForm" ⓘ |
| Cauchy–Euler equation | y = x^{ ho} [C1 \, cos(eta \, ln x) + C2 \, sin(eta \, ln x)] (complex roots) via predicate surface "hasSolutionForm" ⓘ |
| Peel Commission partition proposal | territorial partition via predicate surface "proposedSolutionType" ⓘ |
| UTC Climate, Controls & Security | products via predicate surface "offeredSolutionType" ⓘ |
| UTC Climate, Controls & Security | services via predicate surface "offeredSolutionType" ⓘ |
| UTC Climate, Controls & Security | systems via predicate surface "offeredSolutionType" ⓘ |
| UTC Climate, Controls & Security | integrated solutions via predicate surface "offeredSolutionType" ⓘ |
| brachistochrone problem | one-parameter family of cycloidal arcs through given endpoints via predicate surface "solutionFamily" ⓘ |