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 3701–3800 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Separate concavity | PRRZCZ3F7H | statement | record (an 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.04027#N32M |
| Separate continuity | 2G9PAMCW7T | unknown | open | Wikipedia Bilinear map#RB2M |
| Separated | EYQGAZRHJD | definition | open | Wikipedia Glossary of general topology#67ZM |
| separated | K86E70FRXR | definition | open | Wikipedia Glossary of algebraic geometry#0OX6 |
| separated | YEMES5EYWK | definition | open | Wikipedia Glossary of commutative algebra#TTEZ |
| separated blocks | YJR2DT4K71 | 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.23922#RHNM |
| Separated discrete curvature | BM5EQVJ02B | statement | record (an 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.27153#8A82 |
| Separated finite-window theorem | WJM4QQGE3D | statement | record (an 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.16351#TCER |
| Separated flows | M5TP1ZQ81D | statement | record (an 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#VBLN |
| Separated leaves | DYRA9V1KTP | statement | record (an 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.02407#QEVK |
| separated morphism | 2QE7ZNC8HB | definition | open | Wikidata Q17131030, nLab separated morphism, ProofWiki Definition:Separated_Morphism_of_Schemes |
| Separated morphism | 2YF34VSSVQ | unknown | open | Wikipedia Diagonal morphism (algebraic geometry)#3Q7X |
| Separated pencil-type Levi-flats | 7JT33G1G9E | statement | record (an 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.12497#RXVO |
| separated poset system | GSW492WVC9 | 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.15099#B86H |
| Separated radial equation | BQE73Z6BWV | statement | record (an 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.11077#DSEE |
| Separated sets | 2T30RAMM4W | definition | open | Wikipedia Separated sets, Wikidata Q257272 |
| Separated sets | EGXB9F0NHN | definition | open | Wikipedia List of general topology topics#ZK8W |
| Separated stationary-memory theorem | ZMBFFKVBS2 | statement | record (an 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.16351#N335 |
| Separated tangent directions | 7B6DYMEBZQ | statement | record (an 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.01615#IQKD |
| Separated-weight interpolation with bounded fibre multiplicity | HEEMMPE2PN | statement | record (an 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.10192#NOBU |
| Separatedness | XJSTC0WEVG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#V6HE |
| Separating axis theorem | NFZ3KMDSCY | statement | open | Wikipedia List of theorems#VT8A |
| Separating axis theorem | XBF5HDDP6B | statement | open | Wikipedia List of convexity topics#4EQG |
| Separating axis theorem | YN0NQW7HYJ | statement | open | Wikipedia Hyperplane separation theorem#8EW3 |
| Separating insertional from next-block pseudoentropy gaps | 84ZKTWB570 | statement | record (an 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.14615#CCYL |
| Separating insertional from ordinary pseudoentropy gaps | X2995MW7K3 | statement | record (an 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.14615#M7BO |
| Separating pattern | KQE1VE7BBH | statement | record (an 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.34122#ZKU6 |
| Separating seed | ATXW30MPZQ | 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.15631#KT7M |
| separating set | BS1F5Y3W94 | definition | open | Wikipedia Glossary of graph theory#9KHM |
| Separating set | FS740CWWET | definition | open | Wikipedia Separating set, Wikidata Q7451799 |
| separating set | QY6YA3EM2Y | definition | open | Wikipedia Glossary of set theory#9E9Q |
| Separating the path supports | SPKYXPMN7N | statement | record (an 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.02407#06HU |
| separating vector | AN6V1QGSC5 | unknown | open | Wikidata Q121142028, MathWorld SeparatingVector, nLab separating vector |
| separating vertex | 1VRH2DCF41 | definition | open | Wikipedia Glossary of graph theory#3ILA |
| Separating words problem | 6J1Z8GW58K | conjecture | open | Wikipedia Separating words problem, Wikidata Q25304554 |
| Separating words problem | CGMQNHWV16 | conjecture | open | Wikipedia List of unsolved problems in computer science#MOPD |
| Separation | 1QN919ADBH | statement | record (an 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.32140#JJ0C |
| Separation | 30MDB8G4W8 | statement | record (an 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.17276#ZPGN |
| Separation | 3B2X6KJ8VB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1704.08191#U894 |
| Separation | XEBMPWBE7J | definition | open | Wikipedia Separation (statistics), Wikidata Q7451805 |
| Separation and the min--max formula | G90MZSM5X1 | statement | record (an 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.09602#TT0Y |
| separation axiom | 3K64H96V9J | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1140985, MathWorld SeparationAxioms, nLab separation axioms, Wikipedia Separation axiom |
| separation axiom | 6A8B5ST4MA | definition | open | Wikipedia Glossary of set theory#26Y8 |
| Separation axiom | ABP9VBQ3JJ | statement | open | Wikipedia List of axioms#YVLN |
| Separation axioms | 9EG61C8CBS | statement | open | Wikipedia Kuratowski closure axioms#BL39 |
| Separation axioms | JCB7P4C8QJ | statement | open | Wikipedia Finite topological space#Y18F |
| Separation axioms | KD5GA725YH | statement | open | Wikipedia General topology#1633 |
| Separation beyond a root threshold | YWP5VEFHQJ | statement | record (an 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.09602#0OQS |
| Separation bounds | KQ3WWSDRGV | statement | record (an 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.32829#R4TM |
| Separation by maximal subsheaves | 891YN8W974 | statement | record (an 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#Y2KV |
| Separation from NCO | KXSK2P1K23 | statement | record (an 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.21271#OBNQ |
| separation from the axes | ARV3M2FMB7 | statement | record (an 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.01753#M8LE |
| separation logic | 7KNVJEPW8D | definition | open | Wikidata Q3257964, nLab separation logic, Wikipedia Separation logic |
| Separation modulo a prime | SA0ZFNSZE3 | statement | record (an 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.29047#YBZG |
| Separation modulo a prime square | W8MET41NXX | statement | record (an 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.29047#J10O |
| separation number | 9S9AP9XH95 | definition | open | Wikipedia Glossary of graph theory#Z6YP |
| Separation of conditional means | 3XMAZ6XKS4 | statement | record (an 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.00137#62BS |
| Separation of nearby Levi leaves | 8F0154BQXA | 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.12497#JATE |
| Separation of observations | N9K42BPP55 | statement | record (an 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.16989#R6FO |
| Separation of retained points | Q7Z485X7HD | statement | record (an 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.06490#5K78 |
| Separation of sample complexity | HB1AZ9MRW4 | statement | record (an 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.40271#DU06 |
| Separation of sample complexity | YF6308Z6MF | statement | record (an 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.40271#5PJ3 |
| Separation of the pure square blocks | WTDF25FTH0 | statement | record (an 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.04189#YHKH |
| Separation of variables | CJ2VV0MFVH | definition | open | Wikipedia List of partial differential equation topics#EGUY |
| separation of variables | PY15FJKS2T | concept | open | lebl_diffyqs index/5.6.2/separation-of-variables |
| separation of variables | Q7HZNWSNMG | definition | open | Wikidata Q913323, EoM Fourier_method, MathWorld SeparationofVariables, ProofWiki Separation_of_Variables, Wikipedia Separation of variables |
| Separation oracle | MMD50MF4AT | definition | open | Wikipedia Separation oracle, Wikidata Q109381637 |
| Separation over type-zero coefficients | N1NN13VVX2 | statement | record (an 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.19243#9SR1 |
| Separation principle | V8W2FQ9G8Z | statement | open | Wikipedia Separation principle, Wikidata Q2271572 |
| Separation principle in stochastic control | 1JNNZNH1YQ | statement | open | Wikipedia Separation principle in stochastic control, Wikidata Q60794036 |
| Separation test | A6N1Q38V0X | definition | open | Wikipedia Separation test, Wikidata Q7451834 |
| Separation test | HZBFNC5DWJ | definition | open | Wikipedia List of statistics articles#5G7G |
| Separation theorem | QZK6KJ3RWN | statement | open | Wikipedia Separation theorem, Wikidata Q16882967 |
| Separation theorem I | DD1FW4GFPE | statement | open | Wikipedia Hyperplane separation theorem#WC0W |
| Separation theorem II | 8PZTGH3Q1G | statement | open | Wikipedia Hyperplane separation theorem#F4K7 |
| Separation-to-rate dictionary | K1BHWRTFA8 | statement | record (an 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.37375#IDVA |
| separative | S6Y0J38KB9 | definition | open | Wikipedia Glossary of set theory#R1IN |
| Separator theorems | DN7GVQ249B | statement | open | Wikipedia Shallow minor#NYVA |
| Separatrices | XX2HWVT2NX | 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 2103.12669#UFRO |
| separatrix | AAPTTHTJN3 | definition | open | Wikidata Q2902561, MathWorld Separatrix, Wikipedia Separatrix (mathematics) |
| Separoid | Z7AV4MKYM1 | definition | open | Wikipedia Separoid, Wikidata Q7451840 |
| SEPN3X5ST2 | SEPN3X5ST2 | statement | record (an 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.29574#X18A |
| Seppo Linnainmaa | XD85H0N50G | topic | open | Wikipedia Seppo Linnainmaa, Wikidata Q23682411 |
| SEPQ0A5RM6 | SEPQ0A5RM6 | 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.10221#8DKN |
| SEPQZK2SVN | SEPQZK2SVN | statement | record (an 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#8DFN |
| SEPS8SJGJP | SEPS8SJGJP | statement | record (an 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.16102#09BO |
| September | 8KZ5XJRCDN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q123, ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/September |
| septenary | 7VHSM8ECKV | definition | open | Wikidata Q930594, ProofWiki Definition:Septenary_Notation |
| septenary | BV6G2W9SRQ | definition | open | Wikipedia Glossary of invariant theory#KAXZ |
| Septenary | HD2RW3AH75 | topic | open | Wikipedia List of numeral system topics#2ZZ8 |
| septic | Q6AQMXFWF2 | definition | open | Wikipedia Glossary of classical algebraic geometry#MU4C, Wikipedia Glossary of invariant theory#LJHX |
| Septic equation | B4WK1ENNK3 | definition | open | Wikipedia Septic equation, Wikidata Q13688 |
| septimic | 7RT6VPB5GP | definition | open | Wikipedia Glossary of classical algebraic geometry#ANZZ |
| septimic | PFWCZTK7HN | definition | open | Wikipedia Glossary of invariant theory#6UCV |
| SEPWGGKTRK | SEPWGGKTRK | statement | record (an 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.25472#30N9 |
| SEQ1H6Y3F8 | SEQ1H6Y3F8 | proof | open | open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-3 |
| SEQ9A1A8MD | SEQ9A1A8MD | statement | record (an 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.02983#60KI |
| SEQPDT0NZJ | SEQPDT0NZJ | statement | record (an 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.19528#PVWO |
| sequence | 60GGD1B60C | concept | open | hott_book index/B.5/sequence |
| sequence | 774J1HDG76 | concept | open | hott_book index/8.6/sequence |