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 1001–1100 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S98CYT89B2 | S98CYT89B2 | statement | record (an 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.25656#EI9P |
| S993YJP5GD | S993YJP5GD | statement | record (an 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#XZUP |
| S997NV8PAB | S997NV8PAB | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-120 |
| S99APFVMC9 | S99APFVMC9 | 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.22205#8R09 |
| S99XRRX5ZD | S99XRRX5ZD | statement | record (an 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.04046#TI7T |
| S9A7AN1R7R | S9A7AN1R7R | statement | record (an 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.35691#TF5T |
| S9A8AQMBDF | S9A8AQMBDF | example | open | napkin tex/alg-NT/classgrp.tex#example-9 |
| S9ACF9T76N | S9ACF9T76N | statement | record (an 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.23682#H0Q2 |
| S9AHCY3H3C | S9AHCY3H3C | statement | record (an 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.13953#4U5F |
| S9ATNGE65F | S9ATNGE65F | statement | record (an 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.23350#F6IW |
| S9BCM7PXRQ | S9BCM7PXRQ | statement | record (an 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.06440#OJHG |
| S9BWB0RSR1 | S9BWB0RSR1 | statement | record (an 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.09019#RSCB |
| S9C1F5N679 | S9C1F5N679 | example | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#example-2 |
| S9CBX9DH2E | S9CBX9DH2E | 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.28211#KQ0W |
| S9CKTCRGJJ | S9CKTCRGJJ | statement | record (an 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.15344#0L3Z |
| S9DS3NPBW5 | S9DS3NPBW5 | statement | record (an 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.13715#7JR2 |
| S9E78YCF8W | S9E78YCF8W | 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.23694#SNB0 |
| S9EEK6M202 | S9EEK6M202 | proof | open | open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#proof-2 |
| S9EVZTT81N | S9EVZTT81N | statement | record (an 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#W83H |
| S9F5928E63 | S9F5928E63 | 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 2403.15255#OGNK |
| S9F7NWCNSR | S9F7NWCNSR | statement | record (an 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.25167#5B0U |
| S9FJ1C2Y20 | S9FJ1C2Y20 | statement | record (an 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.39726#1HMF |
| S9GM0B5EWK | S9GM0B5EWK | 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.28824#5GU2 |
| S9GQK9KV8A | S9GQK9KV8A | statement | record (an 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#K7V6 |
| S9H1GC4H1R | S9H1GC4H1R | statement | open | hott_book hlevels.tex#thm:orth-fact |
| S9HP82SDPC | S9HP82SDPC | statement | record (an 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.04498#EE4L |
| S9J1QWMPKD | S9J1QWMPKD | statement | record (an 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.21800#01WD |
| S9JACTVKS6 | S9JACTVKS6 | statement | record (an 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#AC8S |
| S9JR6Q77VR | S9JR6Q77VR | statement | record (an 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.35398#LRC3 |
| S9JWKJW338 | S9JWKJW338 | statement | record (an 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.06895#8711 |
| S9K7CWRPFX | S9K7CWRPFX | statement | record (an 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.23605#1VVF |
| S9M2SJ95PG | S9M2SJ95PG | statement | record (an 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.40054#LMMB |
| S9MDQ1F0V9 | S9MDQ1F0V9 | statement | record (an 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.07927#Y2VZ |
| S9MJK37S2M | S9MJK37S2M | statement | record (an 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.22964#NV79 |
| S9N6V7MM96 | S9N6V7MM96 | 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#MAUI |
| S9N7498P0V | S9N7498P0V | statement | open | hott_book hlevels.tex#thm-1 |
| S9NHDX0AAK | S9NHDX0AAK | statement | record (an 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.27044#2J4Z |
| S9P0CZX3F4 | S9P0CZX3F4 | statement | record (an 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#S9ZP |
| S9PF8T4PX5 | S9PF8T4PX5 | statement | record (an 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.18620#MDOL |
| S9Q2N3TGMQ | S9Q2N3TGMQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.08900#K8ID |
| S9R698WHG8 | S9R698WHG8 | statement | record (an 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.09162#4XZW |
| S9R9S3R3AC | S9R9S3R3AC | problem | open | Wikipedia Aanderaa–Karp–Rosenberg conjecture#RXKH |
| S9RC7H7ZX0 | S9RC7H7ZX0 | statement | record (an 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.05784#UDRJ |
| S9RNWK1FTC | S9RNWK1FTC | statement | record (an 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.37704#16BE |
| S9S4MBFA65 | S9S4MBFA65 | statement | record (an 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.21298#GZK3 |
| S9SA7FWASM | S9SA7FWASM | statement | record (an 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.26477#Q5W0, arXiv 2609.26500#568R |
| S9SECZD1FK | S9SECZD1FK | statement | record (an 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.23685#SU5R |
| S9TDWS3X61 | S9TDWS3X61 | statement | record (an 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.28076#59MN |
| S9TDYQ844J | S9TDYQ844J | statement | record (an 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.31445#FBDD |
| S9V80CW4KN | S9V80CW4KN | statement | record (an 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.18324#6RCO |
| S9VAWE7V2F | S9VAWE7V2F | example | open | lebl_diffyqs ch-laplace.tex#example-2 |
| S9VSWR8TMG | S9VSWR8TMG | example | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#example-1 |
| S9WH9B638Y | S9WH9B638Y | statement | record (an 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.13475#MIML |
| S9WT19HD1M | S9WT19HD1M | statement | record (an 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.05923#FQ2X |
| S9X6B8X117 | S9X6B8X117 | statement | record (an 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#6RCA |
| S9XAQW0F05 | S9XAQW0F05 | statement | record (an 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.00525#ZZIT |
| S9XBMDXSMB | S9XBMDXSMB | 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.22759#XRGG |
| S9XGV7SZJ4 | S9XGV7SZJ4 | statement | record (an 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.06699#MJDN |
| S9XP7TM3HW | S9XP7TM3HW | 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 2406.06762#YI05 |
| S9Y8CK9DCX | S9Y8CK9DCX | statement | record (an 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.00339#VF1A |
| S9YZ6TESP0 | S9YZ6TESP0 | 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.15887#MU3J |
| S9YZF23Q27 | S9YZF23Q27 | statement | record (an 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.21358#2XVN |
| S9ZVNYN10N | S9ZVNYN10N | statement | record (an 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.29152#3G0P |
| S\'evennec | 4DMFN4XNJF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#TAXI |
| SA01S8QWJQ | SA01S8QWJQ | statement | open | napkin tex/calculus/integrate.tex#theorem-1 |
| SA04WWSF6W | SA04WWSF6W | statement | record (an 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.21937#3S80 |
| SA0CS4NTB5 | SA0CS4NTB5 | 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.11468#UQJ4 |
| SA0SK06XYX | SA0SK06XYX | statement | record (an 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.06895#KY7Q |
| SA0WZRBVZ0 | SA0WZRBVZ0 | statement | record (an 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.12047#KFFU |
| SA1G3WFBXB | SA1G3WFBXB | statement | record (an 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.12169#O5GB |
| SA1HXHBMQB | SA1HXHBMQB | statement | record (an 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.39700#728P |
| SA2BV5QK4E | SA2BV5QK4E | statement | record (an 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#4797 |
| SA2JZ82CXV | SA2JZ82CXV | example | open | napkin tex/riemann-surface/line-bundles.tex#example-1 |
| SA2XNFCB5V | SA2XNFCB5V | 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.06152#B4JL |
| SA2YK3PW62 | SA2YK3PW62 | statement | record (an 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.03373#KKS7 |
| SA36XH1MVY | SA36XH1MVY | statement | record (an 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.10570#2AIV |
| SA37FHTN3Q | SA37FHTN3Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#HHUD |
| SA3831KKGK | SA3831KKGK | statement | record (an 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.18033#52PP |
| SA3XFZ4N8P | SA3XFZ4N8P | statement | record (an 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.19637#CEG4 |
| SA40P1T3CX | SA40P1T3CX | statement | record (an 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.23846#CGS3 |
| SA417SZ4RZ | SA417SZ4RZ | statement | record (an 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.11671#PBAH |
| SA429DTKZK | SA429DTKZK | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-5 |
| SA4EMSCPX2 | SA4EMSCPX2 | statement | open | napkin tex/H113/ring-flavors.tex#proposition-2 |
| SA4PR70G6H | SA4PR70G6H | statement | record (an 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.35183#AZPR |
| SA55QYF8Z2 | SA55QYF8Z2 | statement | record (an 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.16225#1AGV |
| SA58D2SA7A | SA58D2SA7A | 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.23605#GK28 |
| SA5GJRDHQJ | SA5GJRDHQJ | statement | record (an 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.16884#VA7F |
| SA66G8P31P | SA66G8P31P | 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 2504.01057#85OA |
| SA6V23V43M | SA6V23V43M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04063#PHJX |
| SA7CXGP7G9 | SA7CXGP7G9 | statement | record (an 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.22681#018K |
| SA7MYNMTSS | SA7MYNMTSS | statement | record (an 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.23338#VJ2C |
| SA8HQBT7XH | SA8HQBT7XH | 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.22557#RWUK |
| SA9418RHW8 | SA9418RHW8 | statement | record (an 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.34193#0YPC |
| SA96JDB9HQ | SA96JDB9HQ | statement | record (an 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.13213#QFRD |
| SA9FVQ2T2J | SA9FVQ2T2J | statement | record (an 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.27918#IUW0 |
| SA9KFE0GD8 | SA9KFE0GD8 | 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.38014#ZOJH |
| SA9NH6EDXF | SA9NH6EDXF | statement | record (an 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.10840#T63J |
| SA9T9E5V66 | SA9T9E5V66 | statement | record (an 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.17484#3NZH |
| SAA backward passes, true-law forward passes | RMYVCASYJB | statement | record (an 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.12713#BR52 |
| SAA backward passes, true-law forward passes | SZPDJ4WK9D | statement | record (an 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.12713#D5UW |