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 101–200 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S04V664XS0 | S04V664XS0 | definition | open | hott_book categories.tex#ct:unitary |
| S0500Y8H04 | S0500Y8H04 | 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 2309.15424#NZK7 |
| S0645231YD | S0645231YD | 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.01467#FEQI |
| S0669V5J66 | S0669V5J66 | 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#P6DX |
| S06K5VT80C | S06K5VT80C | 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.38069#RKII |
| S06RXDDNSZ | S06RXDDNSZ | 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.31445#MJ7C |
| S06V5HY40A | S06V5HY40A | 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.21668#NZMY |
| S07FNRYMV5 | S07FNRYMV5 | 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.15982#WXXK |
| S07XM6BRNT | S07XM6BRNT | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-3 |
| S08P1YSN8F | S08P1YSN8F | 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.01653#XQX1 |
| S09GTZZKPR | S09GTZZKPR | 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.24185#93MK |
| S09JHW8PRK | S09JHW8PRK | 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.38659#Q0BK |
| S09PBW5HYV | S09PBW5HYV | 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.35682#E5PX |
| S09VFV4SQQ | S09VFV4SQQ | 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.24860#ROCF |
| S09XTW7Y7K | S09XTW7Y7K | 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.10925#51NF |
| S0AAT1TS27 | S0AAT1TS27 | 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 2503.12486#DJRL |
| S0AM45PGFX | S0AM45PGFX | 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.18803#VTJ2 |
| S0B03G402N | S0B03G402N | 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.27931#U0RP |
| S0B58TEVKA | S0B58TEVKA | 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.23779#NCTH |
| S0BEB782T5 | S0BEB782T5 | 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.08288#QYVR |
| S0BN5GB61A | S0BN5GB61A | 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.33578#8H2U |
| S0BR12FFGD | S0BR12FFGD | example | open | napkin tex/alg-geom/spec-zariski.tex#example-10 |
| S0C3QX1NSW | S0C3QX1NSW | 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#BF7Z |
| S0CBV65G4B | S0CBV65G4B | 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.06310#QO5E |
| S0CGDPBW3X | S0CGDPBW3X | 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.33856#BL0X |
| S0CH5KVNT6 | S0CH5KVNT6 | 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.03746#QJ6R |
| S0CKRZQPTR | S0CKRZQPTR | 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.36321#PFUY |
| S0CT37YBNV | S0CT37YBNV | exercise | open | hott_book reals.tex#ex:reals-into-surreals |
| S0D0EWZEJ9 | S0D0EWZEJ9 | exercise | open | napkin tex/topology/top-more.tex#problem-5 |
| S0D40R63YB | S0D40R63YB | 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.25190#ALKM |
| S0DWCJF8H4 | S0DWCJF8H4 | 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.36423#KLJY |
| S0DX2R91MY | S0DX2R91MY | 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.19590#W1GI |
| S0EBBJB6JX | S0EBBJB6JX | 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.11545#RYA6 |
| S0ECM581G5 | S0ECM581G5 | statement | open | lebl_diffyqs ap-linear-algebra.tex#theorem-5 |
| S0ER198PH5 | S0ER198PH5 | definition | open | lebl_ra ch-vol1-intro.tex#defn-14 |
| S0F2ETWZC7 | S0F2ETWZC7 | 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.03327#TOZ4 |
| S0FQXQBNW2 | S0FQXQBNW2 | 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.19214#G53P |
| S0FZS2S115 | S0FZS2S115 | 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.12531#QL61 |
| S0G5WJ5ZYP | S0G5WJ5ZYP | 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.37520#SA9C |
| S0GP2CQH7R | S0GP2CQH7R | 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.09300#PQY8 |
| S0HACY9QG0 | S0HACY9QG0 | 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.14278#739Z |
| S0HDHXHD0D | S0HDHXHD0D | 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.25801#K873 |
| S0HEX6Y92H | S0HEX6Y92H | 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.01658#VGG9 |
| S0HM2X6XYF | S0HM2X6XYF | definition | open | austin_ula src/section1-4.xml#definition-1 |
| S0J818ZDQV | S0J818ZDQV | 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.22074#3ECX |
| S0JBFGRA0M | S0JBFGRA0M | 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.12736#YC2M |
| S0K4ZD1448 | S0K4ZD1448 | 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.11545#4Y1D |
| S0KCQJFYKP | S0KCQJFYKP | 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.23527#21ZS |
| S0KH1Q2DJ6 | S0KH1Q2DJ6 | 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.29023#2YBE |
| S0KMSA1RB5 | S0KMSA1RB5 | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-12 |
| S0MFK0S4R6 | S0MFK0S4R6 | 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#ZVIT |
| S0MSVSJ2ZN | S0MSVSJ2ZN | 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 2505.05539#1EUP |
| S0MYKYTSJE | S0MYKYTSJE | 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.15099#XPW8 |
| S0NGNS9RQN | S0NGNS9RQN | 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.30097#8LPI |
| S0P3Z911CT | S0P3Z911CT | 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.35600#1ICF |
| S0P6TGFDVK | S0P6TGFDVK | 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.22551#7JFM |
| S0PNNQBPC5 | S0PNNQBPC5 | 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 2212.05398#CXR1 |
| S0PR9NFZZ5 | S0PR9NFZZ5 | 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.16514#0OMI |
| S0PZK22S2Q | S0PZK22S2Q | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-7 |
| S0Q08WZ1Q3 | S0Q08WZ1Q3 | 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 1204.5958#4YKO |
| S0Q4Y6941Z | S0Q4Y6941Z | exercise | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#prob-1 |
| S0QCEJA6QV | S0QCEJA6QV | statement | open | lebl_ra ch-multivar-int.tex#prop:jordanintadd |
| S0QMX55SPT | S0QMX55SPT | exercise | open | lebl_scv scv.tex#exercise:nestedunions |
| S0QS397AZZ | S0QS397AZZ | 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 2211.10178#TGJF |
| S0R1YADVB9 | S0R1YADVB9 | 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.20128#O32P |
| S0R8TM5WKY | S0R8TM5WKY | 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.06529#ADC9 |
| S0RBN03F81 | S0RBN03F81 | 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 2608.17785#V4KS |
| S0RMXHD7ZW | S0RMXHD7ZW | 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.05646#20EF |
| S0RV1KFKEZ | S0RV1KFKEZ | 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.21675#YL5W |
| S0SEXESG5P | S0SEXESG5P | 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.22469#H2IC |
| S0SNKRXX62 | S0SNKRXX62 | 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.36668#KN5J |
| S0SPYE1WC3 | S0SPYE1WC3 | 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.10481#IIHW |
| S0TA834E13 | S0TA834E13 | exercise | open | lebl_scv scv.tex#exercise-34 |
| S0THSHD5DA | S0THSHD5DA | 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.11056#3PI5 |
| S0TJKJPP50 | S0TJKJPP50 | 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.24593#ITSU |
| S0TNDWRTQK | S0TNDWRTQK | 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 1909.03896#G2CN |
| S0TNW0WC6S | S0TNW0WC6S | 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.10330#RJMF |
| S0TSDYCVJF | S0TSDYCVJF | statement | open | open_logic content/incompleteness/representability-in-q/composition-representable.tex#prop:rep-composition |
| S0VNFXVB4W | S0VNFXVB4W | 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.14803#NJ7D |
| S0W3JD8TES | S0W3JD8TES | 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.10804#3594 |
| S0XT67YJS3 | S0XT67YJS3 | 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.26401#C8YZ |
| S0XWN0TCVK | S0XWN0TCVK | 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.12012#63ER |
| S0Z4Y10AAE | S0Z4Y10AAE | 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.29683#WDIU |
| S0ZH111SSC | S0ZH111SSC | proof | open | open_logic content/model-theory/basics/overspill.tex#proof-1 |
| S0ZH598RX7 | S0ZH598RX7 | 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 2603.07541#VZAW |
| S0ZSP0DQ79 | S0ZSP0DQ79 | 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 2510.12502#DTID |
| S101TZ6B00 | S101TZ6B00 | 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.32936#DQMS |
| S10XYR7FPG | S10XYR7FPG | 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.14837#2FPP |
| S11N7C8GEZ | S11N7C8GEZ | 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.29489#6Z23 |
| S1206JJ6Z0 | S1206JJ6Z0 | 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.37897#RNWC |
| S1227AHF8C | S1227AHF8C | 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.18219#M6E4 |
| S123EWR5R6 | S123EWR5R6 | 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.12120#S27I |
| S12C4K0BNB | S12C4K0BNB | 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.36877#J76G |
| S12D1CC8N2 | S12D1CC8N2 | 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.20386#FJVC |
| S12NG0WYGT | S12NG0WYGT | 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.28518#5J1Z |
| S13XWZ30ZC | S13XWZ30ZC | 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#4ISW |
| S14M341D79 | S14M341D79 | 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.27125#YXO0 |
| S14Q7Y1MGA | S14Q7Y1MGA | 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.09171#TWF3 |
| S157MDDZSS | S157MDDZSS | unknown | open | arXiv 2610.21960#XI6Q |
| S1586WBMZ9 | S1586WBMZ9 | 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.07401#6HF2 |