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 3801–3900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| snake lemma | BYZNM1784G | statement | open | Wikidata Q1064342, MathWorld SnakeLemma, nLab snake lemma, ProofWiki Snake_Lemma |
| snake-in-the-box | FTQNKRCPFS | unknown | open | Wikidata Q15995476, MathWorld Snake |
| SNAM1FEBGQ | SNAM1FEBGQ | statement | record (an 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.20558#ZJVD |
| SNAQ3Z8RNN | SNAQ3Z8RNN | statement | record (an 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#QQRW |
| snark | CDGWYN42E6 | concept | open | Wikidata Q6470127, MathWorld Snark |
| SNBB9TNSTJ | SNBB9TNSTJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.09379#V4TM |
| SNBHXFW76V | SNBHXFW76V | 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 2510.01873#DV01 |
| SNBNYTPSDP | SNBNYTPSDP | unknown | open | |
| SNBPWWW2PF | SNBPWWW2PF | statement | record (an 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.20306#YE58 |
| SNBX1VT89S | SNBX1VT89S | 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 1904.08413#9OPC |
| SNC5RA6VHP | SNC5RA6VHP | statement | record (an 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#Y51W |
| SNCKM5D0WC | SNCKM5D0WC | 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 2610.13532#NA3V |
| SNCPKARAPH | SNCPKARAPH | statement | record (an 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.29838#J5YM |
| SNCXETQMSQ | SNCXETQMSQ | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-3 |
| SNDCYEF77M | SNDCYEF77M | statement | record (an 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#7OF8 |
| SNE7GX9013 | SNE7GX9013 | 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.11800#H7NL |
| SNEC8R4RH5 | SNEC8R4RH5 | statement | record (an 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.13745#CB4R |
| SNED6WY6TF | SNED6WY6TF | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-37 |
| SNEE7DPNEN | SNEE7DPNEN | statement | record (an 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.06381#YO5J |
| SNEE84YAEQ | SNEE84YAEQ | statement | record (an 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.04305#2R6V |
| SNEEK8QDMT | SNEEK8QDMT | statement | record (an 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#6D9W |
| Sneiberg extrapolation | BVPB4JY2QF | statement | record (an 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.29712#LBT4 |
| Snell's law | 1C13E58CZH | statement | open | Wikidata Q208391, ProofWiki Snell-Descartes_Law |
| Snellius–Pothenot problem | YMCDQJF3H5 | problem | open | Wikidata Q17107808, MathWorld Snellius-PothenotProblem |
| SNF9ZFSHW6 | SNF9ZFSHW6 | statement | record (an 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.28374#X6W4 |
| SNFCSA7XTH | SNFCSA7XTH | statement | record (an 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#6LE4 |
| SNFJ04W8E7 | SNFJ04W8E7 | statement | record (an 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#DL6S |
| SNFZ5XZ283 | SNFZ5XZ283 | statement | record (an 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.03327#347Y |
| SNG112VTG0 | SNG112VTG0 | proof | open | open_logic content/intuitionistic-logic/soundness-completeness/soundness-axd.tex#proof-1 |
| SNG2BHVZ4G | SNG2BHVZ4G | statement | record (an 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.25524#YLOO |
| SNG74K20ZJ | SNG74K20ZJ | statement | record (an 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.39531#H6HM |
| SNGKMS2VVC | SNGKMS2VVC | statement | record (an 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.02672#PMEW |
| SNGQ6J20JS | SNGQ6J20JS | 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.25449#WHX6 |
| SNHGCWE3P5 | SNHGCWE3P5 | 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.30976#PORE |
| SNHXEZZ11V | SNHXEZZ11V | 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.33313#0MIR |
| SNJ1Q3D9FZ | SNJ1Q3D9FZ | 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.36321#VVQB |
| SNJT922KXK | SNJT922KXK | statement | record (an 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.33231#OE6Q |
| SNJYBV5PY7 | SNJYBV5PY7 | statement | record (an 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.29903#DD5I |
| SNK2ZFPA42 | SNK2ZFPA42 | statement | record (an 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.33173#E1KC |
| SNKN3BVD8Q | SNKN3BVD8Q | statement | record (an 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.15454#1VBI |
| SNKN8KTA3M | SNKN8KTA3M | example | open | lebl_diffyqs ch-laplace.tex#example-6 |
| SNKZM09855 | SNKZM09855 | 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.35678#ELEJ |
| SNMQRKVC81 | SNMQRKVC81 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02997#RPDD |
| SNMR6JVA6C | SNMR6JVA6C | proof | open | lebl_ra ch-seq-ser.tex#proof-35 |
| SNMSRH0X79 | SNMSRH0X79 | statement | record (an 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.03864#F92T |
| SNNGYERVNV | SNNGYERVNV | statement | record (an 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.31883#8Z51 |
| SNNTPPP5AA | SNNTPPP5AA | statement | record (an 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#KJY7 |
| snooker ball | MC94J6T2S0 | statement | open | Wikidata Q55398354, ProofWiki Collision/Examples/Snooker_Balls |
| SNP08RMVF1 | SNP08RMVF1 | statement | record (an 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.29489#V9XE |
| SNP4W10HHS | SNP4W10HHS | 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#4MHQ |
| SNPKPCW0F8 | SNPKPCW0F8 | statement | record (an 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#U25Y |
| SNQAD954ZF | SNQAD954ZF | statement | record (an 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.31127#NUTI |
| SNSM7MRCXQ | SNSM7MRCXQ | statement | record (an 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.06340#BUWE |
| SNSR627HKS | SNSR627HKS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1601.02354#4E24 |
| SNT8B3S2GC | SNT8B3S2GC | statement | record (an 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.04593#I7VL |
| SNTHXCMW22 | SNTHXCMW22 | statement | record (an 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.04730#MCL0 |
| SNTZPATY7C | SNTZPATY7C | statement | record (an 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.25717#G5YP |
| snub | KBSGWZE1XV | concept | open | Wikidata Q18378865, MathWorld Snubification |
| snub cube | ED32AVY4AB | object | open | Wikidata Q125569, MathWorld SnubCube |
| snub cubical graph | CXRMTFR6VM | unknown | open | Wikidata Q3115464, House of Graphs 1323, MathWorld SnubCubicalGraph |
| snub disphenoid | 1CFSBMQWSK | object | open | Wikidata Q124656, MathWorld SnubDisphenoid |
| snub dodecadodecahedron | WG89XMQ6W1 | unknown | open | Wikidata Q83769, MathWorld SnubDodecadodecahedron |
| snub dodecahedral graph | EMTVWY8VZZ | unknown | open | Wikidata Q3115553, House of Graphs 1325, MathWorld SnubDodecahedralGraph |
| snub dodecahedron | X3420SZHGE | object | open | Wikidata Q320405, MathWorld SnubDodecahedron |
| snub icosidodecadodecahedron | WQ70DNT2X1 | unknown | open | Wikidata Q158475, MathWorld SnubIcosidodecadodecahedron |
| snub polyhedron | 4GCASD5HYE | unknown | open | Wikidata Q125087, MathWorld SnubPolyhedron |
| snub square antiprism | NHZ3BZ5KGF | object | open | Wikidata Q2711685, MathWorld SnubSquareAntiprism |
| SNVD960B81 | SNVD960B81 | statement | record (an 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.36613#CPAX |
| SNVT61011Q | SNVT61011Q | statement | record (an 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.38596#K2N0 |
| SNW0G0CWEE | SNW0G0CWEE | statement | record (an 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.33679#RIOZ |
| SNWDJRGNJT | SNWDJRGNJT | statement | record (an 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.08809#NKA9 |
| SNWSG5QRA5 | SNWSG5QRA5 | statement | record (an 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.19023#YF5T |
| SNXD5NA2JP | SNXD5NA2JP | statement | record (an 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.34852#A0Z5 |
| SNXEQ8TMVR | SNXEQ8TMVR | statement | record (an 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.12736#RX7S |
| SNYD8ENK82 | SNYD8ENK82 | statement | record (an 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.32977#IEQ6 |
| SNYRVBH26G | SNYRVBH26G | statement | record (an 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.07893#J5M7 |
| SNYZR0G2SN | SNYZR0G2SN | statement | record (an 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.14135#K69W |
| SNZ1SX2N9X | SNZ1SX2N9X | 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 1103.1038#1FQX |
| SNZ6QE9NFH | SNZ6QE9NFH | statement | record (an 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#MQ4I |
| SNZ73RHZHF | SNZ73RHZHF | statement | record (an 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.22218#76Z7 |
| SNZA3YN987 | SNZA3YN987 | statement | record (an 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.10202#AV50 |
| SNZF8K67N9 | SNZF8K67N9 | statement | record (an 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.14080#6CYF |
| SNZWPPPNHN | SNZWPPPNHN | example | open | napkin tex/measure/caratheodory.tex#example-2 |
| sober space | 288K7WTJJV | definition | open | Wikidata Q8778429, nLab sober topological space, ProofWiki Definition:Sober_Space |
| Sobolev class | 4QGYYS02BM | 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.21775#LDCA |
| Sobolev class induced by maximal weak subslope | GSVZ99H4ZF | 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.21775#XPRZ |
| Sobolev decomposition and embeddings | 6GPP71PTEF | statement | record (an 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#G7P1 |
| Sobolev embedding | 85J0KGYP7E | statement | record (an 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.32561#FNRL |
| Sobolev exclusion of light segments - higher dimensions | XS8NFC2BSV | statement | record (an 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.25449#6U8Q |
| Sobolev exclusion of light segments - lower dimensions | 34ZD7MTAYC | statement | record (an 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.25449#O2KL |
| Sobolev functions | HHBFG02WCE | 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.04317#ZDC9 |
| Sobolev group bounds from coefficient regularity | 5PBYHENXAZ | statement | record (an 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.16094#EN81 |
| Sobolev inequality | ATNN0JW79E | statement | open | mathlib_1000 Q3711848, Wikidata Q3711848, thousand_plus Q3711848, Wikipedia Sobolev embedding theorem, EoM Imbedding_theorems |
| Sobolev Multiplication Theorem | 3GW5NK5CWZ | statement | record (an 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#1PZU |
| Sobolev norm bounds for the signal term | G7FPHKR75C | statement | record (an 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.16705#2WEH |
| Sobolev norm concentration for the Ising pure $k$-spin Hamiltonian | TYDFTCM676 | statement | record (an 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.16705#PPPI |
| Sobolev regularity preservation along geodesics | JCNJH2GV9Z | statement | record (an 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.06788#UJ44 |
| Sobolev score realization | GMCWRF3J1X | statement | record (an 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#ZT83 |
| Sobolev size of the saturated bubble | HW2JVHMVTA | statement | record (an 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.27813#APU0 |
| Sobolev space | DJV319196R | concept | open | Wikidata Q1501536, EoM Sobolev_space, MathWorld SobolevSpace, nLab Sobolev space, ProofWiki Definition:Sobolev_Space |