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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 1701–1800 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Sauer-Shelah lemma | 79RTAZ5VNV | unknown | open | mathlib_overview Combinatorics > Set families > Sauer-Shelah lemma, Mathlib Finset.card_shatterer_le_sum_vcDim |
| Sauer–Shelah lemma | 4CK16PW9E4 | statement | open | Wikipedia Sauer–Shelah lemma, Wikidata Q17156650 |
| Saul Brandman | 4065AX9SH8 | unknown | open | Wikipedia List of University of California, Los Angeles people#PT2P |
| Saul Friedländer | BKV8WS5HN0 | unknown | open | Wikipedia List of University of California, Los Angeles people#8IE3 |
| Saul Kaplun | AVSTPBVH4W | topic | open | Wikipedia Saul Kaplun, Wikidata Q96364343 |
| Saul Kripke | 2T1ZV0C96X | topic | open | Wikipedia List of logicians#Z24J |
| Saul Kripke | 97GK4ABZ1A | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q298521, nLab Saul Kripke, Wikipedia Saul Kripke |
| Saul Kripke | R44C4RMTER | topic | open | Wikipedia List of people by Erdős number#JUB3 |
| Saul Kripke Center | PDG74GH5F0 | unknown | open | Wikipedia Saul Kripke#Z7FL |
| Saul Teukolsky | SFF6FM8G32 | unknown | open | Wikipedia List of contributors to general relativity#H8UC |
| Saunders Mac Lane | A77XHXTKN7 | topic | open | Wikipedia List of logicians#DMQG |
| Saunders Mac Lane | R726JZNFX5 | topic | open | Wikipedia List of publications in mathematics#D5L8 |
| Saunders Mac Lane | SXC6T9KBKV | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q441223, nLab Saunders Mac Lane, Wikipedia Saunders Mac Lane |
| Saunders Mac Lane | VWVMNPMATS | topic | open | Wikipedia List of people by Erdős number#K69F |
| Sausage conjecture | M9RC4GH8N3 | statement | open | Wikipedia Finite sphere packing#4PB8 |
| Sausages and sausage-walks for LAs | A0Q13EHMEN | 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 1905.02785#DT8Y |
| Sauveur Carrus | 5WJYNPPR81 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3X89 |
| SAV74R90EQ | SAV74R90EQ | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-1 |
| Sava Grozdev | 18QSXDGTXG | topic | open | Wikipedia Sava Grozdev, Wikidata Q7427665 |
| SAVA6H3P8S | SAVA6H3P8S | 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 2609.30444#M5ZD |
| Savage's representation theorem | 7BAF0QRWX5 | statement | open | Wikipedia Expected utility hypothesis#6A0C |
| Savage, I. Richard | 5SXBX5F03K | topic | open | Wikipedia List of statisticians#58Y8 |
| Savage, Leonard Jimmie | J4P1YVC6ZM | unknown | open | Wikipedia List of statisticians#HN2Q |
| Savas Dimopoulos | 4FHVZWYDMX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1386035, nLab Savas Dimopoulos |
| Savdeep Sethi | HA3YVR54VV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59672168, nLab Savdeep Sethi |
| Saving the phenomena | R3EKPTVE0H | unknown | open | Wikipedia Scientific formalism#1XIB |
| Saviour Montebello | M77KZ2X2EN | topic | open | Wikipedia Saviour Montebello, Wikidata Q16858044 |
| Savitch's theorem | 6MYGJ1XNSA | statement | open | Wikipedia SL (complexity)#8OB0 |
| Savitch's theorem | 7VPSJG6R1P | statement | open | Wikipedia List of theorems#ADQ4 |
| Savitch's theorem | C53SRAQA48 | statement | open | mathlib_1000 Q954210, Wikidata Q954210, thousand_plus Q954210, Wikipedia Savitch's theorem |
| Savitch's theorem | HMB4RJHXSS | statement | open | Wikipedia Complexity class#LAKU |
| Savitch's theorem | XGTZ54PHZP | statement | open | Wikipedia List of computability and complexity topics#L5OP |
| Savitzky–Golay filter | V8EWDENMRH | definition | open | Wikipedia Savitzky–Golay filter, Wikidata Q1228952 |
| Savitzky–Golay smoothing filter | DNAKHH6QGJ | definition | open | Wikipedia List of statistics articles#633S |
| SAVVKJH12G | SAVVKJH12G | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-10 |
| Saw Swee Hock | C8DK51SECF | topic | open | Wikipedia Saw Swee Hock, Wikidata Q55632643 |
| Saw Swee Hock School of Public Health | WPZYDZAGR6 | unknown | open | Wikipedia National University of Singapore#VAEN |
| SAWCM284W6 | SAWCM284W6 | statement | open | open_logic content/computability/computability-theory/rice-theorem.tex#cor-1 |
| Sawilowsky, Shlomo | 5Z8VZ4W725 | topic | open | Wikipedia List of statisticians#TKSF |
| Sawmill | 34BYQ8BZ1M | definition | open | Wikipedia Sawmill (software), Wikidata Q7428658 |
| sawtooth wave | ZWPWRVPYSJ | definition | open | Wikidata Q1742397, MathWorld SawtoothWave, Wikipedia Sawtooth wave |
| SAX421E8NG | SAX421E8NG | 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.28203#AARZ |
| SAXC7SVQSM | SAXC7SVQSM | unknown | open | arXiv 2610.13680#RCV9 |
| SAXEXY7Q6G | SAXEXY7Q6G | 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.14435#ISCY |
| Saxon--Wilansky | EW7WGPY7AF | 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.00584#JJ36 |
| SAXQ5H04M9 | SAXQ5H04M9 | 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.20798#I1TT |
| Say | DSFZ4G844W | definition | open | Wikipedia Glossary of game theory#QK65 |
| SAY1Y8QJ8F | SAY1Y8QJ8F | 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 2511.12649#R97O |
| SAY2Z6SGT7 | SAY2Z6SGT7 | 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.04993#ZJJR |
| SAY8KDNQJ3 | SAY8KDNQJ3 | 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.39700#8NP2 |
| SAYE0DAHY9 | SAYE0DAHY9 | 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.26851#41ND |
| SAYFJKEBR7 | SAYFJKEBR7 | 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.20972#8YUT |
| Saying is believing effect | K6FMT66RTD | unknown | open | Wikipedia List of cognitive biases#G8Z7 |
| SAYJSK90FY | SAYJSK90FY | problem | 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.13833#LUF7 |
| SAYKCBPCYT | SAYKCBPCYT | 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.14783#X4M6 |
| Sayre equation | RRXMXRFMSG | definition | open | Wikipedia Sayre equation, Wikidata Q7429303 |
| SAYVHBNHZ2 | SAYVHBNHZ2 | 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.35183#R4G3 |
| SAZHJZNNRY | SAZHJZNNRY | 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.03126#8EY9 |
| Sazonov's theorem | 4ED30E27JF | statement | open | Wikipedia List of theorems#TXJJ |
| Sazonov's theorem | 4NZ17YA1KV | statement | open | mathlib_1000 Q4455023, Wikidata Q4455023, thousand_plus Q4455023, Wikipedia Sazonov's theorem |
| Sazonov's theorem | 8TV1QK5KRE | statement | open | Wikipedia List of statistics articles#5BVH |
| SB06FM17JW | SB06FM17JW | proof | open | lebl_ra ch-approximate.tex#proof-9 |
| SB0BACA6PG | SB0BACA6PG | 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.08382#LRXG |
| SB0GK2WZ3B | SB0GK2WZ3B | 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.20760#9DL7 |
| SB0HD2FZV1 | SB0HD2FZV1 | 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.25524#8IHV |
| SB0NTAR7P9 | SB0NTAR7P9 | 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.02993#PN3F |
| SB1044FGCE | SB1044FGCE | 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.05722#EPV3 |
| SB17QK8CW2 | SB17QK8CW2 | 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.11271#K2MI |
| SB1GAFJ9TA | SB1GAFJ9TA | 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.26896#IC9C |
| SB1W3YPZTZ | SB1W3YPZTZ | 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.28518#EW7Y |
| SB1YWZ1T54 | SB1YWZ1T54 | 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.22218#07XF |
| SB2DPFBFK9 | SB2DPFBFK9 | 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.04069#A8HA |
| SB2G938FGS | SB2G938FGS | 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.01354#J2BZ |
| SB2PPVE6F0 | SB2PPVE6F0 | 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.13229#DWT7 |
| SB3PZ37EK1 | SB3PZ37EK1 | 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.22074#JBDJ |
| SB43K54GEQ | SB43K54GEQ | 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.24463#F9DU |
| SB48E6HAE7 | SB48E6HAE7 | statement | open | napkin tex/complex-ana/holomorphic.tex#theorem-1 |
| SB52DN2P29 | SB52DN2P29 | 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.09201#LL4X |
| SB53HG93TR | SB53HG93TR | 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.31527#8FHS |
| SB5CVP0K8W | SB5CVP0K8W | 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.06466#4I6X |
| SB5KZPYM4Q | SB5KZPYM4Q | 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.26600#O71O |
| SB5MM3G8CQ | SB5MM3G8CQ | 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.17116#4TQ6 |
| SB67JR45XA | SB67JR45XA | 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.21703#MBIO |
| SB6AP11RSH | SB6AP11RSH | problem | 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.30407#EH1G |
| SB6N9QC1PJ | SB6N9QC1PJ | 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 2204.07227#QF0X |
| SB75FK837X | SB75FK837X | statement | open | napkin tex/alg-geom/affine-var.tex#theorem-2 |
| SB7JNF4AQ7 | SB7JNF4AQ7 | 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.00584#R6X9 |
| SB893FBTBE | SB893FBTBE | 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.11047#CGM7 |
| SB8GZAVQTP | SB8GZAVQTP | 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 2402.00465#Z4QD |
| SB99JJCQ3V | SB99JJCQ3V | 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 2303.09207#IRMF |
| SB9D5KCEBA | SB9D5KCEBA | 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.22952#7XMU |
| SB9MCG5DMM | SB9MCG5DMM | 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.04179#FZFS |
| SBAA7Y23TW | SBAA7Y23TW | exercise | open | napkin tex/calculus/integrate.tex#exercise-1 |
| SBBHH9J3BH | SBBHH9J3BH | 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.10881#3DFO |
| SBBJ3JEZK0 | SBBJ3JEZK0 | definition | open | napkin tex/homology/excision.tex#definition-4 |
| SBC53AQYRQ | SBC53AQYRQ | 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.37606#0HML |
| SBCPQJBDQ1 | SBCPQJBDQ1 | 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.38243#CRF9 |
| SBCX6A6YJ8 | SBCX6A6YJ8 | 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.26340#J3FT |
| SBD2BTVDVV | SBD2BTVDVV | 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.31249#REH0 |
| SBDCCY8Q5N | SBDCCY8Q5N | 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.10377#7CXR |