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 501–600 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S54X2CKWFJ | S54X2CKWFJ | statement | record (an 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.11145#3J2D |
| S553Z0Q6WE | S553Z0Q6WE | 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.16768#IDOO |
| S55FJ6XP3D | S55FJ6XP3D | 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.16404#HC3A |
| S55KFYSYZZ | S55KFYSYZZ | statement | record (an 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.37698#J9IC |
| S578WD8MFA | S578WD8MFA | 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 2205.06433#34GQ |
| S57T8TTVY9 | S57T8TTVY9 | statement | record (an 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.13533#KJYL |
| S580XZDFA1 | S580XZDFA1 | statement | record (an 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.13378#3TAP |
| S588EQPG6M | S588EQPG6M | proof | open | applied_combinatorics source/s_genfunction_binom-app.ptx#proof-3 |
| S58N6PJTSF | S58N6PJTSF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.05198#DDX1 |
| S590A5Q153 | S590A5Q153 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#7P96 |
| S59WJ30H1Z | S59WJ30H1Z | statement | record (an 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#M914 |
| S59XMHH892 | S59XMHH892 | statement | record (an 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.09522#QP56 |
| S5AA6AY938 | S5AA6AY938 | 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 2112.14455#IPL2 |
| S5ACCN6N7C | S5ACCN6N7C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0811.0544#WRP5 |
| S5ASMSKJE4 | S5ASMSKJE4 | statement | open | lebl_scv scv.tex#prop-8 |
| S5B7X2PS8R | S5B7X2PS8R | statement | record (an 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.08935#PPPX |
| S5BBM2GE29 | S5BBM2GE29 | statement | record (an 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#F699 |
| S5BGER54GZ | S5BGER54GZ | statement | record (an 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.26984#FNNS |
| S5BS18BE27 | S5BS18BE27 | statement | record (an 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.24931#AGSB |
| S5CB33RSAY | S5CB33RSAY | statement | record (an 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.31269#GYW9 |
| S5DTPM7H1J | S5DTPM7H1J | statement | record (an 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.27301#FHY0 |
| S5ED31K6N0 | S5ED31K6N0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#VA1U |
| S5EF85SH4W | S5EF85SH4W | statement | record (an 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.24606#VCLQ |
| S5EGKGN8AY | S5EGKGN8AY | exercise | open | napkin tex/linalg/vector-space.tex#problem-2 |
| S5EQW9NJNB | S5EQW9NJNB | statement | record (an 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.30544#8TE1 |
| S5F2NNH3RH | S5F2NNH3RH | proof | open | open_logic content/turing-machines/machines-computations/combining-machines.tex#proof-1 |
| S5F49HZA8A | S5F49HZA8A | 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 2203.00606#MPA7 |
| S5FC5HCNKF | S5FC5HCNKF | statement | record (an 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.11199#MXQD |
| S5FVV191NS | S5FVV191NS | statement | record (an 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.32557#5WXK |
| S5FW31P1T4 | S5FW31P1T4 | statement | record (an 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.15792#ICA9 |
| S5HCXX5G7S | S5HCXX5G7S | example | open | napkin tex/H113/grp-intro.tex#def:product_group |
| S5J21HCDZA | S5J21HCDZA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06473#YZPJ |
| S5JQC6SBAW | S5JQC6SBAW | statement | record (an 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#IVSE |
| S5K1492N94 | S5K1492N94 | statement | record (an 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.34676#QQ61 |
| S5K4XWDY70 | S5K4XWDY70 | statement | record (an 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.09596#3NOK |
| S5KEBF2FYY | S5KEBF2FYY | statement | record (an 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.12817#260C |
| S5KGEMH91K | S5KGEMH91K | statement | record (an 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.09648#CUFH |
| S5M01WVXEH | S5M01WVXEH | statement | record (an 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.18246#170A |
| S5MBRWM2NH | S5MBRWM2NH | example | open | applied_combinatorics source/s_strings_bin-coeff.ptx#exa_lattice-Catalan |
| S5MGTFJTFE | S5MGTFJTFE | statement | record (an 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.20801#G1H6 |
| S5MQ2M0W2G | S5MQ2M0W2G | statement | record (an 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.18246#1Q23 |
| S5N11ZFNXD | S5N11ZFNXD | 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 2410.02139#F46K |
| S5NA3VMEX0 | S5NA3VMEX0 | statement | record (an 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.07695#022U |
| S5NN8YXVMV | S5NN8YXVMV | statement | record (an 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#ENW6 |
| S5P6FNYGKE | S5P6FNYGKE | statement | record (an 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.38118#I38B |
| S5QTFHQF1G | S5QTFHQF1G | statement | record (an 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.32478#ZVBQ |
| S5R2JWQPM6 | S5R2JWQPM6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#ETAZ |
| S5R8HBPMMQ | S5R8HBPMMQ | 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 2605.30679#KGVX |
| S5RCQ0NVT1 | S5RCQ0NVT1 | statement | record (an 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.25457#V11G |
| S5RG2Z25QC | S5RG2Z25QC | 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 2401.13523#LA8W |
| S5RHV6VW5C | S5RHV6VW5C | statement | record (an 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.13913#DFGL |
| S5RY0NFAJQ | S5RY0NFAJQ | statement | record (an 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.12105#A5TQ |
| S5S4EPGCJD | S5S4EPGCJD | statement | record (an 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#77C0 |
| S5S5BFKK1F | S5S5BFKK1F | statement | record (an 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.31269#VREA |
| S5SJPRFT30 | S5SJPRFT30 | statement | record (an 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.13556#5ALM |
| S5SWTRQ0W4 | S5SWTRQ0W4 | 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.17240#X6VP |
| S5T2Z9CS4G | S5T2Z9CS4G | exercise | open | lebl_scv scv.tex#exercise:zerosetnotcompact |
| S5T7CE4AQ5 | S5T7CE4AQ5 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-18 |
| S5TFXHDV6Q | S5TFXHDV6Q | statement | record (an 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.12479#2GJG |
| S5THQ41516 | S5THQ41516 | 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.12330#BBVY |
| S5TQZP7CAS | S5TQZP7CAS | statement | record (an 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.31269#XSFZ |
| S5TXW7GF8P | S5TXW7GF8P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.00752#QP0J |
| S5TYA4C7RD | S5TYA4C7RD | statement | record (an 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.27694#SKZ6 |
| S5VKKTS0VK | S5VKKTS0VK | statement | record (an 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.07644#IY6O |
| S5VRCVVRHM | S5VRCVVRHM | statement | record (an 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#9B86 |
| S5WWQSQN9N | S5WWQSQN9N | statement | record (an 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.13629#QK4M |
| S5WXYHN4A1 | S5WXYHN4A1 | statement | record (an 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.11693#Y6UH |
| S5XA0XS348 | S5XA0XS348 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#BUVU |
| S5XMWPZAQJ | S5XMWPZAQJ | statement | record (an 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.28669#4Z8B |
| S5YNFPJ7XV | S5YNFPJ7XV | statement | record (an 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.32997#K2Z6 |
| S5YYHYCC08 | S5YYHYCC08 | 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.10930#YNI6 |
| S5Z3EMSMJA | S5Z3EMSMJA | statement | record (an 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#E2XE |
| S5ZN4QZ8DM | S5ZN4QZ8DM | 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.26337#O38Y |
| S5ZWJVDWKG | S5ZWJVDWKG | statement | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#lem:val-in-termmodel |
| S61HG01354 | S61HG01354 | 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 2205.09049#ZTWW |
| S61K7PTDN1 | S61K7PTDN1 | statement | record (an 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#UI23 |
| S61M0BP9HD | S61M0BP9HD | statement | record (an 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.14435#JHTP |
| S61QT6Q5E3 | S61QT6Q5E3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#CY2F |
| S61VC8KBR7 | S61VC8KBR7 | statement | record (an 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.39981#X7SP |
| S62DDFB1S3 | S62DDFB1S3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.10911#90CS |
| S62P5ETV13 | S62P5ETV13 | statement | record (an 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.30482#OHXC |
| S62Z5SBMME | S62Z5SBMME | statement | record (an 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.27800#G9DS |
| S63R4TTTMF | S63R4TTTMF | 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.14060#XOD1 |
| S63Z6ECM7E | S63Z6ECM7E | statement | record (an 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.07114#CDBV |
| S64H6Y093N | S64H6Y093N | 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#KVMH |
| S64VR7EMJQ | S64VR7EMJQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#8X8U |
| S64X41D1X3 | S64X41D1X3 | statement | record (an 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.36068#6BXZ |
| S6535MJQY3 | S6535MJQY3 | statement | open | hott_book hlevels.tex#lem:nconnected_to_leveln_to_equiv |
| S65BCVQM1T | S65BCVQM1T | statement | record (an 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.33442#SE89 |
| S65HE8FS3B | S65HE8FS3B | statement | record (an 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.38243#FFUJ |
| S65QTB1RAR | S65QTB1RAR | statement | record (an 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.27458#PVDF |
| S65VMGWZDQ | S65VMGWZDQ | statement | open | napkin tex/linalg/transpose.tex#theorem-1 |
| S661NPCHDP | S661NPCHDP | statement | record (an 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.33529#APTP |
| S6679ER06Q | S6679ER06Q | statement | record (an 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#9B2R |
| S66ENQYD01 | S66ENQYD01 | statement | record (an 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.33263#LXQ5 |
| S67PTJ25R2 | S67PTJ25R2 | exercise | open | lebl_scv scv.tex#exercise-142 |
| S680K5HEZV | S680K5HEZV | 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 math/0003117#8BXJ |
| S68E9VV5NN | S68E9VV5NN | statement | record (an 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.08488#D0N4 |
| S695RWFNCR | S695RWFNCR | statement | record (an 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#Z8XS |
| S698CXY768 | S698CXY768 | statement | record (an 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.04172#XU2I |