| Second part of König's theorem | M4F7SWRBKW | statement | open | Wikipedia König's theorem (kinetics)#MI52 |
| Second partial derivative test | T35HX7CT2N | definition | open | Wikipedia Second partial derivative test, Wikidata Q7443745 |
| Second principle: constraint | 3FFQB9320F | statement | open | Wikipedia Mathematical principles of reinforcement#XX75 |
| Second proof | 22FQSNA4Z6 | proof | open | hott_book basics.tex#proof-4 |
| Second proof | 56Z4TPGSQS | proof | open | hott_book basics.tex#proof-2 |
| Second proof | CCWWF5P0S4 | proof | open | hott_book categories.tex#proof-32 |
| Second proof | FDGJAJ2JAJ | proof | open | hott_book basics.tex#proof-11 |
| Second proof | N9C48RS6DN | proof | open | hott_book basics.tex#proof-16 |
| Second proof | S0WZZ8XJNP | proof | open | hott_book basics.tex#proof-18 |
| Second proof | TXS4XMR2KE | proof | open | hott_book basics.tex#proof-8 |
| Second proof | ZE6KJ59TY1 | proof | open | hott_book basics.tex#proof-14 |
| Second pruning step | DPS41EF93W | 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 1806.05002#87ZB |
| second quantization | B2YGYVXENF | definition | open | Wikidata Q1353947, nLab second quantization, Wikipedia Second quantization |
| Second quantization for every embedding | WDVYBT9K3A | 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.13358#BBU6 |
| second radiation constant | 283WF1NBMM | definition | open | Wikidata Q112300321, ProofWiki Definition:Second_Radiation_Constant |
| Second Ray–Knight theorem | 2CY4SBV5VY | statement | open | Wikipedia Local time (mathematics)#NTR7 |
| second Royle graph | PG382GJRF6 | unknown | open | Wikidata Q3477031, House of Graphs 1296 |
| Second sound | BT31KM0MHQ | definition | open | Wikipedia Second sound, Wikidata Q233699 |
| Second Splitting Lemma | 8PHBZT30VP | 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.13213#TCTU |
| Second stage | S28R769WVA | 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.21461#HRM8 |
| Second strong law of small numbers | 4P0RW3Y7J5 | statement | open | Wikipedia Strong law of small numbers#SK44 |
| Second Summation Relation | A3EVZGQSX0 | 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#Q5GR |
| Second symmetric derivative | NS3Q2YYT5W | unknown | open | Wikipedia Symmetric derivative#EW14 |
| Second Szegő theorem | 8KPKZVYGGN | statement | open | Wikipedia Szegő limit theorems#MEGC |
| Second theorem | 4DNSK7HYS5 | statement | open | Wikipedia Integral#HJNZ |
| Second theorem | FBMX06W30F | statement | open | Wikipedia Mertens' theorems#6OZN |
| Second theorem | STS1YA6CC8 | statement | open | Wikipedia Cantor's first set theory article#W5KL |
| Second Thomson relation | 3G6SF4HNPY | unknown | open | Wikipedia Thermoelectric effect#8LC3 |
| second two-dimensional neural $H(\curll)$ class | 5H0BBFRAW1 | 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.08016#19J9 |
| Second Valley, South Australia | 919GWWAHJC | unknown | open | Wikipedia List of places with numeric names#XA54 |
| Second variation | 9WFV3SP1H9 | definition | open | Wikipedia Second variation, Wikidata Q137710193 |
| Second variation | HBG2VRWHP9 | 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.03384#D86C |
| Second variation along a metric path | PXKKW6993W | 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.12351#L9SB |
| Second Variation of Arc Length | YKP5Z1D4KS | 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.30527#3T0N |
| Second vector identity | 1X07Q7YD0T | statement | open | Wikipedia Green's identities#MOF0 |
| second Zagreb index | 4SF0DE13FP | unknown | open | Wikidata Q137393153, MathWorld SecondZagrebIndex |
| Second-class part and null-direction constraints | JPYKJQVFHG | 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.27966#BAEV |
| Second-coordinate positivity | SS2CMJHYAM | 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.33360#K95G |
| Second-countable | R9ZJZHE64V | definition | open | Wikipedia Glossary of general topology#Z2D2 |
| second-countable space | 3A3JWDGHX5 | definition | node (a node has the same name as the row) | Wikidata Q1363919, EoM Second_axiom_of_countability, MathWorld SecondCountableSpace, MathWorld SecondCountableTopology, nLab second-countable space, ProofWiki Definition:Second-Countable_Space, Wikipedia Second-countable space |
| Second-countable space | NFJ6Z679Y2 | definition | open | Wikipedia List of general topology topics#1PT9 |
| second-degree polynomial | H1WDMWBR8K | definition | open | Wikipedia Glossary of calculus#O44Z |
| Second-generation wavelet transform | 8MTGX73TYR | definition | open | Wikipedia Second-generation wavelet transform, Wikidata Q7443700 |
| Second-harmonic generation | GP91H7EWGK | definition | open | Wikipedia Second-harmonic generation, Wikidata Q1455635 |
| Second-layer defect | 5Y2XVVEN2G | 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.14509#PZGN |
| Second-marginal injectivity and Gaussianity under covariance slackness | ASYH1PTT5M | 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.01855#82WT |
| Second-moment closure | J86NX7Y6ZE | 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.09356#83IT |
| Second-moment control of rich motions | WE0QRS9V19 | 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.29784#MW8L |
| Second-moment criterion | NPPWZV19TW | 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.22301#TXQM |
| Second-moment identifiability | 2M24BTVMG4 | 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.04671#VVJC |
| Second-moment sampling formula | JQJ7WD0SYW | 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.20042#CW0H |
| second-order | JBQH1FPRPD | definition | open | Wikipedia Glossary of Principia Mathematica#88HZ |
| Second-order \usetoken{s}{formula} | ZADJVY4YGF | definition | open | open_logic content/second-order-logic/syntax-and-semantics/terms-formulas.tex#defn-2 |
| Second-order accuracy | P1ZQFGYPNG | 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.21039#SC33 |
| Second-order addition identity | DXYN8CPS93 | 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.20593#63VK |
| Second-order approximation | 91SQ5Q8FPP | 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 2406.06548#53EO |
| Second-order arithmetic | G21FMTBDAJ | definition | open | Wikipedia List of mathematical logic topics#KCQ2 |
| second-order arithmetic | W067NYRASX | definition | open | Wikidata Q7442973, nLab second-order arithmetic, Wikipedia Second-order arithmetic |
| Second-order calibration and quantile inversion | YQY2CRZPH5 | 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.29658#7UKJ |
| Second-order co-occurrence pointwise mutual information | SSQVSC2ZRQ | definition | open | Wikipedia Second-order co-occurrence pointwise mutual information, Wikidata Q17145932 |
| Second-order collision data | CYRKW4ND65 | 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.22465#JV2V |
| Second-order cone programming | 4YEJVC850M | definition | open | Wikipedia Second-order cone programming, Wikidata Q7442977 |
| Second-order coupled bounds | 7GAD87TC25 | 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.10408#7SPF |
| second-order differential equation | 4B4ECZS38T | definition | open | Wikipedia Glossary of calculus#EWCL |
| second-order elliptic PDE | QHH5Q7ENZJ | 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.20641#AVBO |
| Second-order Eulerian triangle | YEV4NCRC22 | unknown | open | Wikipedia Eulerian number#FGVP |
| Second-order expansion | AZPWD3D58R | 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.24716#TMH6 |
| Second-order expansion at critical regularity | H40WHKW7SM | 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.15086#YVCG |
| Second-order expansion, $N=1$ | CGYF5V426H | 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.15086#A77E |
| Second-order flex | G25JM754SG | 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.17004#WGLW |
| Second-order Hessian of $\Delta_n(r)$ | 7EDW0Q6H3M | 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 2406.06548#ZBK8 |
| Second-order limit of the intercept-estimator difference | WGTQ554YR5 | 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.23339#Y2ZD |
| second-order logic | 9MYF1ESQGK | definition | open | Wikidata Q1548746, nLab second-order logic, Wikipedia Second-order logic |
| second-order logic | GVRN86XHRB | definition | open | Wikipedia Glossary of logic#085S |
| Second-order NSFD schemes | K28N2CXBA8 | 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.29567#T1F1 |
| Second-order perturbation theory | ST31NDGMAB | unknown | open | Wikipedia Perturbation theory (quantum mechanics)#3X5N |
| Second-order predicate | 3NXB89NE29 | definition | open | Wikipedia Second-order predicate, Wikidata Q7442983 |
| Second-order product rule | XXTT3H1YQK | 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.20593#67UC |
| Second-order propositional logic | CJ29TNZ9YT | definition | open | Wikipedia Second-order propositional logic, Wikidata Q7442985 |
| Second-order rigidity | 2VW904PXGG | 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.17004#LTJ7 |
| Second-order standard multivariate-$t$ aggregation | 6YW6E1003M | 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.29658#9BBN |
| Second-order Terms | VSHE65QSXB | definition | open | open_logic content/second-order-logic/syntax-and-semantics/terms-formulas.tex#defn-1 |
| Second-order Ward addition identity | FJ1FNZEQ5R | 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.20593#RSS1 |
| Second-order Ward form | CDTVNGK8C9 | 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.20593#3APV |
| Secondary calculus | GQXB18WFVS | definition | open | Wikipedia Glossary of areas of mathematics#FKP5 |
| Secondary calculus and cohomological physics | BATQH9P2V2 | definition | open | Wikipedia Secondary calculus and cohomological physics, Wikidata Q4127987 |
| Secondary cohomology operation | BCER9BEBY9 | definition | open | Wikipedia Secondary cohomology operation, Wikidata Q7443815 |
| Secondary measure | F2GP01NJAQ | definition | open | Wikipedia Secondary measure, Wikidata Q3307156 |
| Secondary polynomials | F1WFM0S00X | definition | open | Wikipedia Secondary polynomials, Wikidata Q3395695 |
| Secondary research | QB9B1KBCN7 | definition | open | Wikipedia Secondary research, Wikidata Q1629267 |
| Secondary vector bundle structure | AWHAVATCZ2 | definition | open | Wikipedia Secondary vector bundle structure, Wikidata Q7443885 |
| Secondcreek, West Virginia | EG166ABESZ | unknown | open | Wikipedia List of places with numeric names#U2H7 |
| Secret decoder ring | PPZHQB2AF7 | definition | open | Wikipedia Secret decoder ring, Wikidata Q3374970 |
| Secret sharing | 4Y1YWMKN81 | definition | open | Wikipedia Secret sharing, Wikidata Q1386603 |
| Secret sharing | DM5GBAZP03 | definition | open | Wikipedia List of algorithms#99T7 |
| Secret sharing scheme | A3R7NQYSKJ | 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.06312#GTH0 |
| Secret sharing using the Chinese remainder theorem | TRP5GEDSQG | statement | open | Wikipedia Secret sharing using the Chinese remainder theorem, Wikidata Q4447674 |
| secretary problem | 1GFRF0G8BV | problem | open | Wikidata Q1372364, MathWorld SultansDowryProblem, Wikipedia Secretary problem |
| Secretary problem | JSYH6STD9V | problem | open | Wikipedia List of statistics articles#AOZF |
| Sect. 7.5 | AWP6Q7E3YB | 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.27151#83F0 |