Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
fields of characteristic 0
|
| gptkbp:concerns |
linear recurrence sequences
|
| gptkbp:field |
number theory
|
| gptkbp:namedAfter |
gptkb:Kurt_Mahler
gptkb:Thoralf_Skolem gptkb:Christer_Lech |
| gptkbp:relatedTo |
gptkb:Skolem's_problem
linear difference equations |
| gptkbp:state |
the set of zeros of a linear recurrence sequence over a field of characteristic 0 is the union of a finite set and finitely many full arithmetic progressions
|
| gptkbp:yearProved |
1934
|
| gptkbp:bfsParent |
gptkb:Thoralf_Skolem
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Skolem–Mahler–Lech theorem
|