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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 7001–7100 of 7101.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SZ4KRAW2SA | SZ4KRAW2SA | statement | record (an 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#B1QZ |
| SZ4V2F6TGH | SZ4V2F6TGH | statement | record (an 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.24701#73K3 |
| SZ4WB4XNF2 | SZ4WB4XNF2 | statement | record (an 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.15111#XRU0 |
| SZ54MY1X6E | SZ54MY1X6E | statement | record (an 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.24795#5NPE |
| SZ5HHEJ6JJ | SZ5HHEJ6JJ | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-4 |
| SZ5YVVYY7B | SZ5YVVYY7B | statement | record (an 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#3XFL |
| SZ70QZ92AA | SZ70QZ92AA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#WWC4 |
| SZ74XJ9ZB8 | SZ74XJ9ZB8 | exercise | open | napkin tex/H113/grp-intro.tex#exercise-2 |
| SZ7EDKCWEN | SZ7EDKCWEN | statement | record (an 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.35180#D1WL |
| SZ854CPR00 | SZ854CPR00 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#prop:provability-quantifiers |
| SZ8QTGW4SJ | SZ8QTGW4SJ | statement | record (an 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#YFLM |
| SZ8Y40W2A9 | SZ8Y40W2A9 | statement | record (an 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.13323#JE1B |
| SZ9SR71XWK | SZ9SR71XWK | statement | record (an 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.14455#02H0 |
| SZ9X31ZYRA | SZ9X31ZYRA | statement | record (an 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#Z3YU |
| Sz\'ekelyhidi | 2VCT18HM8Y | statement | record (an 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#PL20 |
| Sz\'ekelyhidi | PDZG08W838 | statement | record (an 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.21934#VSVW |
| Szachniewicz | T02HFE657B | statement | record (an 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.39505#ZCA0 |
| SZANMBGYSZ | SZANMBGYSZ | 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.30262#9IEU |
| SZBD3W01WF | SZBD3W01WF | statement | record (an 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.22058#VI1Z |
| SZBTEH8F2E | SZBTEH8F2E | statement | record (an 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.06338#QAKQ |
| SZC87QM1TA | SZC87QM1TA | statement | record (an 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.07061#F4WM |
| SZC8AEEVXT | SZC8AEEVXT | statement | record (an 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.02065#26DQ |
| SZCGGFZR1X | SZCGGFZR1X | statement | record (an 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.21960#7U6K |
| SZD73TYS79 | SZD73TYS79 | statement | record (an 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#ZQAG |
| SZD875TKM8 | SZD875TKM8 | statement | record (an 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.22082#XX1R |
| SZD8KCNY72 | SZD8KCNY72 | 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.25967#R3BN |
| Sze-Tsen Hu | 6Q5VG1RMEN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21604664, nLab Sze-Tsen Hu, ProofWiki Mathematician:Sze-Tsen_Hu |
| SZEC0XKWWD | SZEC0XKWWD | 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.03612#J304 |
| Szeg\"{o}-type Theorem, p: 248 | 50B6MEWXDK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.04968#I5BX |
| Szeg\Ho kernel, unit disc | JVGVEDRF6F | concept | open | lebl_scv index/5.2/szeg-ho-kernel-unit-disc |
| Szegedy's four-point case | 32YPD47MSJ | statement | record (an 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.26576#XEUF |
| Szegő limit theorems | BWEBY83G7Y | statement | open | mathlib_1000 Q3458641, Wikidata Q3458641, thousand_plus Q3458641, Wikipedia Szegő limit theorems |
| Szekeres snark | Z9JJYNGQ5D | concept | open | Wikidata Q3487139, House of Graphs 1338, MathWorld SzekeresSnark |
| Szemer\'edi Graph Regularity Lemma | 6J1ZQ8E6YB | statement | record (an 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.38772#TTWS |
| Szemer\'{e}di 1975 | W04V0RSB38 | statement | record (an 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.28898#AJ13 |
| Szemerédi | 4R60T4HVC5 | statement | open | applied_combinatorics source/s_kitchensink_online.ptx#theorem-2 |
| Szemerédi's theorem | WHHQH7W3GN | statement | open | mathlib_1000 Q1046232, Wikidata Q1046232, thousand_plus Q1046232, Wikipedia Szemerédi's theorem, MathWorld SzemeredisTheorem |
| Szemerédi–Trotter theorem | JE7VKGS1FV | statement | open | mathlib_1000 Q721695, Wikidata Q721695, thousand_plus Q721695, Wikipedia Szemerédi–Trotter theorem |
| SZFAT1DJE8 | SZFAT1DJE8 | statement | record (an 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#INS6 |
| SZFS9W9AXJ | SZFS9W9AXJ | statement | record (an 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.09678#8WJ7 |
| SZFWFC8GG9 | SZFWFC8GG9 | statement | record (an 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.26479#BIPH |
| SZFWZGYBKP | SZFWZGYBKP | 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.17060#1FYO |
| SZGA9WRSRT | SZGA9WRSRT | statement | record (an 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.29878#XNQZ |
| SZGTXNPKWA | SZGTXNPKWA | 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 1806.00752#U52S |
| SZH3BVM39S | SZH3BVM39S | exercise | open | lebl_ra ch-der.tex#exercise:samediffconst |
| SZH4G4JA3D | SZH4G4JA3D | 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.01915#AE55 |
| SZHDGDWC9S | SZHDGDWC9S | statement | record (an 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.04809#ACSF |
| SZHJQPRFTZ | SZHJQPRFTZ | statement | record (an 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.39269#HQFI |
| SZHPW2V03X | SZHPW2V03X | statement | record (an 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.27931#PQ83 |
| Szilassi polyhedron | J458YPM8NP | unknown | open | Wikidata Q838442, MathWorld SzilassiPolyhedron |
| SZJCP3APPP | SZJCP3APPP | definition | open | hott_book hlevels.tex#defn-3 |
| SZJMFWGXA9 | SZJMFWGXA9 | statement | record (an 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#MIPQ |
| SZJSV3DSZ4 | SZJSV3DSZ4 | statement | record (an 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#0ACV |
| SZK0CNKR4K | SZK0CNKR4K | statement | record (an 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.08193#VLR6 |
| SZMXXRDRTE | SZMXXRDRTE | statement | open | napkin tex/linalg/fourier.tex#corollary-2 |
| SZNBW926RV | SZNBW926RV | statement | open | hott_book equivalences.tex#thm:hae-hprop |
| SZNVBN0ZKQ | SZNVBN0ZKQ | statement | record (an 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.12489#84A3 |
| SZNVD2ZVYN | SZNVD2ZVYN | statement | record (an 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.08480#NL74 |
| SZNWC8AY69 | SZNWC8AY69 | statement | record (an 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.12857#O03T |
| SZPFFG45V0 | SZPFFG45V0 | statement | record (an 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.25289#OBGO |
| Szpilrajn extension theorem | DRZQG34P78 | statement | open | mathlib_1000 Q869647, Mathlib extend_partialOrder, Wikidata Q869647, thousand_plus Q869647, Wikipedia Szpilrajn extension theorem |
| Szpiro's conjecture | 213A3F6QHG | conjecture | open | Wikidata Q829242, MathWorld SzpirosConjecture, nLab Szpiro's conjecture |
| SZPK2WJHC0 | SZPK2WJHC0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#2DUL |
| SZPNTGPRBC | SZPNTGPRBC | statement | record (an 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.22607#1ZY6 |
| SZQAJCPFZ9 | SZQAJCPFZ9 | statement | record (an 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.12295#H9O7 |
| SZQYFB83AH | SZQYFB83AH | 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 2504.18390#5XZS |
| SZR2NA1ZJ0 | SZR2NA1ZJ0 | statement | record (an 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.20170#AO4Z |
| SZR799HHBH | SZR799HHBH | exercise | open | lebl_scv scv.tex#exercise-22 |
| SZRTHBF0KG | SZRTHBF0KG | statement | record (an 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.20568#E4GB |
| SZSBWS17KE | SZSBWS17KE | statement | record (an 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.18859#KRZX |
| SZSMXRN37R | SZSMXRN37R | statement | record (an 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.14217#CJIP |
| SZSSK1YTKW | SZSSK1YTKW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.28861#DTIR |
| SZSWBD23FQ | SZSWBD23FQ | statement | record (an 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.26762#GHEW |
| SZT0AA7Y39 | SZT0AA7Y39 | statement | record (an 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.04729#Y5HV |
| SZTHX5FKKG | SZTHX5FKKG | statement | record (an 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.16727#CC6T |
| SZV018FJFZ | SZV018FJFZ | statement | record (an 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.34011#4R6H |
| SZV4A79MYN | SZV4A79MYN | 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.04046#RJZO |
| SZVCHVMBPC | SZVCHVMBPC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.0651#5APC |
| SZVN2RXT81 | SZVN2RXT81 | statement | record (an 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.01802#V3YI |
| SZW16XGFD1 | SZW16XGFD1 | 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 2204.01073#I7A1 |
| SZWAY1XZN8 | SZWAY1XZN8 | statement | record (an 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.18847#SZLH |
| SZWWSDRKBZ | SZWWSDRKBZ | 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.15511#1C1V |
| SZXJ07ACW1 | SZXJ07ACW1 | statement | record (an 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.08480#61II |
| SZXR5N7KV4 | SZXR5N7KV4 | definition | open | napkin tex/alg-NT/pell.tex#definition-1 |
| SZY6MZSHMP | SZY6MZSHMP | statement | open | hott_book setmath.tex#thm:injsurj |
| SZY7SSVYPW | SZY7SSVYPW | statement | record (an 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.13100#2SMV |
| SZYA89V0T2 | SZYA89V0T2 | statement | record (an 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.26808#U7WT |
| SZYAAPA4RM | SZYAAPA4RM | proof | open | napkin tex/linalg/vector-space.tex#proof-3 |
| SZYHS6WRDW | SZYHS6WRDW | 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.20131#3X61 |
| SZYV0X3C9N | SZYV0X3C9N | 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.28507#30QF |
| SZYXG90T56 | SZYXG90T56 | statement | open | lebl_ra ch-contfunc.tex#liminfty:unique |
| SZZQYW2TMR | SZZQYW2TMR | 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.01802#3MXF |
| SZZRP0DTFR | SZZRP0DTFR | example | open | levin_dmoi ptx/sec_seq-polyfit.ptx#example-2 |
| SZZS4XD8EK | SZZS4XD8EK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#5D91 |
| SZZVZRGHJ6 | SZZVZRGHJ6 | statement | record (an 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#AG9D |
| SZZWSZERAS | SZZWSZERAS | 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.14838#JAMJ |
| Sárközy's theorem | 9GMWRR2KKJ | statement | open | Wikidata Q16320789, MathWorld SarkozysTheorem |
| Sören Illman | 3VB0H3FBNF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q11895808, nLab Sören Illman |
| Søren Galatius | A35XRWCXSD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q14942107, nLab Søren Galatius |
| Sōichi Kakeya | H7ECEYHC13 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2382771, ProofWiki Mathematician:Soichi_Kakeya |