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 1101–1200 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Sasakian manifold | GH30BKTW54 | concept | open | Wikidata Q7424986, nLab Sasakian manifold |
| SASV6E4W2K | SASV6E4W2K | statement | record (an 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.39455#8GFB |
| SAT2DRS7HX | SAT2DRS7HX | statement | record (an 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.18618#ZZ6T |
| SAT5G3PD7X | SAT5G3PD7X | statement | record (an 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.22078#UQDV |
| SAT6X4RFPW | SAT6X4RFPW | statement | record (an 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.01441#IKTT |
| Satedness restricts to Heyting subspaces | V86PYCJD12 | statement | record (an 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#UGIK |
| satellite knot | J5A1PRV0DB | unknown | open | Wikidata Q7426084, MathWorld SatelliteKnot |
| Satisfaction | 4GQA4EAGMC | definition | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn:satisfaction |
| Satisfaction | 859897C61R | definition | open | open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#defn:satisfaction |
| Satisfaction | 86JZV8363N | definition | open | open_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn:satisfaction |
| Satisfaction | JVMDWFBAD8 | definition | open | open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-5 |
| satisfaction | QZX989KV59 | concept | open | Wikidata Q120610351, MathWorld Satisfaction |
| Satisfaction and co-satisfaction | KY1NTFAVP4 | 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 2207.11097#03UD |
| satisfiability | 3PPWZZX8HQ | unknown | open | Wikidata Q1350299, MathWorld Satisfiable |
| Satisfiability | NX2BB3FZMA | definition | open | open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-3 |
| Satisfiability | TRMW6ZPC6Y | definition | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#defn-3 |
| satisfiability | Z50GN9D7HM | unknown | open | mathlib_overview Logic and computation > Model theory > satisfiability, Mathlib FirstOrder.Language.Theory.IsSatisfiable |
| Sator Square | HA182Z3B77 | unknown | open | Wikidata Q41898, MathWorld TemplarMagicSquare |
| Saturated Hull, $\Hull(T)$ | 2DH20P2F8H | 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 2401.13523#GY1E |
| Saturated marker endomorphism | JEQJ14CBCB | 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.24449#3W57 |
| Saturated sequence sums | G7F7A1TH3J | statement | record (an 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.29147#LDGW |
| saturated set | BS1XQKNHMB | unknown | open | Wikidata Q135207726, nLab saturated set |
| Saturated set | PCYA0J12QV | definition | open | open_logic content/first-order-logic/completeness/henkin-expansions.tex#defn-1 |
| Saturated startup and clipping price | JSKTRZP07P | statement | record (an 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.15202#YQKC |
| Saturation | 4P16KY5YP0 | statement | record (an 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.16258#096T |
| Saturation | GSGJ1WKV59 | 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.18600#8B4R |
| Saturation criterion | PM9PKBSZ75 | statement | record (an 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#W5XM |
| Saturation of the anticanonical open | 25SSJ890YF | statement | record (an 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.33808#SKB5 |
| Saturation of the determinant critical ideal | FQTS8JRED2 | statement | record (an 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.19669#BY2Z |
| Saturation without solvability | AYVBWEEXWK | statement | record (an 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.18154#M5BA |
| SATZ61VHA6 | SATZ61VHA6 | exercise | open | lebl_scv scv.tex#exercise-255 |
| Sauer--Shelah bound | W3K8SCG69X | statement | record (an 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.08151#18NI |
| Sauer-Shelah lemma | 79RTAZ5VNV | unknown | open | mathlib_overview Combinatorics > Set families > Sauer-Shelah lemma, Mathlib Finset.card_shatterer_le_sum_vcDim |
| Saul Kripke | 97GK4ABZ1A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q298521, nLab Saul Kripke |
| Saunders Mac Lane | SXC6T9KBKV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q441223, nLab Saunders Mac Lane |
| Sausages and sausage-walks for LAs | A0Q13EHMEN | 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 1905.02785#DT8Y |
| SAV74R90EQ | SAV74R90EQ | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-1 |
| SAVA6H3P8S | SAVA6H3P8S | 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.30444#M5ZD |
| Savas Dimopoulos | 4FHVZWYDMX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1386035, nLab Savas Dimopoulos |
| Savdeep Sethi | HA3YVR54VV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59672168, nLab Savdeep Sethi |
| Savitch's theorem | C53SRAQA48 | statement | open | mathlib_1000 Q954210, Wikidata Q954210, thousand_plus Q954210, Wikipedia Savitch's theorem |
| SAVVKJH12G | SAVVKJH12G | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-10 |
| SAWCM284W6 | SAWCM284W6 | statement | open | open_logic content/computability/computability-theory/rice-theorem.tex#cor-1 |
| sawtooth wave | ZWPWRVPYSJ | unknown | open | Wikidata Q1742397, MathWorld SawtoothWave |
| SAX421E8NG | SAX421E8NG | statement | record (an 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.28203#AARZ |
| SAXC7SVQSM | SAXC7SVQSM | unknown | open | arXiv 2610.13680#RCV9 |
| SAXEXY7Q6G | SAXEXY7Q6G | statement | record (an 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.14435#ISCY |
| Saxon--Wilansky | EW7WGPY7AF | statement | record (an 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.00584#JJ36 |
| SAY1Y8QJ8F | SAY1Y8QJ8F | 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 2511.12649#R97O |
| SAY2Z6SGT7 | SAY2Z6SGT7 | statement | record (an 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.04993#ZJJR |
| SAY8KDNQJ3 | SAY8KDNQJ3 | statement | record (an 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#8NP2 |
| SAYE0DAHY9 | SAYE0DAHY9 | statement | record (an 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.26851#41ND |
| SAYFJKEBR7 | SAYFJKEBR7 | statement | record (an 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.20972#8YUT |
| SAYJSK90FY | SAYJSK90FY | 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.13833#LUF7 |
| SAYKCBPCYT | SAYKCBPCYT | statement | record (an 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.14783#X4M6 |
| SAYVHBNHZ2 | SAYVHBNHZ2 | statement | record (an 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#R4G3 |
| SAZHJZNNRY | SAZHJZNNRY | statement | record (an 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.03126#8EY9 |
| Sazonov's theorem | 4NZ17YA1KV | statement | open | mathlib_1000 Q4455023, Wikidata Q4455023, thousand_plus Q4455023, Wikipedia Sazonov's theorem |
| SB06FM17JW | SB06FM17JW | proof | open | lebl_ra ch-approximate.tex#proof-9 |
| SB0BACA6PG | SB0BACA6PG | statement | record (an 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.08382#LRXG |
| SB0GK2WZ3B | SB0GK2WZ3B | statement | record (an 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.20760#9DL7 |
| SB0HD2FZV1 | SB0HD2FZV1 | statement | record (an 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#8IHV |
| SB0NTAR7P9 | SB0NTAR7P9 | statement | record (an 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.02993#PN3F |
| SB1044FGCE | SB1044FGCE | statement | record (an 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.05722#EPV3 |
| SB17QK8CW2 | SB17QK8CW2 | statement | record (an 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.11271#K2MI |
| SB1GAFJ9TA | SB1GAFJ9TA | 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.26896#IC9C |
| SB1W3YPZTZ | SB1W3YPZTZ | statement | record (an 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.28518#EW7Y |
| SB1YWZ1T54 | SB1YWZ1T54 | statement | record (an 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#07XF |
| SB2DPFBFK9 | SB2DPFBFK9 | statement | record (an 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.04069#A8HA |
| SB2G938FGS | SB2G938FGS | 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.01354#J2BZ |
| SB2PPVE6F0 | SB2PPVE6F0 | statement | record (an 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.13229#DWT7 |
| SB3PZ37EK1 | SB3PZ37EK1 | statement | record (an 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.22074#JBDJ |
| SB43K54GEQ | SB43K54GEQ | statement | record (an 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.24463#F9DU |
| SB48E6HAE7 | SB48E6HAE7 | statement | open | napkin tex/complex-ana/holomorphic.tex#theorem-1 |
| SB52DN2P29 | SB52DN2P29 | statement | record (an 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.09201#LL4X |
| SB53HG93TR | SB53HG93TR | statement | record (an 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.31527#8FHS |
| SB5CVP0K8W | SB5CVP0K8W | statement | record (an 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.06466#4I6X |
| SB5KZPYM4Q | SB5KZPYM4Q | statement | record (an 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.26600#O71O |
| SB5MM3G8CQ | SB5MM3G8CQ | statement | record (an 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.17116#4TQ6 |
| SB6AP11RSH | SB6AP11RSH | 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.30407#EH1G |
| SB6N9QC1PJ | SB6N9QC1PJ | 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.07227#QF0X |
| SB75FK837X | SB75FK837X | statement | open | napkin tex/alg-geom/affine-var.tex#theorem-2 |
| SB7JNF4AQ7 | SB7JNF4AQ7 | 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.00584#R6X9 |
| SB893FBTBE | SB893FBTBE | statement | record (an 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.11047#CGM7 |
| SB8GZAVQTP | SB8GZAVQTP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.00465#Z4QD |
| SB99JJCQ3V | SB99JJCQ3V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#IRMF |
| SB9MCG5DMM | SB9MCG5DMM | statement | record (an 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.04179#FZFS |
| SBAA7Y23TW | SBAA7Y23TW | exercise | open | napkin tex/calculus/integrate.tex#exercise-1 |
| SBBHH9J3BH | SBBHH9J3BH | statement | record (an 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.10881#3DFO |
| SBBJ3JEZK0 | SBBJ3JEZK0 | definition | open | napkin tex/homology/excision.tex#definition-4 |
| SBC53AQYRQ | SBC53AQYRQ | statement | record (an 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.37606#0HML |
| SBCPQJBDQ1 | SBCPQJBDQ1 | statement | record (an 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.38243#CRF9 |
| SBCX6A6YJ8 | SBCX6A6YJ8 | statement | record (an 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.26340#J3FT |
| SBD2BTVDVV | SBD2BTVDVV | statement | record (an 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.31249#REH0 |
| SBDCCY8Q5N | SBDCCY8Q5N | statement | record (an 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#7CXR |
| SBDHFVPB4Y | SBDHFVPB4Y | definition | open | napkin tex/diffgeo/multivar.tex#definition-1 |
| SBDRKRH0GD | SBDRKRH0GD | statement | record (an 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.05539#OOHQ |
| SBDY2F0V2R | SBDY2F0V2R | exercise | open | napkin tex/alg-NT/dedekind.tex#ques-2 |
| SBEFEBQ0QJ | SBEFEBQ0QJ | statement | record (an 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#L9D4 |
| SBEYQ1VW13 | SBEYQ1VW13 | statement | record (an 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.19311#6GLR |