| STP60CQ6X4 | STP60CQ6X4 | statement | open | hott_book induction.tex#thm:w-hinit |
| STPH06ETJM | STPH06ETJM | statement | record (an 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.10206#BNBZ |
| STQBHM3RQN | STQBHM3RQN | 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 0806.0678#SVBQ |
| STQBRMFS3Q | STQBRMFS3Q | 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.22777#OJY9 |
| STQGWX3JSK | STQGWX3JSK | statement | record (an 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.07292#AKKP |
| STQK9FXQKQ | STQK9FXQKQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.10220#H7TO |
| STQZZ6CV29 | STQZZ6CV29 | statement | record (an 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.07290#JV4F |
| STR8H6K47R | STR8H6K47R | statement | record (an 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.16731#LN51 |
| Str8ts | G74619YAND | definition | open | Wikipedia Str8ts, Wikidata Q2352532 |
| Strachey method for magic squares | Z58EKKWDAA | definition | open | Wikipedia Strachey method for magic squares, Wikidata Q1861664 |
| Straddling checkerboard | 5YMZZ95GQZ | definition | open | Wikipedia Straddling checkerboard, Wikidata Q85803619 |
| Strahler number | 5ZNFBM76D5 | definition | open | Wikipedia Strahler number, Wikidata Q1422857 |
| straight angle | F1YVKTVW93 | unknown | open | Wikidata Q3617415, MathWorld StraightAngle |
| Straight face test | E6F4W64PW6 | definition | open | Wikipedia Straight face test, Wikidata Q16920465 |
| Straight Hecke chains, with their level data | PKX3JN72T3 | statement | record (an 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#O000 |
| Straight line mission | 7M0YES51GZ | definition | open | Wikipedia Straight line mission, Wikidata Q110885400 |
| Straight skeleton | K9T6JX545V | definition | open | Wikipedia Straight skeleton, Wikidata Q7621092 |
| Straight skeleton | QRH33ETD7F | definition | open | Wikipedia List of combinatorial computational geometry topics#51UD |
| Straight-line program | VRF7GDKTW4 | definition | open | Wikipedia Straight-line program, Wikidata Q25344628 |
| straightedge | ER4G2N5S6C | definition | open | Wikidata Q354733, MathWorld Straightedge, Wikipedia Straightedge |
| Straightedge and compass construction | R5TB91KFSE | definition | open | Wikipedia Straightedge and compass construction, Wikidata Q115368 |
| Straightedge-only construction | WT8AGK0MGA | definition | open | Wikipedia Straightedge-only construction, Wikidata Q136352290 |
| Straightening theorem for vector fields | W3GEB5K22D | statement | open | Wikipedia Straightening theorem for vector fields, Wikidata Q7621113 |
| Strain | 558MHKH12F | definition | open | Wikipedia Strain (mechanics), Wikidata Q1990546 |
| Strain energy density function | YX5QAN9BKR | definition | open | Wikipedia Strain energy density function, Wikidata Q17106073 |
| strain tensor | DMSA1D0HA1 | unknown | open | Wikidata Q3083131, nLab strain tensor |
| Strain tensor | NB91XS5VT9 | definition | open | Wikipedia Glossary of tensor theory#74ZU |
| Strain-rate tensor | WMFA64NQQA | definition | open | Wikipedia Strain-rate tensor, Wikidata Q7621125 |
| Strait of Anian | RN5GN0AYZ4 | unknown | open | Wikipedia List of superseded scientific theories#PSNA |
| Strang splitting | NWP7FCCNEJ | definition | open | Wikipedia Strang splitting, Wikidata Q25303744 |
| Strang splitting | TV5R26XVWN | definition | open | Wikipedia List of operator splitting topics#2H8N |
| strange attractor | 82KDWP0PJG | unknown | open | Wikidata Q24835199, MathWorld StrangeAttractor |
| Strange Estimate | KMVH36T6MD | statement | record (an 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.21545#75MO |
| Strange fixed point | ETW45ER3TC | 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.07064#4UVS |
| strange loop | 73SEN7W9V3 | definition | open | Wikidata Q1457329, MathWorld StrangeLoop, Wikipedia Strange loop |
| Strange nonchaotic attractor | PRM4TVD93N | definition | open | Wikipedia Strange nonchaotic attractor, Wikidata Q17106079 |
| strange quark | QW1PCY8TSA | unknown | open | Wikidata Q6763, nLab strange quark |
| Strangulated graph | F1PJNAN74K | definition | open | Wikipedia Strangulated graph, Wikidata Q7621644 |
| Strassen algorithm | 958MB7S6P2 | definition | open | Wikidata Q728507, MathWorld StrassenFormulas, Wikipedia Strassen algorithm |
| Strassmann | HX2A7VJK3B | statement | record (an 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.12013#YOIP |
| Strassmann's theorem | RS8EDXW6F4 | statement | open | Wikipedia List of theorems#6RKC |
| Strassmann's theorem | ZSMS1G53YA | statement | open | mathlib_1000 Q7621715, Wikidata Q7621715, thousand_plus Q7621715, Wikipedia Strassmann's theorem, MathWorld StrassmansTheorem |
| Straszewicz | SBC6NXNM9B | statement | open | lebl_scv scv.tex#thm-56 |
| Strategic complements | NQPF123PAE | definition | open | Wikipedia Strategic complements, Wikidata Q7621827 |
| Strategic dominance | EH61J52B45 | definition | open | Wikipedia Strategic dominance, Wikidata Q282491 |
| Strategic enrollment management | BWZYK3WZTT | definition | open | Wikipedia Strategic enrollment management, Wikidata Q7621787 |
| Strategic fair division | C8202F73B2 | definition | open | Wikipedia Strategic fair division, Wikidata Q85803675 |
| Strategic move | V3Q4XZS0Y9 | definition | open | Wikipedia Strategic move, Wikidata Q7621849 |
| strategic scale of a strategy | V3VGSDW59F | 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 2312.01517#46CZ |
| Strategies and correlations | M2WQXG65BK | 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.02468#HYP3 |
| Strategies as Street fibrations | VZAH3AN0PX | statement | record (an 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.37815#NDI1 |
| strategy \& strategic scale of an element | P9FT7Z2SNX | 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 2312.01517#L65E |
| Strategy space | 7Z8E8WPNAK | definition | open | Wikipedia Glossary of game theory#SOR5 |
| Strategy with multiple defences per time-step | HNTNHYR3BK | 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.05459#4BF4 |
| Strategy-stealing argument | 8SM4J0R3JC | definition | open | Wikipedia Strategy-stealing argument, Wikidata Q1158962 |
| Strategyproof | SDXT53DVPW | definition | open | Wikipedia List of network theory topics#S0IP |
| Strategyproofness | 68C2D2JVFR | definition | open | Wikipedia Strategyproofness, Wikidata Q7621897 |
| Stratification | E1YTR53YN7 | statement | record (an 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.20542#DHLF |
| Stratification | MXPCW215AB | definition | open | Wikipedia Stratification (mathematics), Wikidata Q1460196 |
| Stratification (mathematics) | EPGHTKVP23 | definition | open | Wikipedia List of partition topics#D8SP |
| stratified | 8B5X245PGN | definition | open | Wikipedia Glossary of algebraic topology#TM9Y |
| stratified | 8FENGZX2BX | definition | open | Wikipedia Glossary of set theory#3JY5 |
| Stratified analysis | 329G68Y2X8 | definition | open | Wikipedia List of analyses of categorical data#I2MZ |
| Stratified formula | P4VN1BZMX8 | unknown | open | Wikipedia Stratification (mathematics)#3O04 |
| Stratified Lowen fuzzy topology | XE087J2613 | 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.23281#A212 |
| Stratified Morse theory | 832E6A0QN3 | definition | open | Wikipedia Glossary of areas of mathematics#ORTB |
| Stratified Morse theory | G697D154PA | definition | open | Wikipedia Stratified Morse theory, Wikidata Q7622188 |
| Stratified randomization | JWJZ3YTMM5 | definition | open | Wikipedia Stratified randomization, Wikidata Q104844009 |
| Stratified sampling | 7GBVXRGG8X | definition | open | Wikipedia Stratified sampling, Wikidata Q1517706 |
| stratified sampling | C1JKZYYGVE | definition | open | Wikipedia Glossary of probability and statistics#DJOQ |
| Stratified sampling | C8PKCFHZNC | definition | open | Wikipedia List of statistics articles#U1TD, Wikipedia List of computer graphics and descriptive geometry topics#APVI |
| Stratified space | XDZ8Q096YD | definition | open | Wikipedia Stratified space, Wikidata Q113461459 |
| stratifold | VNH9NFNFBY | definition | open | Wikidata Q7622195, nLab stratifold, Wikipedia Stratifold |
| Stratonovich integral | 382RFRX013 | definition | open | Wikipedia Stratonovich integral, Wikidata Q7622233 |
| Stratonovich integral | PEHX08FCWT | definition | open | Wikipedia List of statistics articles#HQS3 |
| Stratum leaf space | XC4B4S5ZKN | statement | record (an 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.26269#1MXX |
| Straw Dogs | YJF7NZS2XJ | unknown | open | Wikipedia List of films about mathematicians#DQMX |
| straw man | 2WGCFTQ8CC | definition | open | Wikipedia Glossary of logic#AJ77 |
| Straw man | 6V4RBTB6TR | definition | open | Wikipedia Straw man, Wikidata Q912820 |
| Straw man | ZE17QRD4G4 | definition | open | Wikipedia List of fallacies#BTQP |
| Strawson entailment | VK9BVCFP5R | definition | open | Wikipedia Strawson entailment, Wikidata Q130442074 |
| STRCH4Y9M0 | STRCH4Y9M0 | statement | record (an 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.26162#E6I1 |
| stream | 1EQYW1N7S4 | unknown | open | mathlib_overview Data structures > List-like structures > stream, Mathlib Stream' |
| Stream cipher | 4PW05RX9BD | definition | open | Wikipedia Stream cipher, Wikidata Q864718 |
| Stream cipher | 57MKG04DNJ | definition | open | Wikipedia List of random number generators#QT11 |
| Stream cipher | CJ87JDB3VX | definition | open | Wikipedia List of number theory topics#3Y7V |
| Stream cipher attacks | QKC9574EWX | definition | open | Wikipedia Stream cipher attacks, Wikidata Q7622661 |
| stream function | 8BNQQNA150 | definition | open | Wikidata Q2029236, Wikipedia Stream function |
| Streamgraph | 8S846PP7M4 | definition | open | Wikipedia Streamgraph, Wikidata Q7622684 |
| Streamgraph | G0FHKDN3J9 | definition | open | Wikipedia List of statistics articles#HKDG |
| Streaming at the rank rate | NWC9CB968D | statement | record (an 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.04271#OTTO |
| Streaming SIMD Extensions | YPQ0BDE7FT | definition | open | Wikipedia Streaming SIMD Extensions, Wikidata Q741291 |
| Streaming-history properties | T238FZCMZK | statement | record (an 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.20187#K1ZJ |
| Streamline curvature theorem | 29CA9V1HM8 | statement | open | Wikipedia Euler equations (fluid dynamics)#N6K0 |
| Streamline diffusion | V8RR3PVV34 | definition | open | Wikipedia Streamline diffusion, Wikidata Q7622703 |
| Streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations | XQAB9R4JGA | definition | open | Wikipedia Streamline upwind Petrov–Galerkin pressure-stabilizing Petrov–Galerkin formulation for incompressible Navier–Stokes equations, Wikidata Q65038394 |
| Streamlines, streaklines, and pathlines | G9DC99PHDX | topic | open | Wikipedia Streamlines, streaklines, and pathlines, Wikidata Q634407 |
| Streebog | G81Q59194R | definition | open | Wikipedia Streebog, Wikidata Q16635204 |
| Street cred | JX3F8YX5ZW | unknown | open | Wikipedia Credibility#CVQ2 |
| Street Epistemology | M8Q8MDMQG1 | unknown | open | Wikipedia Peter Boghossian#CIMA |