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 4701–4800 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SRB3Z0GPSK | SRB3Z0GPSK | statement | record (an 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.12983#UPZ3 |
| SRBAQETE1K | SRBAQETE1K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#0MWQ |
| SRBDF713MZ | SRBDF713MZ | statement | record (an 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.04673#NV1O |
| SRBJJAESAN | SRBJJAESAN | statement | record (an 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.04876#PB0W |
| SRBTR7DGKW | SRBTR7DGKW | statement | record (an 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.39809#CTF8 |
| SRBXYTKDNC | SRBXYTKDNC | statement | record (an 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.27136#X5J7 |
| SRCCTP939Z | SRCCTP939Z | 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 2508.03972#FY60 |
| SRDA9Y3VBA | SRDA9Y3VBA | statement | record (an 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.08104#BSTV |
| SRDWSSWJK1 | SRDWSSWJK1 | statement | record (an 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.06872#JHJ5 |
| SREDK0QCZB | SREDK0QCZB | statement | record (an 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.12484#91ML |
| SRETEFVGBQ | SRETEFVGBQ | exercise | open | active_calculus source/activities/act-6-2-1.xml#act-6-2-1 |
| SRF33T0CRQ | SRF33T0CRQ | statement | record (an 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.03517#L5PS |
| SRF5D6PDZS | SRF5D6PDZS | statement | record (an 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#APF7 |
| SRFRWN9F9Y | SRFRWN9F9Y | statement | record (an 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.37562#4TKG |
| SRFTZ37EY2 | SRFTZ37EY2 | 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.36423#906O |
| SRGD98EA07 | SRGD98EA07 | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-5 |
| SRGFCV9HGE | SRGFCV9HGE | example | open | napkin tex/H113/ring-intro.tex#example-3 |
| SRGJ6WRYTP | SRGJ6WRYTP | 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.24917#E4QZ |
| SRGK3E6Z2Y | SRGK3E6Z2Y | statement | record (an 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#FFKA |
| SRH4KGJ5AS | SRH4KGJ5AS | statement | record (an 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.03497#UMMF |
| SRHGGT35B6 | SRHGGT35B6 | statement | record (an 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.25314#QNC2 |
| Srikanth Iyengar | A634X5D17K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q23928192, nLab Srikanth Iyengar |
| Srinivasa Ramanujan | CDGV94P1MJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q83163, ProofWiki Mathematician:Srinivasa_Aiyangar_Ramanujan |
| SRJ7RFW9DD | SRJ7RFW9DD | 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 1711.00219#OKWF |
| SRJNWNNRRS | SRJNWNNRRS | statement | record (an 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.33469#D7WB |
| SRK3YWNDMH | SRK3YWNDMH | 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#QXX8 |
| SRK5J2T0YG | SRK5J2T0YG | statement | record (an 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.05391#7I72 |
| SRKGZSKEGG | SRKGZSKEGG | statement | record (an 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.35275#6036, arXiv 2609.35275#NCWX |
| SRKT57MB55 | SRKT57MB55 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#VHAI |
| SRMXEG0300 | SRMXEG0300 | statement | record (an 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.11829#WYJR |
| SRN87KW49J | SRN87KW49J | example | open | lebl_ra ch-riemann.tex#example-11 |
| SRNDC3YXDE | SRNDC3YXDE | statement | record (an 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.16606#MXON |
| SRP12Y3S4Y | SRP12Y3S4Y | statement | record (an 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.28289#KJRJ |
| SRPC64QBGH | SRPC64QBGH | 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 2302.05529#714G |
| SRQ46JSEVC | SRQ46JSEVC | statement | record (an 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.18419#ARRF |
| SRQ9D2N1YR | SRQ9D2N1YR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.17002#MPKZ |
| SRQEGGYJZS | SRQEGGYJZS | statement | record (an 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.17060#ZX34 |
| SRQF01K49S | SRQF01K49S | statement | record (an 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.27823#A4DN |
| SRQM8F7PBS | SRQM8F7PBS | statement | record (an 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.27181#WDTY |
| SRR9JAEE3W | SRR9JAEE3W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.06098#F1OP |
| SRRA3P2TD6 | SRRA3P2TD6 | 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.39745#XTLF |
| SRRBB2YC2M | SRRBB2YC2M | exercise | open | lebl_scv scv.tex#exercise:dollocal |
| SRRFXDHV71 | SRRFXDHV71 | 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.24545#IPOV |
| SRRHKZD5HB | SRRHKZD5HB | statement | record (an 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.14509#FXQR |
| SRRT9426DG | SRRT9426DG | statement | record (an 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.15219#2780 |
| SRSDQBVGMB | SRSDQBVGMB | statement | record (an 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.29537#6C01 |
| SRSQ73XAZP | SRSQ73XAZP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#NCE7 |
| SRSXT34VSQ | SRSXT34VSQ | 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.20758#KZVJ |
| SRTAKA0Y5X | SRTAKA0Y5X | proof | open | hott_book hits.tex#proof-7 |
| SRTTK5RDFY | SRTTK5RDFY | statement | record (an 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.06488#4JU5 |
| SRTVJBJD11 | SRTVJBJD11 | statement | record (an 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#W3NQ |
| SRVATCTHZE | SRVATCTHZE | 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.09333#96BD |
| SRVGW8C4FK | SRVGW8C4FK | unknown | open | arXiv 2610.13680#L1KS |
| SRVKFW7TH6 | SRVKFW7TH6 | statement | record (an 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.27524#UF4R |
| SRVVQ21PNF | SRVVQ21PNF | statement | record (an 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#YWU6 |
| SRVY1TQ8K6 | SRVY1TQ8K6 | statement | record (an 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.20825#NCDB |
| SRWAGAMPYB | SRWAGAMPYB | 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.11679#TH2N |
| SRWV3JK91Q | SRWV3JK91Q | proof | open | open_logic content/lambda-calculus/syntax/alpha.tex#proof-4 |
| SRXKN8XCAS | SRXKN8XCAS | proof | open | lebl_ra ch-metric.tex#proof-21 |
| SRXSQC1D87 | SRXSQC1D87 | statement | open | open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prop-1 |
| SRXXRYY9DE | SRXXRYY9DE | statement | record (an 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.09729#BGD3 |
| SRY6YXKJPJ | SRY6YXKJPJ | statement | record (an 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.18270#HSX1 |
| SRYW98XH3G | SRYW98XH3G | proof | open | hott_book hlevels.tex#proof-36 |
| SRZK9DRGKW | SRZK9DRGKW | exercise | open | hott_book logic.tex#ex:lem-ldn |
| SRZXPK3YA1 | SRZXPK3YA1 | statement | record (an 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.33154#7DX3 |
| SS00A55HX5 | SS00A55HX5 | statement | record (an 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.19283#KJOL |
| SS03QXFT7Z | SS03QXFT7Z | statement | record (an 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.03208#6QFE |
| SS0FDR9MWM | SS0FDR9MWM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#Q65Y |
| SS147V1KJB | SS147V1KJB | statement | record (an 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.32916#UYSZ |
| SS14WW9MGJ | SS14WW9MGJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07784#HZ56 |
| SS1JAQC3QB | SS1JAQC3QB | statement | record (an 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.29432#9AXL |
| SS1V3BQ54A | SS1V3BQ54A | statement | record (an 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.07240#THTJ |
| SS25AY15P5 | SS25AY15P5 | statement | record (an 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.01087#BRE8 |
| SS3J7V8RQW | SS3J7V8RQW | statement | record (an 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.10469#N9C4 |
| SS3SNF8DC6 | SS3SNF8DC6 | statement | record (an 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#ILCK |
| SS42112X4Y | SS42112X4Y | statement | record (an 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.35095#YABR |
| SS42Y7665A | SS42Y7665A | statement | record (an 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#3GOA |
| SS4FVK3ABD | SS4FVK3ABD | statement | record (an 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.25739#4IHC |
| SS507T6XGR | SS507T6XGR | statement | record (an 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.14741#GNRH |
| SS5DJ8WQMQ | SS5DJ8WQMQ | statement | record (an 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.11395#4IJG |
| SS61NFKRFG | SS61NFKRFG | unknown | open | arXiv 2410.01436#3S8N |
| SS62EEMZ4C | SS62EEMZ4C | statement | record (an 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.07963#OPIG |
| SS78XXWS92 | SS78XXWS92 | proof | open | lebl_ra ch-multivar-int.tex#proof-9 |
| SS7J41K2PN | SS7J41K2PN | 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.13076#MLQO |
| SS7JYAXFG2 | SS7JYAXFG2 | 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.10558#Y00B |
| SS8F66H3GW | SS8F66H3GW | 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.29111#5FL8 |
| SS8MM0WHNJ | SS8MM0WHNJ | statement | record (an 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.07890#NHW3 |
| SS8WTP31YS | SS8WTP31YS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02261#YCVU |
| SS9E2K17BY | SS9E2K17BY | statement | record (an 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.11677#XNXA |
| SS9HX0FTQF | SS9HX0FTQF | statement | record (an 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.20087#BBI3 |
| SS9MXV0K21 | SS9MXV0K21 | statement | record (an 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.02669#E4ZT |
| SSAEM4VC6P | SSAEM4VC6P | exercise | open | lebl_ra ch-riemann.tex#exercise-11 |
| SSB7C7ADCZ | SSB7C7ADCZ | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-10 |
| SSBAYR1TF5 | SSBAYR1TF5 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-49 |
| SSBG1GXA95 | SSBG1GXA95 | statement | record (an 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.15674#S8YN |
| SSC1BTZ5PT | SSC1BTZ5PT | statement | record (an 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#MEMZ |
| SSCARR5RJ2 | SSCARR5RJ2 | statement | record (an 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.24614#5WEM |
| SSCW7HZ84J | SSCW7HZ84J | example | open | napkin tex/alg-NT/galois.tex#example-9 |
| SSD1FV0EM9 | SSD1FV0EM9 | statement | record (an 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.04314#BPEY |
| SSD2APYWNA | SSD2APYWNA | statement | record (an 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.03499#Z5YE |