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 101–200 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| S15QTXHMCA | S15QTXHMCA | 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 1802.02910#5U9U |
| S15W3J05QT | S15W3J05QT | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-14 |
| S16HGNANCR | S16HGNANCR | 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.12357#UMIQ |
| S171BW9HXD | S171BW9HXD | 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.30220#PNV6 |
| S1786XGNHM | S1786XGNHM | 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.16002#XO1C |
| S17DAFVNTD | S17DAFVNTD | statement | open | lebl_ra ch-real-nums.tex#prop:existsxepsfromsup |
| S17T9NJRBA | S17T9NJRBA | proof | open | lebl_ra ch-real-nums.tex#proof-2 |
| S17TDH68PR | S17TDH68PR | 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.19309#KALK |
| S181S163V1 | S181S163V1 | 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.00099#5H6C |
| S18RFVN4JQ | S18RFVN4JQ | exercise | open | napkin tex/set-theory/forcing.tex#ques-1 |
| S19A52HXF6 | S19A52HXF6 | 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/0406514#V42V |
| S19GGW0T1H | S19GGW0T1H | 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.33557#0Q1D |
| S19TV12VRR | S19TV12VRR | 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.32300#LBAF |
| S19V7SRMCV | S19V7SRMCV | 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.33590#4VBK |
| S19VB5Q04D | S19VB5Q04D | 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.18302#J600 |
| S1A135ZXEM | S1A135ZXEM | 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 2103.14389#NW08 |
| S1AQ4VEGP5 | S1AQ4VEGP5 | 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.01273#DR2X |
| S1B0KYFQB6 | S1B0KYFQB6 | 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.16332#WOP7 |
| S1B2A29234 | S1B2A29234 | 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.20299#NA46 |
| S1BSSH34JA | S1BSSH34JA | 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.40028#D0SU |
| S1C6HW1VJD | S1C6HW1VJD | 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 2305.06030#8GVF |
| S1CCXJDY2Z | S1CCXJDY2Z | 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.14600#EEJ2 |
| S1CGJ5PWP4 | S1CGJ5PWP4 | 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.29399#3EEZ |
| S1CJDATYPY | S1CJDATYPY | 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.21092#AFLI |
| S1DBGCVG75 | S1DBGCVG75 | 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.17411#YS3A |
| S1DJRZPF0M | S1DJRZPF0M | 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.34856#JFVZ |
| S1E6R7SS06 | S1E6R7SS06 | statement | open | hott_book induction.tex#thm-2 |
| S1EJM8282X | S1EJM8282X | 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.16241#L3CZ |
| S1EV68HTJZ | S1EV68HTJZ | 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.09298#1CYQ |
| S1G9962RBR | S1G9962RBR | 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.15099#GR1W |
| S1GK09M38K | S1GK09M38K | exercise | open | austin_ula src/exercises/exercises3-4.xml#exercise-5 |
| S1H33G950S | S1H33G950S | 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#Q55I |
| S1HK723RQS | S1HK723RQS | 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.00625#TMOK |
| S1HWC87SPS | S1HWC87SPS | 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.21445#NR2Y |
| S1J7N6FNZX | S1J7N6FNZX | 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.10804#H31V |
| S1JA91Y7NV | S1JA91Y7NV | 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.20783#T1HX |
| S1K3PFRQX3 | S1K3PFRQX3 | 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#XXTJ |
| S1KR8570DG | S1KR8570DG | 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.02893#ZA1J |
| S1M6VHSBPA | S1M6VHSBPA | 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#14EG |
| S1M8S30STQ | S1M8S30STQ | exercise | open | lebl_ra ch-real-nums.tex#exercise-1 |
| S1MBHXM30C | S1MBHXM30C | 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.03555#FOZN |
| S1MCDCMGXX | S1MCDCMGXX | 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 2011.12496#E4NP |
| S1MEN93VAC | S1MEN93VAC | definition | open | napkin tex/calculus/integrate.tex#definition-3 |
| S1MMFQNF6M | S1MMFQNF6M | 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.01225#J9YB |
| S1MSC5DXB0 | S1MSC5DXB0 | 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/0411039#YZ1N |
| S1MSD8J6GW | S1MSD8J6GW | 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.23812#9WM5 |
| S1N0VJHPJT | S1N0VJHPJT | 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.13916#ZR8O |
| S1N1BBCNBW | S1N1BBCNBW | 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.19333#2PFV |
| S1N2S32FKF | S1N2S32FKF | 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.17585#KUJ6 |
| S1NJV7A8Q6 | S1NJV7A8Q6 | 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.40023#ITQQ |
| S1NVJ88ANM | S1NVJ88ANM | 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.29877#1QER |
| S1P33SJVW4 | S1P33SJVW4 | 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/0301148#OKCT |
| S1PT4DFX3F | S1PT4DFX3F | 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#3UOG |
| S1QCKB1J8V | S1QCKB1J8V | 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.11047#LMPX |
| S1QXZZR0DQ | S1QXZZR0DQ | 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 2407.20385#TXN3 |
| S1R0R43888 | S1R0R43888 | 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.30033#FDXD |
| S1R735K4GX | S1R735K4GX | example | open | austin_ula src/section2-2.xml#example-3 |
| S1R9ETRMDX | S1R9ETRMDX | 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.19990#TQD1 |
| S1RBJSAJSS | S1RBJSAJSS | exercise | open | napkin tex/measure/large-laws.tex#problem-1 |
| S1RF96EM6R | S1RF96EM6R | 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 2108.09796#JCX8 |
| S1RHGQQXQQ | S1RHGQQXQQ | 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.15402#69NX |
| S1S6361J91 | S1S6361J91 | 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.18555#V7HY |
| S1SZP1C7BQ | S1SZP1C7BQ | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-57 |
| S1T1484R14 | S1T1484R14 | 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.07001#MI2Z |
| S1T3PRA867 | S1T3PRA867 | 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 1002.0879#CE29 |
| S1TJBDCXHA | S1TJBDCXHA | 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 2401.07983#JLMZ |
| S1TX6H9PT0 | S1TX6H9PT0 | 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.17852#E2VB |
| S1WNS4CC7N | S1WNS4CC7N | 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.24424#I2Q6 |
| S1WT1BC464 | S1WT1BC464 | 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.06739#VYAC |
| S1X5E4J0J2 | S1X5E4J0J2 | 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 2102.12931#7DLF |
| S1XKMADN5J | S1XKMADN5J | 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.29699#4LCR |
| S1YHT7G4HT | S1YHT7G4HT | proof | open | hott_book categories.tex#proof-15 |
| S1YRV3RNWY | S1YRV3RNWY | 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.14374#R83Y |
| S1YRX5Z5TY | S1YRX5Z5TY | 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.39793#G4BP |
| S1Z2T6P7T7 | S1Z2T6P7T7 | 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.19787#M9GS |
| S1ZGPF8J4Q | S1ZGPF8J4Q | 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.30675#TS5P |
| S1ZK98XNGF | S1ZK98XNGF | 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.10873#ZVX4 |
| S200ER8AB7 | S200ER8AB7 | 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.32338#48PW |
| S20FDFZ4HD | S20FDFZ4HD | 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.07530#EALB |
| S2132ZQACJ | S2132ZQACJ | 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.10973#59YH |
| S21G9YP8FP | S21G9YP8FP | 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/0406514#ECIX |
| S223WXGTTY | S223WXGTTY | 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.39675#EFYA |
| S22EE064AS | S22EE064AS | 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.19455#GC3U |