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 201–300 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| S191HTAG2M | S191HTAG2M | problem | open | Wikipedia Co-NP#R0I0 |
| 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 |
| S1J7H1RPCX | S1J7H1RPCX | statement | record (an 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.21552#XULD |
| 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 |
| S1RZRDQBWB | S1RZRDQBWB | 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.21403#56AS |
| 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 |
| S1T236W4XH | S1T236W4XH | statement | record (an 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.23145#PFGK |
| 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 |
| S1VEM40X2S | S1VEM40X2S | statement | record (an 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.19945#1BH9 |
| 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 |
| S1X7VAEHKN | S1X7VAEHKN | 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.20900#UOWQ |
| 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 |
| S1Y1KNYBK3 | S1Y1KNYBK3 | 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#L2Q0 |
| 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 |
| S22H6017D7 | S22H6017D7 | 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 2104.00162#UZX0 |
| S22HFX232G | S22HFX232G | statement | record (an 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.02570#2MLA |
| S22YAAC2XP | S22YAAC2XP | statement | record (an 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.29008#LT8V |
| S23MV6NBAA | S23MV6NBAA | statement | record (an 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#J55D |
| S23RMY4MJ5 | S23RMY4MJ5 | statement | record (an 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.21781#RXVR |
| S23X3DNHHP | S23X3DNHHP | statement | record (an 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.03672#MTMC |
| S2408QWMM6 | S2408QWMM6 | 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.18600#JCYZ |
| S2462DX9CG | S2462DX9CG | exercise | open | lebl_scv scv.tex#exercise:monicpolyunique |
| S246DRE3WK | S246DRE3WK | 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.12131#JK8S |
| S24JFJ1QBJ | S24JFJ1QBJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#9PDU |