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 2301–2400 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SFG6PECZ13 | SFG6PECZ13 | 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.09422#L5TA |
| SFG78BE45H | SFG78BE45H | statement | record (an 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.30637#JFRB |
| SFGFFG7X69 | SFGFFG7X69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.16491#0XX3 |
| SFH5WCC0QA | SFH5WCC0QA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.01237#6TEO |
| SFH7EVSB5N | SFH7EVSB5N | 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.29943#114V |
| SFHN5MTVHN | SFHN5MTVHN | statement | record (an 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#XXP7 |
| SFHNQAX1ZJ | SFHNQAX1ZJ | statement | record (an 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#OA6C |
| SFJ8MACTQX | SFJ8MACTQX | statement | record (an 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.05820#XDWZ |
| SFJP9C3H70 | SFJP9C3H70 | 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.38228#097Q |
| SFK81FBQ81 | SFK81FBQ81 | statement | record (an 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.01959#E1ZR |
| SFKCN310KM | SFKCN310KM | statement | record (an 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.15700#LU8T |
| SFM00KN8N4 | SFM00KN8N4 | statement | record (an 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#RJ4M |
| SFMB324FCK | SFMB324FCK | statement | record (an 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.32585#0DAU |
| SFMNDQHZWM | SFMNDQHZWM | statement | record (an 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.14681#LR1Y |
| SFMYYHSX89 | SFMYYHSX89 | statement | record (an 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.24542#W498 |
| SFNHTYXM7J | SFNHTYXM7J | statement | record (an 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.17909#AI0U |
| SFNPSE4N9D | SFNPSE4N9D | statement | record (an 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.35636#7J9U |
| SFP6KWMTE9 | SFP6KWMTE9 | statement | record (an 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#19JN |
| SFP793YGTK | SFP793YGTK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#2T4J |
| SFPFG8PVJC | SFPFG8PVJC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#9TK0 |
| SFQBNV7PB4 | SFQBNV7PB4 | statement | record (an 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.15291#792Y |
| SFQRBBXBFJ | SFQRBBXBFJ | statement | record (an 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.38396#AVOK |
| SFR4WQQ6VD | SFR4WQQ6VD | statement | record (an 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.09133#JIW8 |
| SFRCMXJ7SW | SFRCMXJ7SW | 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.21732#22T6 |
| SFRHS7QQ2R | SFRHS7QQ2R | 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 2305.10921#6ZJB |
| SFRNRXZA7K | SFRNRXZA7K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.11898#0C05 |
| SFRZ55QA9M | SFRZ55QA9M | exercise | open | open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prob-1 |
| SFS1426SGT | SFS1426SGT | statement | record (an 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.01796#0HNN |
| SFS33JPEWW | SFS33JPEWW | statement | record (an 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.00364#5DTZ |
| SFSCJ16T83 | SFSCJ16T83 | statement | record (an 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.37026#KJ0T |
| SFTD8EADZY | SFTD8EADZY | definition | open | open_logic content/set-theory/ordinals/ordtype.tex#defn-1 |
| SFTKJDHDN9 | SFTKJDHDN9 | statement | record (an 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.19845#AOTA |
| SFV0MS9FX9 | SFV0MS9FX9 | statement | record (an 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.06621#X8LJ |
| SFV37NW3NT | SFV37NW3NT | example | open | active_calculus source/sec-5-5-other-opt.xml#example-1 |
| SFVDHW2DTN | SFVDHW2DTN | statement | record (an 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.14838#7HTJ |
| SFW3JHX95Y | SFW3JHX95Y | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-4 |
| SFWA63CDBH | SFWA63CDBH | statement | record (an 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.12329#X9VJ |
| SFWRWFW9QM | SFWRWFW9QM | statement | record (an 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#QY8T |
| SFWVTA72A7 | SFWVTA72A7 | statement | record (an 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.06544#2OJ0 |
| SFXHD7176W | SFXHD7176W | statement | record (an 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.21866#GMOO |
| SFXM39BJFT | SFXM39BJFT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#W9FN |
| SFYDYHY15Y | SFYDYHY15Y | statement | record (an 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.20135#ZW8N |
| SFYGM2Z4NR | SFYGM2Z4NR | statement | record (an 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.13972#H00M |
| SFYX2YXMQ4 | SFYX2YXMQ4 | 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.03628#YTX1 |
| SFZ691Y710 | SFZ691Y710 | statement | record (an 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.05142#HEQM |
| SFZE1PYK8S | SFZE1PYK8S | statement | record (an 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.09544#9PQO |
| SFZEQGG0EN | SFZEQGG0EN | statement | record (an 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.13271#SUMF |
| SFZN1JJDVD | SFZN1JJDVD | statement | record (an 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#YJ3C |
| SG067ZFJB4 | SG067ZFJB4 | statement | record (an 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.11905#Y7BO |
| SG0BZS1E7W | SG0BZS1E7W | exercise | open | napkin tex/homology/excision.tex#problem-4 |
| SG0GNR4BYT | SG0GNR4BYT | statement | record (an 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.22288#6GCE |
| SG13Y2QA9E | SG13Y2QA9E | statement | record (an 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.15169#DYMJ |
| SG14CEHTHH | SG14CEHTHH | exercise | open | active_calculus source/activities/act-4-2-3.xml#act-4-2-3 |
| SG1N9ZZEJ3 | SG1N9ZZEJ3 | exercise | open | active_calculus source/activities/act-6-5-3.xml#act-6-5-3 |
| SG1ZQFRNPB | SG1ZQFRNPB | 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.20421#CK17 |
| SG1ZWR6A85 | SG1ZWR6A85 | statement | record (an 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.36089#L88E |
| SG201KHN44 | SG201KHN44 | statement | record (an 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.05684#ZX80 |
| SG2DN82ZJH | SG2DN82ZJH | statement | record (an 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.10408#JM7F |
| SG2TBN3KJP | SG2TBN3KJP | 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#79Y1 |
| SG35Y5WCBN | SG35Y5WCBN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#0JK5 |
| SG3BV9NDJF | SG3BV9NDJF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.01036#1UBV |
| SG3K24DJCR | SG3K24DJCR | statement | record (an 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#O9A5 |
| SG440S6JS7 | SG440S6JS7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.3741#CRHK |
| SG4HEZCHTB | SG4HEZCHTB | 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.07673#5ZVZ |
| SG4NE6HT5Q | SG4NE6HT5Q | proof | open | lebl_ra ch-several-vars-ders.tex#proof-3 |
| SG4RGTN61F | SG4RGTN61F | exercise | open | open_logic content/turing-machines/undecidability/halting-problem.tex#prob-1 |
| SG4ST3WK6C | SG4ST3WK6C | statement | record (an 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.33162#GPCA |
| SG50JDS9Z6 | SG50JDS9Z6 | statement | record (an 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.36098#HP08 |
| SG5K3EAT3R | SG5K3EAT3R | statement | record (an 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.05142#AS37 |
| SG64ZFT6G3 | SG64ZFT6G3 | example | open | napkin tex/H113/grp-intro.tex#example-12 |
| SG6B7RX69D | SG6B7RX69D | 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.10377#9ZAL |
| SG6CYHTNVP | SG6CYHTNVP | statement | record (an 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.17479#842A |
| SG6MZXDS70 | SG6MZXDS70 | statement | record (an 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.08956#YW7X |
| SG76B7N9ND | SG76B7N9ND | statement | record (an 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.17518#F4QU |
| SG7QR37GXB | SG7QR37GXB | exercise | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prob-1 |
| SG7WGRNTYR | SG7WGRNTYR | exercise | open | lebl_ra ch-approximate.tex#exercise-44 |
| SG828RZ43T | SG828RZ43T | statement | record (an 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.09086#VXIS |
| SG8B0RX2WM | SG8B0RX2WM | statement | record (an 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.00775#OUEC |
| SG8JNHDXBJ | SG8JNHDXBJ | statement | record (an 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.25301#QUZL |
| SG8P1GWZ61 | SG8P1GWZ61 | statement | record (an 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.25703#6X3B |
| SG8WMX83PB | SG8WMX83PB | statement | record (an 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#ITR8 |
| SG96DY63W5 | SG96DY63W5 | 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.05299#6RIC |
| SG9SNH7HV0 | SG9SNH7HV0 | conjecture | record (an 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.21045#E611 |
| SGA15N007V | SGA15N007V | statement | record (an 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.39824#FY1E |
| SGA8BHQ0TP | SGA8BHQ0TP | statement | record (an 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#GT1R |
| SGAVP7DVZ6 | SGAVP7DVZ6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0678#CLH9 |
| SGB1WDS029 | SGB1WDS029 | statement | record (an 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.21622#7D2N |
| SGBM3K3F8N | SGBM3K3F8N | statement | record (an 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.02689#KPM5 |
| SGBT1DPBBG | SGBT1DPBBG | 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.24355#ARC7 |
| SGBVA98DEP | SGBVA98DEP | 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.18302#K0BI |
| SGC | YCMG6SMEQK | statement | record (an 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.12641#C3JW |
| SGC7NJPS1S | SGC7NJPS1S | 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.17565#FOVQ |
| SGD for sequential training of a multiclass classifier | X185S7MB7K | 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.26951#UQN6 |
| SGD Upper Bound with Dynamic Batching | 79YN2CYZ43 | statement | record (an 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.02355#Z8GT |
| SGD1YKMJYT | SGD1YKMJYT | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-12 |
| SGDGX08RYK | SGDGX08RYK | statement | record (an 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.16731#UGH6 |
| SGDM Upper Bound with Dynamic Batching | BQ3B0NTD35 | statement | record (an 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.02355#KNW0 |
| SGDVXWPT9R | SGDVXWPT9R | 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.15744#U4RD |
| SGE recursion | 8GN8WCR8FH | statement | record (an 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.21139#YQ70 |
| SGEB5J4355 | SGEB5J4355 | statement | record (an 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#U72G |