| Strong law of small numbers | ECZ83493ZK | statement | open | Wikipedia Strong law of small numbers, Wikidata Q7624507 |
| Strong log-concavity | XPMHNABHV2 | 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.33008#ZVGG |
| Strong Lucas Pseudoprime | XHPGSBPFT8 | unknown | open | Wikipedia Lucas pseudoprime#DOMS |
| Strong Markov Property | Y6E9H4ZPMK | 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.06321#WT05 |
| Strong Markov property | YXJZSAQRT9 | unknown | open | Wikipedia Markov property#P6FD |
| Strong Markov property of the GFF | 82PYYF5DZ1 | 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.08261#2IYZ |
| strong mathematical induction | PSR4Y3834A | definition | open | Wikipedia Glossary of logic#0OAT |
| Strong maximum principle | 3NBY18VZYM | 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.11034#51QA |
| Strong measure zero set | YF31ZANH5Y | definition | open | Wikipedia Strong measure zero set, Wikidata Q25303791 |
| Strong modus ponendo tollens | ESNPRWPDBD | unknown | open | Wikipedia Modus ponendo tollens#ZD0C |
| Strong modus tollendo ponens | GXWJ4HPNMK | unknown | open | Wikipedia Disjunctive syllogism#DDU3 |
| strong monad | C078S9RHFP | unknown | open | Wikidata Q7624569, nLab strong monad |
| strong monomorphism | V40NYNSNVZ | unknown | open | Wikidata Q48971638, nLab strong monomorphism |
| Strong monotonicity of $G(z)$ | Y9K5641SKW | 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.02694#N37I |
| Strong monotonicity of $G_s(z)$ | WKGVF19DHQ | 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.02694#V7NP |
| Strong multiplicity one theorem | KJE2FSS66D | statement | open | Wikipedia Multiplicity-one theorem#AB4P |
| Strong Nash equilibrium | KFS9N8TV43 | definition | open | Wikipedia Strong Nash equilibrium, Wikidata Q2897200 |
| strong negation | 3798P13V42 | definition | open | Wikipedia Glossary of logic#GN5N |
| Strong normality of the multiple Hermite system | 8BS6QHME3F | 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.22027#YXLJ |
| Strong NP-completeness | 1RT0DVV6V8 | definition | open | Wikipedia Strong NP-completeness, Wikidata Q7624684 |
| Strong operator approximation | SB415KVAA7 | 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#7965 |
| Strong operator topology | G7M1YF7ZA1 | definition | open | Wikipedia List of topologies#WOJB |
| Strong operator topology | NQ0BJN2PTA | definition | open | Wikipedia Strong operator topology, Wikidata Q4392013 |
| Strong orientation | 91FRRP5303 | definition | open | Wikipedia Strong orientation, Wikidata Q7624577 |
| Strong original endpoint and strict calibration | 8GN7FYQDJH | 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.18788#COFA |
| strong Papadimitriou–Ratajczak conjecture | TWZTPTEHJX | unknown | open | Wikipedia List of unsolved problems in mathematics#MSB0 |
| strong paraconsistency | AE0FK50D1M | definition | open | Wikipedia Glossary of logic#GVHC |
| Strong partition cardinal | Z8AXAWJCCF | definition | open | Wikipedia Strong partition cardinal, Wikidata Q16999722 |
| strong perfect graph theorem | 3B79DMCNGW | statement | open | mathlib_1000 Q16680059, Wikidata Q16680059, thousand_plus Q16680059, Wikipedia Strong perfect graph theorem, MathWorld StrongPerfectGraphTheorem |
| Strong perfect graph theorem | FCJR3HKF52 | statement | open | Wikipedia List of theorems#PDGC |
| Strong perfect graph theorem | ZR8JG9GSTE | statement | open | Wikipedia List of long mathematical proofs#2VSI |
| strong pigeonhole principle | C83621MEND | unknown | open | mathlib_overview Combinatorics > Pigeonhole principles > strong pigeonhole principle, Mathlib Fintype.exists_lt_card_fiber_of_mul_lt_card |
| Strong pointwise and locally-uniform small-dispersion asymptotics, \protect | YMCV8H3F7R | 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.00770#5X72 |
| Strong positional game | 6EDJVPEG4S | definition | open | Wikipedia Strong positional game, Wikidata Q60791293 |
| Strong positivity of the linearized evolution | 4K1QH1M8V0 | 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.29524#ZB0A |
| Strong prime | GM5BSPVEEC | object | open | Wikipedia Strong prime, Wikidata Q2233203 |
| Strong prior | 5SG4YNWN2M | definition | open | Wikipedia List of statistics articles#HHKP |
| Strong prior | J0NSWA6SAV | unknown | open | Wikipedia Prior probability#TS4Q |
| strong product of graphs | 291MXG1ERH | definition | open | Wikidata Q7624582, MathWorld GraphStrongProduct, Wikipedia Strong product of graphs |
| strong pseudoprime | V6E6921PQ6 | definition | open | Wikidata Q389273, MathWorld StrongPseudoprime, Wikipedia Strong pseudoprime |
| Strong recursive feasibility | 90YVT28TDV | 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 2303.11021#0275 |
| Strong regularity lemma | 5WXDHHE95F | statement | open | Wikipedia Szemerédi regularity lemma#D5QJ |
| Strong Regularity Lemma | D36567J692 | statement | open | Wikipedia Graph removal lemma#4Q1I |
| Strong regularity of the block graph | J1PQJCGDZR | 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.15340#79L5 |
| Strong RSA assumption | 8ZGC3J62T9 | definition | open | Wikipedia Strong RSA assumption, Wikidata Q7624514 |
| Strong seeded extractor | MH4ZRXBC2B | 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.02407#W63G |
| Strong separation | 582C4QAEC5 | 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.07214#Q0K6 |
| Strong set | 9E61XBYBQP | unknown | open | Wikipedia Web of trust#43XN |
| Strong set order | 1VASWFWF22 | definition | open | Wikipedia Strong set order, Wikidata Q141352977 |
| Strong six exponentials theorem | SK7PMJ9KYS | statement | open | Wikipedia Six exponentials theorem#CA7C |
| Strong slice genus bound | D4BG6EYCQA | 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#PF9S |
| Strong slice genus of pseudo-thin links | 6CF328QKHP | 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#MNVV |
| Strong solidity | 8EG5K4PWWF | 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.22109#80RJ |
| Strong solidity under positive curvature | N0C9133009 | 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.22109#GCC2 |
| Strong solidity, Ozawa--Popa | 3RNC1N29F9 | 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.22109#DNE2 |
| Strong solution | GERGG43N9Y | 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.14555#9VF8 |
| Strong solution | VFWMANHRYC | topic | open | Wikidata Q54290810 |
| strong solution | XD6BP8KGXT | 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.35001#ENKB |
| Strong solutions | Z4JJ7JNR11 | 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.20998#I0YL |
| Strong stationarity | 4RGCPBVS7X | 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.00033#MRLA |
| Strong subadditivity of quantum entropy | NZW090H64T | definition | open | Wikipedia Strong subadditivity of quantum entropy, Wikidata Q7624524 |
| Strong subspace designs as lossy rank condensers | YG1CEV3XCK | 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.32834#82AQ |
| Strong subspace designs over arbitrary finite fields | CWNDRJM9F1 | 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.32834#1IFV |
| Strong subspace designs over arbitrary finite fields | RH6P2FCQNF | 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.32834#4KNH |
| Strong tail optimality of \DynoSPLIT | M86RG9XR62 | 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.17329#KV7E |
| Strong tail optimality of \DynoSPLIT, explicit form | 973VQCGQTY | 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.17329#JZ7C |
| Strong topology | 2XHKQ7PS37 | definition | open | Wikipedia Strong topology, Wikidata Q7624589 |
| Strong topology | N0MZABHZCM | definition | open | Wikipedia List of general topology topics#OG7R |
| Strong trace in expectation | J9AFV0SEDX | 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.20735#WNTG |
| Strong trajectory | 121338BCG6 | 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 math/0003117#RCQ9 |
| Strong Type $(p,p)$ Inequality | TGDDSMBBCM | 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.16580#OXCX |
| Strong Value Duality | X9SBRQTZZ3 | 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.20316#QUI9 |
| Strong wild symmetric-coefficient estimate | QKGGQSQHKY | 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.10583#1K4G |
| strong, collection | 7K5AVM5BCK | concept | open | hott_book index/C.5/strong-collection |
| strong, induction | BCJEFEH2C2 | concept | open | hott_book index/C.3/strong-induction |
| strong, normalization | TQEHR2GBMZ | concept | open | hott_book index/4.4/strong-normalization |
| strong, stronger | FHWY2GAJ5P | definition | open | Wikipedia Glossary of mathematical jargon#0PUL |
| Strong-quantum-effects resolution to the paradox | VYC93QGE3R | statement | open | Wikipedia Black hole information paradox#CAFQ |
| Strong-resistance asymptotics with explicit coefficient | JZXH48PN1W | 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.21328#N5A8 |
| Strong-Rough Solutions | 53SG805ZME | 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.06473#8SKT |
| Strong-to-weak class | X6MZD6G1DV | 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.02714#UTLN |
| Stronger axioms | JJ311QRM5T | statement | open | Wikipedia Reinhardt cardinal#H157 |
| Stronger axioms | PVQDXCP9KR | statement | open | Wikipedia Axiom of choice#UCZ6 |
| Stronger conclusions and Taussky's theorem | BQPREACQ3K | statement | open | Wikipedia Gershgorin circle theorem#6KJB |
| Stronger conjectures and related problems | JBY69RZCGQ | statement | open | Wikipedia Cycle double cover#MSCS |
| Stronger parent dominance | 63RX254TMF | 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#W8U8 |
| Stronger topology | 9987DQN545 | definition | open | Wikipedia Glossary of general topology#B2A0 |
| Stronger uncertainty relations | K3CBZC8JQQ | definition | open | Wikipedia Stronger uncertainty relations, Wikidata Q48996242 |
| Stronger version of the inequality | 6PYVHWV080 | statement | open | Wikipedia Euler's theorem in geometry#0LW5 |
| Stronger versions of the theorem | V1NZXWKSWE | statement | open | Wikipedia Banach–Mazur theorem#3DDQ |
| strongly | PCX42DFGWG | definition | open | Wikipedia Glossary of set theory#UJR0 |
| Strongly chordal graph | GVH8841N2A | definition | open | Wikipedia Strongly chordal graph, Wikidata Q7624675 |
| strongly compact cardinal | GJVRKQVNKD | definition | open | Wikidata Q7624677, nLab strongly compact cardinal, Wikipedia Strongly compact cardinal |
| strongly connected | XS3S9H0P5A | definition | open | Wikipedia Glossary of logic#2Z1U |
| strongly connected component | J6WW64WN8J | definition | open | Wikidata Q2003238, MathWorld StronglyConnectedComponent, Wikipedia Strongly connected component |
| Strongly connected components | 8E7DBGTAZ3 | definition | open | Wikipedia List of algorithms#XFN3 |
| strongly connected graph | 9NW8A2NRE3 | unknown | open | Wikidata Q122389658, MathWorld StronglyConnectedDigraph |
| Strongly convex | 96GZZ1BMHV | 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.35418#QWK8 |
| Strongly convex one-step bound under dual norm distortion | QKC1BN5QMG | 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.38741#TJ90 |
| Strongly convex specialization | KSQZ26WBVD | 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.38741#81DW |