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 1501–1600 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Scope | RCRFEXJXTK | definition | open | open_logic content/lambda-calculus/syntax/free-variables.tex#defn-1 |
| scope | Z44EMEEY4E | concept | open | hott_book index/sec:formal-prelim/scope |
| Scope of the smooth strongly convex lower bounds | QAZMEGRCTP | 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.33021#ABSI |
| score | PVV53P3S2X | unknown | open | Wikidata Q3952743, MathWorld ScoreFunction |
| Score and monotonicity identities | Q9ZA9C0SG7 | 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.33008#N6JI |
| Score perturbation for a diagonal OU step | EXYJ8JW42N | 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.10640#JAJU |
| Scott | S1DS27GVSZ | concept | open | hott_book index/8.8/scott |
| Scott Aaronson | QF4YFWWC4N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4054157, nLab Scott Aaronson |
| Scott core theorem | G8VCT5HGG6 | statement | open | mathlib_1000 Q7437564, Wikidata Q7437564, thousand_plus Q7437564, Wikipedia Scott core theorem |
| Scott Tremaine | 1RAZVVXP80 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q363194, nLab Scott Tremaine |
| Scott's trick | PC3YKADB9V | unknown | open | Wikidata Q7435833, nLab Scott's trick |
| Scott--Huggins martingale embedding | FHNSGZ10PY | 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.40338#5ZZ9 |
| Scott--Sokal tree bound | SFCJZ1G6YG | 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.25038#EKOM |
| SCQ4BJ5HPY | SCQ4BJ5HPY | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-20 |
| SCQ5MC72XD | SCQ5MC72XD | 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.04434#SMBJ |
| SCQ8HT0CPM | SCQ8HT0CPM | 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.40207#5UOC |
| SCQ924HSWC | SCQ924HSWC | 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 2206.12966#M1CV |
| SCR5YF3R7K | SCR5YF3R7K | 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 2501.17009#V910 |
| Screened observable distance | 2KD4ZVGMQD | 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.26262#OUQ7 |
| Screened projected-image comparison | G383JG6PR1 | 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.09472#UFGN |
| SCRHHAJN3J | SCRHHAJN3J | 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 0808.1331#834I |
| Scripta Mathematica | 11JGSWTF77 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q7439226, ProofWiki Book:Journal/Scripta_Mathematica |
| SCRP7WKMA1 | SCRP7WKMA1 | 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 2506.07061#3S3Y |
| SCRRXYN5AV | SCRRXYN5AV | 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 1903.07030#VWYM |
| scruple | PJGGW4B76A | unknown | open | Wikidata Q1573593, MathWorld Scruple |
| SCS1DXXY1V | SCS1DXXY1V | 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.26496#YODR |
| SCSAZNRAFQ | SCSAZNRAFQ | 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.18302#NFTC |
| SCSSRRTFQS | SCSSRRTFQS | 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.12544#VP6C |
| SCSTWKZH96 | SCSTWKZH96 | 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.24917#5AW2 |
| SCSWYTKMQH | SCSWYTKMQH | 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.28195#YZ9F |
| SCTPVEV1R8 | SCTPVEV1R8 | 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 2405.14678#26D8 |
| SCTXZNZRF6 | SCTXZNZRF6 | 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.15643#PB59 |
| SCV477PM3A | SCV477PM3A | 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.27125#IA3Y |
| SCVAQZGYR2 | SCVAQZGYR2 | exercise | open | napkin tex/alg-geom/mor-scheme.tex#ques-6 |
| SCVS4502JX | SCVS4502JX | 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.29498#JQAW |
| SCWHX8ZC41 | SCWHX8ZC41 | 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.10505#EY0V |
| SCWPTZRGC5 | SCWPTZRGC5 | 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.35030#91B9 |
| SCWQVXKN5Q | SCWQVXKN5Q | 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.18847#THMD |
| SCXDCY3PPT | SCXDCY3PPT | 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.01354#BTI6 |
| SCXGETPZ2G | SCXGETPZ2G | proof | open | open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#proof-4 |
| SCY0N6N3H2 | SCY0N6N3H2 | 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.26762#K7MZ |
| SCY5DD2TB4 | SCY5DD2TB4 | 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.12810#O6L6 |
| SCZG55HYG1 | SCZG55HYG1 | 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.25973#7NVP |
| SCZV90F0ZR | SCZV90F0ZR | 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.13180#QSKA |
| SCZXTVZWQB | SCZXTVZWQB | 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.32174#65VK |
| SD0Q5E9CKC | SD0Q5E9CKC | 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#CCWL |
| SD0WV93ETV | SD0WV93ETV | example | open | lebl_ra ch-seq-ser.tex#ps:divergeex |
| SD16PEBMZM | SD16PEBMZM | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-56 |
| SD18C8ZJG4 | SD18C8ZJG4 | 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.32174#HXM6 |
| SD1CKVGRCZ | SD1CKVGRCZ | 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.28742#LZHR |
| SD1GXZ84BA | SD1GXZ84BA | 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.04434#ESNN |
| SD1Y0JFZHE | SD1Y0JFZHE | 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.03520#ZW08 |
| SD1ZGF0H4P | SD1ZGF0H4P | 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 2504.00596#P6UG |
| SD248QN66M | SD248QN66M | exercise | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-1 |
| SD2W7GXQK9 | SD2W7GXQK9 | 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.25168#XY3W |
| SD3784621F | SD3784621F | exercise | open | hott_book hits.tex#ex:monoid-eq-prop |
| SD3QD606T8 | SD3QD606T8 | 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.00113#SG0B |
| SD3RE47ZES | SD3RE47ZES | 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#EBT5 |
| SD3XK0FFTM | SD3XK0FFTM | example | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-2 |
| SD4B0P8M4B | SD4B0P8M4B | 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.03477#EZ0G |
| SD4CC278C4 | SD4CC278C4 | 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.12413#WOYY |
| SD4PMGREVK | SD4PMGREVK | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#cor:soundness-logics |
| SD4VME1TQV | SD4VME1TQV | 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 2504.13516#G934 |
| SD50FBE734 | SD50FBE734 | 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.35102#G2C3 |
| SD526MS4QE | SD526MS4QE | 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.06899#SYOL |
| SD57DAC6M4 | SD57DAC6M4 | 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.24901#LOO0 |
| SD582AQ3XK | SD582AQ3XK | 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.25307#51IR |
| SD5F8V6X3D | SD5F8V6X3D | 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.13423#2ZFE |
| SD5GJ6QABC | SD5GJ6QABC | 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 2211.14214#W20L |
| SD5MPH5QRJ | SD5MPH5QRJ | 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.19285#29JC |
| SD5WZB0E4T | SD5WZB0E4T | proof | open | napkin tex/linalg/transpose.tex#proof-2 |
| SD6GBQRCHQ | SD6GBQRCHQ | definition | open | open_logic content/model-theory/lindstrom/ls-property.tex#defn-2 |
| SD6Y8ZPNXA | SD6Y8ZPNXA | 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.31907#DX2R |
| SD7EZ6G7WY | SD7EZ6G7WY | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-1 |
| SD7ZFVFPJ1 | SD7ZFVFPJ1 | 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.10505#EP25 |
| SD80T327N2 | SD80T327N2 | 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 2111.08123#IUQ6 |
| SD8866C3YY | SD8866C3YY | 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.12705#CH8T |
| SD9HHQ6VE0 | SD9HHQ6VE0 | 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.03337#31LD |
| SDAD8RQAE2 | SDAD8RQAE2 | 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.31327#89WG |
| SDANZHBQMH | SDANZHBQMH | 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.03449#4UAF |
| SDAYDBMDTY | SDAYDBMDTY | statement | open | open_logic content/set-theory/ord-arithmetic/using-addition.tex#ordinfinitycharacter |
| SDAZ0TGM7G | SDAZ0TGM7G | 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 2111.14143#IHYF |
| SDBBJ0FF45 | SDBBJ0FF45 | 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.29326#7NGA |
| SDBKPYFPGQ | SDBKPYFPGQ | 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.16886#4BBW |
| SDBKY7MJ96 | SDBKY7MJ96 | exercise | open | hott_book setmath.tex#ex:choice-cumulative-hierarchy-choice |
| SDBQEZDBXR | SDBQEZDBXR | 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.10107#77R4 |
| SDBTRFDTJQ | SDBTRFDTJQ | 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.14446#B2EZ |
| SDC2BYTTNR | SDC2BYTTNR | statement | open | napkin tex/alg-geom/quasi-proj.tex#theorem-1 |
| SDDG5N2ZQ5 | SDDG5N2ZQ5 | 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.15352#H86Q |
| SDDiP | B3NKPJNE81 | 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#PNNU |
| SDDXS6BJSN | SDDXS6BJSN | 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.35632#URZ4 |
| SDE Transfer Theorem | 41XCES2558 | 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.18739#92DO |
| SDE586AMZ2 | SDE586AMZ2 | 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.39726#K86P |
| SDENZWDK23 | SDENZWDK23 | 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.31919#P564 |
| SDF24YPM2N | SDF24YPM2N | 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.37584#HV8J |
| SDFRE3R3CZ | SDFRE3R3CZ | example | open | lebl_ra ch-seq-ser.tex#example-5 |
| SDH0F7STTP | SDH0F7STTP | 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.16235#RUUV |
| SDHB3XBBGD | SDHB3XBBGD | 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.33682#KGK4 |
| SDHC2Q35XG | SDHC2Q35XG | 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.13908#DJZP |
| SDHWD95B7V | SDHWD95B7V | 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#BRS1 |