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 6301–6400 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SVD-inv inconsistency | B7TWAT4Y4P | 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.32505#7KRK |
| SVDFDN786R | SVDFDN786R | statement | record (an 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#2599 |
| SVDJVJTHT2 | SVDJVJTHT2 | statement | record (an 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#PL3O |
| SVE90E5MHY | SVE90E5MHY | definition | open | lebl_ra ch-metric.tex#defn-9 |
| Sven Bjarke Gudnason | B4V0597SMC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60021982, nLab Sven Bjarke Gudnason |
| SVENZMAJ6W | SVENZMAJ6W | exercise | open | open_logic content/intuitionistic-logic/introduction/natural-deduction.tex#prob-1 |
| SVEVHR3RCA | SVEVHR3RCA | statement | record (an 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.01596#RMZU |
| SVFA4P4JP5 | SVFA4P4JP5 | statement | record (an 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.08123#O5AR |
| SVFRX0FMZG | SVFRX0FMZG | statement | record (an 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.17677#5OT0 |
| SVFW5QGN8H | SVFW5QGN8H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#4V0F |
| SVG0R7Z0T5 | SVG0R7Z0T5 | example | open | active_calculus source/sec-2-1-elem-rules.xml#example-4 |
| SVGCENJK9A | SVGCENJK9A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#KRG0 |
| SVGH97P379 | SVGH97P379 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-84 |
| SVGM872RYD | SVGM872RYD | statement | record (an 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.33124#DWQA |
| SVH02G5EVC | SVH02G5EVC | statement | record (an 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.03745#3K69 |
| SVHJ2RKD45 | SVHJ2RKD45 | statement | record (an 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.16605#ZNLJ |
| SVJAV9ABQN | SVJAV9ABQN | statement | record (an 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#A2MP |
| SVJEK7MFFV | SVJEK7MFFV | statement | record (an 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#EJCU |
| SVJQYQHM43 | SVJQYQHM43 | example | open | napkin tex/calculus/limits.tex#example-9 |
| SVJZRMH07R | SVJZRMH07R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#18LV |
| SVKF4FNHRR | SVKF4FNHRR | 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.27078#TRZB |
| SVKH91K23R | SVKH91K23R | example | open | open_logic content/sets-functions-relations/functions/function-basics.tex#ex-2 |
| SVKVG7AJJX | SVKVG7AJJX | statement | record (an 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.02751#RKAL |
| SVM4WJDBCX | SVM4WJDBCX | 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.30018#NGMC |
| SVMD4NAJ0S | SVMD4NAJ0S | statement | record (an 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.26058#B1V9 |
| SVN2AT466X | SVN2AT466X | statement | record (an 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.15403#YRO0 |
| SVNHT15V8B | SVNHT15V8B | 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.22040#II49 |
| SVPEPXXTKH | SVPEPXXTKH | exercise | open | napkin tex/H113/quotient.tex#ques-1 |
| SVPPT7W2Q9 | SVPPT7W2Q9 | statement | record (an 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.16605#4RUZ |
| SVRAH3TVC9 | SVRAH3TVC9 | statement | record (an 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#MEPP |
| SVRBRH367T | SVRBRH367T | statement | record (an 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.20242#ZLCT |
| SVSAAKCEPV | SVSAAKCEPV | example | open | hott_book homotopy.tex#eg:suspension |
| SVV0C737XM | SVV0C737XM | statement | record (an 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.00134#E4QP |
| SVV2P8P1VZ | SVV2P8P1VZ | statement | record (an 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.27320#IX3Q |
| SVVEPVS7VM | SVVEPVS7VM | statement | record (an 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.17139#HOVF |
| SVW6P3CXTS | SVW6P3CXTS | 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.20899#04P4 |
| SVWYK5SAYN | SVWYK5SAYN | statement | record (an 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.30933#L0AC |
| SVX48RWHG0 | SVX48RWHG0 | statement | record (an 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.18536#TZ4V |
| SVXBM8D36J | SVXBM8D36J | statement | record (an 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.02436#7O2B |
| SVXJ9MX0WB | SVXJ9MX0WB | 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 2006.12475#BZ7Y |
| SVYT0470BK | SVYT0470BK | statement | record (an 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/9902147#UBFW |
| SVZ7E8ZCD3 | SVZ7E8ZCD3 | statement | record (an 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.19533#QHDC |
| SVZ7Y4AW1S | SVZ7Y4AW1S | statement | record (an 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.32383#C9CY |
| SVZA4GZE7P | SVZA4GZE7P | statement | record (an 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.28961#DKZK |
| SVZDMY0CKC | SVZDMY0CKC | statement | record (an 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.13671#N3PI |
| SVZGQNF9Q9 | SVZGQNF9Q9 | statement | record (an 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.35543#BK2D |
| SW0AMCNHVZ | SW0AMCNHVZ | statement | record (an 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.00914#XU1E |
| SW0GM3T7R8 | SW0GM3T7R8 | statement | record (an 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.09154#0Y5G |
| SW0R7C33B0 | SW0R7C33B0 | statement | record (an 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.37739#7JY4 |
| SW0S3AJPTR | SW0S3AJPTR | statement | record (an 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.14162#YTF5 |
| SW1CVW04YF | SW1CVW04YF | statement | record (an 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#TH98 |
| SW1JTV84HP | SW1JTV84HP | statement | record (an 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.14380#UQ74 |
| SW1KKXK172 | SW1KKXK172 | 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.15217#CY7W |
| SW1Y26H2BC | SW1Y26H2BC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1304.4839#VGH1 |
| SW2N98GY9D | SW2N98GY9D | 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 0809.0068#OLT7 |
| SW2WPNY9SP | SW2WPNY9SP | statement | record (an 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.39845#J17G |
| SW330FCHP3 | SW330FCHP3 | proof | open | napkin tex/measure/swapsum.tex#proof-3 |
| SW3DNHT8BF | SW3DNHT8BF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.10178#7DVQ |
| SW3P4HZRDB | SW3P4HZRDB | statement | record (an 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#MVL7 |
| SW47YX0XAQ | SW47YX0XAQ | 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 2508.02432#Z2LF |
| SW4XDQR3VG | SW4XDQR3VG | 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 1907.01440#PNLC |
| SW65KR3EEH | SW65KR3EEH | 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 1008.4946#99KR |
| SW6G9B51BQ | SW6G9B51BQ | statement | record (an 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.17850#QJ2U |
| SW6YFJD9BY | SW6YFJD9BY | statement | record (an 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.21752#8OTW |
| SW7357M1RM | SW7357M1RM | statement | record (an 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.32338#37E9 |
| SW745DY9KV | SW745DY9KV | 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.37520#I2N6 |
| SW745HX5VD | SW745HX5VD | example | open | napkin tex/alg-NT/artin.tex#example-3 |
| SW8BB45FMT | SW8BB45FMT | 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.22040#1LF9 |
| SW93HQM849 | SW93HQM849 | unknown | open | arXiv math/0512416#INX8 |
| SW964J6VC0 | SW964J6VC0 | statement | record (an 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.20466#7QZG |
| SW9BHC7QV9 | SW9BHC7QV9 | 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.21507#GPZC |
| SW9S9KMVD3 | SW9S9KMVD3 | statement | record (an 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.08335#8ATP |
| SWA4GKZSTR | SWA4GKZSTR | statement | record (an 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.27518#A7AK |
| SWA9WFY0M6 | SWA9WFY0M6 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-15 |
| SWAAB93QNC | SWAAB93QNC | statement | record (an 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.21461#S54N |
| SWAKJNC6VV | SWAKJNC6VV | statement | record (an 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#FG4F |
| swampland | WSQFG21DD4 | unknown | open | Wikidata Q7653378, nLab swampland |
| Swan's theorem | BHR42BVNWG | statement | open | mathlib_1000 Q7455422, Wikidata Q7455422, thousand_plus Q7455422, Wikipedia Swan's theorem |
| Swap of fixed points, Lemma 2.1 | T894DB5STG | statement | record (an 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.36016#VXEM |
| Swap trick | 3GJ56DRB35 | statement | record (an 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.11002#S1UI |
| Swap--Rendezvous | BXZTNEGZKM | 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.17677#ZPDG |
| Swap-Directional Lipschitz constant | 9FN7PBJEQK | statement | record (an 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.01199#V3SJ |
| Swap-path symmetry | RPS4SMVK1F | statement | record (an 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.25120#8QB2 |
| swastika | X8V47Z4VN7 | unknown | open | Wikidata Q45513, MathWorld Swastika |
| SWB77WWT0Q | SWB77WWT0Q | statement | record (an 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#QJYQ |
| SWBQMV750D | SWBQMV750D | statement | record (an 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.08980#SGXH |
| SWBVPAG1Z8 | SWBVPAG1Z8 | 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.38532#46OF |
| SWBXMB9YYX | SWBXMB9YYX | 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.04566#8QB9 |
| SWC61TNHRA | SWC61TNHRA | statement | record (an 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.18929#E4AZ |
| SWC6CK79EN | SWC6CK79EN | statement | record (an 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.01411#J1EO |
| SWCG4YD9E4 | SWCG4YD9E4 | proof | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-1 |
| SWCMJ2RZDM | SWCMJ2RZDM | statement | record (an 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.35030#ODNG |
| SWCQ3D1QA2 | SWCQ3D1QA2 | statement | record (an 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.31243#CXX2 |
| SWCTRW9JCP | SWCTRW9JCP | example | open | applied_combinatorics source/s_intro_graph.ptx#ex_radiostations |
| SWCX687JJ3 | SWCX687JJ3 | 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#VLCF |
| SWDPB22D0R | SWDPB22D0R | statement | record (an 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.24610#SHKK |
| SWDXFNFRTW | SWDXFNFRTW | statement | record (an 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.20299#FUXW |
| SWE2GFKE1C | SWE2GFKE1C | statement | record (an 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.30165#5XEU |
| SWE2ZFVSZP | SWE2ZFVSZP | 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.39169#UETA |
| Sweden | B69ZTW2F39 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q34, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Sweden |