OEIS
P43794
predicate
Indicates that there is a relationship to the On-Line Encyclopedia of Integer Sequences, typically referencing or identifying a specific integer sequence entry.
All labels observed (8)
| Label | Occurrences |
|---|---|
| OEISID | 4 |
| hasOEISIndex | 3 |
| isInOEIS | 2 |
| OEIS canonical | 1 |
| a(17) | 1 |
| a(18) | 1 |
| a(20) | 1 |
| hasOEISID | 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: OEIS
Generated description
Indicates that there is a relationship to the On-Line Encyclopedia of Integer Sequences, typically referencing or identifying a specific integer sequence entry.
Sample triples (14)
| Subject | Object |
|---|---|
| Euler’s totient function φ(n) |
Euler’s totient function φ(n)
self-linksurface differs
ⓘ
surface form:
OEIS sequence A000010
|
| Ulam sequence | A002858 via predicate surface "hasOEISID" ⓘ |
| Fermat number | A000215 via predicate surface "OEISID" ⓘ |
| OEIS A064988 | A064988 via predicate surface "hasOEISIndex" ⓘ |
| OEIS A064988 | true via predicate surface "isInOEIS" ⓘ |
| Catalan numbers | A000108 via predicate surface "OEISID" NERFINISHED ⓘ |
| Bell numbers | A000110 via predicate surface "OEISID" ⓘ |
| OEIS A002849 | A002849 via predicate surface "hasOEISIndex" ⓘ |
| OEIS A002849 | true via predicate surface "isInOEIS" ⓘ |
| OEIS A002851 | A002851 via predicate surface "hasOEISIndex" ⓘ |
| OEIS A002851 | 86684206303811924264506937974806264397824 via predicate surface "a(17)" ⓘ |
| OEIS A002851 | 11329486984216510280478004555860467490438287360 via predicate surface "a(18)" ⓘ |
| OEIS A002851 | 1543267864443420616578444368765248254899281625116672 via predicate surface "a(20)" ⓘ |
| Dedekind number | A000372 via predicate surface "OEISID" ⓘ |