Inventory: S
The rows of the inventory whose names start with S. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3401–3500 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SKFREXH6W9 | SKFREXH6W9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19088#CE12 |
| SKG0Q89F6N | SKG0Q89F6N | proof | open | napkin tex/set-theory/models.tex#proof-2 |
| SKGQJ6E2C1 | SKGQJ6E2C1 | exercise | open | lebl_ra ch-real-nums.tex#exercise-39 |
| SKH9VKVMZT | SKH9VKVMZT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36509#JDTD |
| SKHJMQDPS2 | SKHJMQDPS2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34193#YYXC |
| SKHKBB7V3M | SKHKBB7V3M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.3429#JHMD |
| skips are hollow simplices | 7JQRHQGCN7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32733#CAOP |
| Skirting | DVZ9PBPXE5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0003117#TDOS |
| SKJ3M81X7M | SKJ3M81X7M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38844#LNH5 |
| SKK47S0X27 | SKK47S0X27 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10576#1ZUF |
| SKK9D78Z3M | SKK9D78Z3M | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38556#5MVA |
| SKKCFMYQ6N | SKKCFMYQ6N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05652#AIP0 |
| SKKSN7TX2J | SKKSN7TX2J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19360#6GCR |
| Sklar's theorem | K8HYFPYSTH | statement | open | Wikidata Q114159029, MathWorld SklarsTheorem |
| SKM8XM38H9 | SKM8XM38H9 | exercise | open | lebl_scv scv.tex#exercise-99 |
| SKMNA3B7WF | SKMNA3B7WF | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22074#7W5Z |
| Skoda | 2RMCGR9EA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33300#WUHG |
| Skoda | Q6CMJSM0Q9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33300#NLMD |
| Skoda–El Mir theorem | 244Y42NYE3 | statement | open | mathlib_1000 Q7536097, Wikidata Q7536097, thousand_plus Q7536097, Wikipedia Skoda–El Mir theorem |
| Skolem function | J4M37F0DY4 | unknown | open | Wikidata Q121335944, EoM Skolem_function, MathWorld SkolemFunction |
| Skolem normal form | JEWXVDF11J | concept | open | Wikidata Q1090524, MathWorld SkolemizedForm |
| Skolem's paradox | DHGJ9FCGGR | concept | open | Wikidata Q1096353, MathWorld SkolemParadox, nLab Skolem's paradox |
| Skolem's Paradox | PRM08MTH40 | example | open | open_logic content/first-order-logic/completeness/downward-ls.tex#ex-1 |
| Skolem--Bang | BX59T98BZ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05776#CCG2 |
| Skolem–Mahler–Lech theorem | YTJZKNGKP8 | statement | open | mathlib_1000 Q2374733, Wikidata Q2374733, thousand_plus Q2374733, Wikipedia Skolem–Mahler–Lech theorem, MathWorld Mahler-LechTheorem, MathWorld Skolem-Mahler-LechTheorem |
| Skolem–Noether theorem | RHXD07XE06 | statement | open | mathlib_1000 Q3001796, Wikidata Q3001796, thousand_plus Q3001796, Wikipedia Skolem–Noether theorem |
| Skorokhod | R556CYRXT1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.04968#ZW1M |
| Skorokhod's embedding theorem | M8XR7SSQ43 | statement | open | mathlib_1000 Q7536350, Wikidata Q7536350, thousand_plus Q7536350, Wikipedia Skorokhod's embedding theorem |
| Skorokhod's representation theorem | KHY9CDPP98 | statement | open | mathlib_1000 Q401905, Wikidata Q401905, thousand_plus Q401905, Wikipedia Skorokhod's representation theorem |
| SKPBN6V4ET | SKPBN6V4ET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05602#GKGZ |
| SKQ1KBQDYZ | SKQ1KBQDYZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.0174#Z49Z |
| SKQQCSY34V | SKQQCSY34V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25167#CUNM |
| SKQS0BGG94 | SKQS0BGG94 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16081#VEWX |
| SKR0QXYCQ5 | SKR0QXYCQ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26521#LR1W |
| SKRM6ZKHZK | SKRM6ZKHZK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12295#9L4P |
| SKRZS24MMG | SKRZS24MMG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24206#Z8UP |
| SKSYPG5PVN | SKSYPG5PVN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12014#PIPV |
| SKTNRS1ZSJ | SKTNRS1ZSJ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39593#U50E |
| SKTXJF74JX | SKTXJF74JX | unknown | open | |
| SKV4WRBFED | SKV4WRBFED | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-8 |
| SKVDSM7XSH | SKVDSM7XSH | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11545#KLR2 |
| SKX3DH7V8R | SKX3DH7V8R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10086#3OL3 |
| SKX6G24HW4 | SKX6G24HW4 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18016#XX8N |
| SKXP5XRN8C | SKXP5XRN8C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30895#W7ZI |
| SKXYMZ6T83 | SKXYMZ6T83 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05986#DP7H |
| SKYEM6D2Y7 | SKYEM6D2Y7 | example | open | napkin tex/linalg/eigenvalues.tex#example-4 |
| skyrmion | XA5GRF3T6N | unknown | open | Wikidata Q1041630, nLab skyrmion |
| Skyscraper quotients | 2VRMFY1PNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#MMTB |
| SKZV70W1T3 | SKZV70W1T3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19249#XHN7 |
| Slack consumption and lateness | VE2FJS63QC | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39269#91Z3 |
| Slack is Nonnegative | S03DZR4E7Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03769#DT9M |
| Slack, and its absence | 8Y5AMWDZAC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25120#6NDM |
| Slacks of the initial pairs | 4VTRJ9F5AB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09912#6C8X |
| Slant height | KTTGNBGZ7P | concept | open | Wikidata Q7538676, MathWorld SlantHeight |
| slant product | RHVAQA2ZMR | unknown | open | Wikidata Q140532065, nLab slant product |
| slepton | 5VVAHXFMEC | unknown | open | Wikidata Q6130374, nLab slepton |
| slice knot | 50WCQD4XK9 | unknown | open | Wikidata Q7540228, MathWorld SliceKnot |
| Slice splitting balances GEMM against conversion, making the whole $O(p^{1.5})$ | CJZXARH44Z | unknown | open | arXiv 2609.29554#EUK7 |
| Slice surface and slice genus | JFHRB7RHSZ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10206#4DF7 |
| Slice surface of genus one for the trefoil | T3F9SYR9VZ | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10206#WIMA |
| slice theorem | BWXSEX7ENT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#2OL7 |
| Slice--ribbon conjecture | DS0BPH8TFW | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10206#5UPM |
| Slice--ribbon for three-strand pretzel knots | 5EBJQ2XE9M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34522#NFMT |
| Slice-to-pairwise recovery | HHW1EH33PF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24314#XKIC |
| Slice-torus bound on the weak slice genus | 571MQQPHNA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10206#WB6G |
| Slices | K063D2ZKS9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02833#SD8I |
| slide rule | FYHNTD4WKZ | definition | open | Wikidata Q190667, MathWorld SlideRule, ProofWiki Definition:Slide_Rule |
| slope | 4P765SR866 | definition | open | Wikidata Q275447, MathWorld Slope, ProofWiki Definition:Slope |
| Slope at equilibrium | 4M2JFPQV48 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06480#L3XD |
| slope field | 5JB8AD3VH1 | unknown | node (a node has the same name as the row) | Wikidata Q2336508, MathWorld SlopeField |
| slope field | GBA0RW02FK | concept | open | active_calculus index/7.2.2/slope-field |
| Slope stability | 3VQMXG87YX | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05652#KSLM |
| Slope transform | 4VW2JHHJQ8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05652#QAQD |
| Slopes | RW4BTCDGA1 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07905#LY1L |
| Slopes of a cut | JMRMJV2GK7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12713#F9ZH |
| Slovakia | A3ZKFXSK1M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q214, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Slovakia |
| Slow ODE global asymptotic stability | WRBGE7EBC7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27741#27OY |
| Slow profile, exact far field and symmetry | 5HT9QT8JHS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00339#ECST |
| Slow-mode diagnostics | RADT3Z8X2V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20020#CVRT |
| Slow-time dichotomy | 491WKRGFD8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19953#IZNU |
| Slutsky's Theorem | AJZ3ZKYBF0 | statement | open | arXiv 2508.02432#ECGX, mathlib_1000 Q643826, Mathlib MeasureTheory.TendstoInDistribution.continuous_comp_prodMk_of_tendstoInMeasure_const, Wikidata Q643826, thousand_plus Q643826, Wikipedia Slutsky's theorem |
| SM1A5YP7SY | SM1A5YP7SY | statement | open | napkin tex/calculus/differentiate.tex#proposition-1 |
| SM1NQR9R9Z | SM1NQR9R9Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#HG0U |
| SM2492PJ8E | SM2492PJ8E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26769#9QJC |
| SM27FKSQGJ | SM27FKSQGJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0709.4546#2A53 |
| SM2DXX4EMH | SM2DXX4EMH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09989#WPCA |
| SM2FQT013P | SM2FQT013P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24902#QXMP |
| SM3DXCH47A | SM3DXCH47A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14068#9W8C |
| SM3JN0PTEK | SM3JN0PTEK | example | open | applied_combinatorics source/s_strings_bin-coeff.ptx#example-5 |
| SM3Y7NPTK4 | SM3Y7NPTK4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30664#768M |
| SM46B5EMW7 | SM46B5EMW7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00914#EYLI |
| SM4J2H64ZV | SM4J2H64ZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18239#J8MX |
| SM4N5N7ZDP | SM4N5N7ZDP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13142#K56O |
| SM5114N9VX | SM5114N9VX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#5PWU |
| SM59ZXT861 | SM59ZXT861 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09133#QGA6 |
| SM5T9MC82B | SM5T9MC82B | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30315#ZLQ8 |
| SM68MH6BFP | SM68MH6BFP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01694#E1I3 |
| SM6EDBZAXP | SM6EDBZAXP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.11346#3S7W |
| SM6N0EXRB1 | SM6N0EXRB1 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28552#UJ54 |
| SM6P95JVBA | SM6P95JVBA | exercise | open | lebl_scv scv.tex#exercise-85 |