| Extension of the finite action over the $C_7$ singular orbit | QRZ1SFPED2 | 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.37265#2V95 |
| Extension of the target to the transient states | SKEW61W6DW | 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.14988#8ZQD |
| Extension of the Vaidya metric | QN4EWTFDYB | statement | open | Wikipedia Vaidya metric#UYBJ |
| Extension problem | 57RMVTWBZP | definition | open | Wikipedia List of group theory topics#KA8C |
| Extension problem | KETPWXYS0M | unknown | open | Wikipedia Group extension#QWN4 |
| Extension ratio | D04Q219WGK | unknown | open | Wikipedia Strain (mechanics)#PJLW |
| Extension through the standard tube | 6CRE46300N | 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.03298#DY43 |
| Extension to arbitrary sets of formulas | RAET67FT8M | statement | open | Wikipedia Original proof of Gödel's completeness theorem#OJVX |
| Extension to countable sets of formulas | X8YC2VKETB | statement | open | Wikipedia Original proof of Gödel's completeness theorem#55XZ |
| Extension to include the Goldbach conjecture | BFX2DAA2KX | statement | open | Wikipedia Schinzel's hypothesis H#Y6SK |
| Extension to Inequality Constraints | B0CZPMGF3W | 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.19181#VHXT |
| Extension topology | D5V0WMYWZ5 | definition | open | Wikipedia List of topologies#RIU1, Wikipedia List of topologies#UD4N |
| Extension topology | J3M5XMZBYM | definition | open | Wikipedia Extension topology, Wikidata Q5421952 |
| Extension--Composition Distribution | 7JPCQBR2HQ | 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.21131#GWJG |
| Extension: Ginibre inequality | YXBBSQ9M77 | statement | open | Wikipedia Griffiths inequality#KDIK |
| extensional | GBFBD9ECC8 | definition | open | Wikipedia Glossary of set theory#IR07 |
| Extensional and intensional definitions | DZKJ3WQS5T | definition | open | Wikipedia Extensional and intensional definitions, Wikidata Q19515659 |
| Extensional context | RETE3JCWN7 | definition | open | Wikipedia Extensional context, Wikidata Q422730 |
| extensional function | V7N9KW905F | definition | open | Wikipedia Glossary of Principia Mathematica#NGYL |
| extensional logic | CYM81XCZE7 | definition | open | Wikipedia Glossary of logic#USJF |
| Extensional logic | RAF2FK1VEV | unknown | open | Wikipedia Intensional logic#EQPR |
| Extensional type theory | 5KDNPHB6EY | unknown | open | Wikipedia Intuitionistic type theory#86KF |
| extensional, type theory | FSC62TJ17S | concept | open | hott_book index/1.15/extensional-type-theory |
| extensional, type theory | VQNY3FJ146 | concept | open | hott_book index/A.12.3/extensional-type-theory |
| Extensionality | 3R43J1KGW1 | definition | open | open_logic content/sets-functions-relations/sets/basics.tex#defn-1 |
| Extensionality | 91D3Z7WMMM | definition | open | Wikipedia Extensionality, Wikidata Q965432 |
| Extensionality | CM28NWBS2E | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn-2 |
| Extensionality | F468YSF961 | statement | open | open_logic content/set-theory/story/extensionality.tex#axiom-1 |
| Extensionality | R9S3GDJZNK | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:extensionality |
| Extensionality for !!^{sentence}s | 90X5BM2WTF | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#cor:extensionality-sent |
| Extensionality principles | 26XJ5RGZ23 | statement | open | Wikipedia Extensionality#OKDB |
| extensionally defined set | PD6A689QDS | unknown | open | Wikidata Q109942027, MathWorld SetExtension |
| Extensions | 17AH7VVBK0 | statement | open | Wikipedia Binary GCD algorithm#ABL1 |
| Extensions | 1EVTA9634B | statement | open | Wikipedia Prolog#87OB |
| Extensions | 1EZP6V90NQ | statement | open | Wikipedia Splitting lemma (functions)#HNNT |
| Extensions | 1GFK8Y1HT7 | statement | open | Wikipedia Kneser's theorem (differential equations)#W126 |
| Extensions | 1N9QJ690G2 | statement | open | Wikipedia Grzegorczyk hierarchy#U8VE |
| Extensions | 1S6CP41VC7 | statement | open | Wikipedia Restriction (mathematics)#PRHA |
| Extensions | 1YJ3BEKH0W | statement | open | Wikipedia Proof that 22/7 exceeds π#D1Q0 |
| Extensions | 1YQZSBMKV1 | statement | open | Wikipedia Generalized linear model#I0RT |
| Extensions | 2H3AX8FJXD | statement | open | Wikipedia Geometric Brownian motion#G24D |
| Extensions | 2Z15ZRYYF6 | statement | open | Wikipedia System of polynomial equations#TVZ9 |
| Extensions | 30EFTQM6FP | statement | open | Wikipedia Transport Layer Security#IDGU |
| Extensions | 3675M0E868 | statement | open | Wikipedia Hilbert's inequality#ABHV |
| Extensions | 3EBXM2PRDF | statement | open | Wikipedia Hindley–Milner type system#4WUS |
| Extensions | 4TNY2CT7G8 | statement | open | Wikipedia Matroid intersection#25AT |
| Extensions | 4Y6WADAPTJ | statement | open | Wikipedia Causal model#TKZG |
| Extensions | 52G3CKAXJF | statement | open | Wikipedia Computation tree logic#WX2K |
| Extensions | 54ECCFCBF2 | statement | open | Wikipedia Buchdahl's theorem#YLIH |
| Extensions | 55WRVKTEQ4 | statement | open | Wikipedia Dialectica interpretation#MVX0 |
| Extensions | 5BWEN79SQR | statement | open | Wikipedia Viviani's theorem#GM6O |
| Extensions | 5CPPV9JVTJ | statement | open | Wikipedia True quantified Boolean formula#20Z3 |
| Extensions | 5D336RAA5M | statement | open | Wikipedia Penrose graphical notation#MWU7 |
| Extensions | 5FMH718R6A | statement | open | Wikipedia Fourier series#F3GP |
| Extensions | 5GGQB4WG6Z | statement | open | Wikipedia Flux balance analysis#TE0A |
| Extensions | 5VHRHPXM0R | statement | open | Wikipedia Reflection theorem#RT7J |
| Extensions | 5Z506A827Q | statement | open | Wikipedia Chernoff face#BEB1 |
| Extensions | 6H6XYR1AC1 | statement | open | Wikipedia Lyra2#R5GT |
| Extensions | 6NSCMVESAK | statement | open | Wikipedia Fréchet inequalities#36AN |
| Extensions | 6ZY4VJF912 | statement | open | Wikipedia Cox–Ingersoll–Ross model#RQFJ |
| Extensions | 72MY1NNCQC | statement | open | Wikipedia Viterbi algorithm#CR0G |
| Extensions | 74S4EXAMVZ | statement | open | Wikipedia Matching pursuit#B6CV |
| Extensions | 79TA4QGMGN | statement | open | Wikipedia CYK algorithm#ACK9 |
| Extensions | 7AWPQ1TSC3 | statement | open | Wikipedia Deligne cohomology#LP9X |
| Extensions | 7KSWMCBAB5 | statement | open | Wikipedia Comparison of TLS implementations#VHO4 |
| Extensions | 7M162F0QTQ | statement | open | Wikipedia Bonferroni correction#7SFG |
| Extensions | 7PJE1DCSYC | statement | open | Wikipedia Van den Berg–Kesten inequality#A5Z0 |
| Extensions | 7VPTR1MEG6 | statement | open | Wikipedia Linear regression#1U8Q |
| Extensions | 7XBQR5ETPF | statement | open | Wikipedia Mixture model#4WU7 |
| Extensions | 8CEGP9256D | statement | open | Wikipedia Integral#PTLI |
| Extensions | 8FR7WDPFEB | statement | open | Wikipedia Simultaneous eating algorithm#K093 |
| Extensions | 8HCMGTV4X2 | statement | open | Wikipedia Hinge loss#V278 |
| Extensions | 8M1R261HKY | statement | open | Wikipedia Mie scattering#XI0Q |
| Extensions | 8VFKRKDGCY | statement | open | Wikipedia Standard error#DAYF |
| Extensions | 8ZA1CZVYVS | statement | open | Wikipedia Löwenheim number#PPLY |
| Extensions | 98TJM4X764 | statement | open | Wikipedia Economic order quantity#BSE2 |
| Extensions | 9B3EDGCAPP | statement | open | Wikipedia SABR volatility model#5COQ |
| Extensions | 9REWKZ9HZP | statement | open | Wikipedia Euler–Bernoulli beam theory#2FTF |
| Extensions | A64PQSZSJ3 | statement | open | Wikipedia DNS Certification Authority Authorization#Z4ND |
| Extensions | A9DGP55TKW | statement | open | Wikipedia Agreeable subset#4U58 |
| Extensions | AEC00JZBBM | statement | open | Wikipedia Functional additive model#4NMA |
| Extensions | AF3YNBGY8M | statement | open | Wikipedia McDiarmid's inequality#FMDM |
| Extensions | AGQNE1XBVY | statement | open | Wikipedia MINQUE#SB5D |
| Extensions | ANNW41YSDQ | statement | open | Wikipedia Period (number theory)#H3I3 |
| Extensions | AXAQ4BKYN1 | statement | open | Wikipedia No-hair theorem#2BGY |
| Extensions | AZZ9BYTKTM | statement | open | Wikipedia Conjunctive query#K2GO |
| Extensions | B0BQCAYKDH | statement | open | Wikipedia Vector-valued Hahn–Banach theorems#BRA7 |
| Extensions | B389ZNYMPW | statement | open | Wikipedia Brooks' theorem#RFCR |
| Extensions | BA1QKGJZEG | statement | open | Wikipedia Natural-neighbor interpolation#1Y9A |
| Extensions | BBY8Z6C43K | statement | open | Wikipedia Random variable#G33C |
| Extensions | BMAQZHQ6EA | statement | open | Wikipedia Kolmogorov–Arnold representation theorem#1NU4 |
| Extensions | BR71G5NQHR | statement | open | Wikipedia Birkhoff algorithm#4K8I |
| Extensions | BW2H3VRSQZ | statement | open | Wikipedia Multilinear principal component analysis#3BYH |
| Extensions | C5KZ0F81NJ | statement | open | Wikipedia Congestion game#FXO1 |
| Extensions | CA25PWSTJT | statement | open | Wikipedia Convergent cross mapping#ZUWF |
| Extensions | CCVT66EVTD | statement | open | Wikipedia Chapman–Enskog theory#O3LF |
| Extensions | CFYGQ2W55K | statement | open | Wikipedia Probabilistic latent semantic analysis#HKI4 |
| Extensions | CWDPZRRE4Y | statement | open | Wikipedia Sinusoidal model#B69F |
| Extensions | D7HN2C9Z14 | statement | open | Wikipedia Normal distribution#EY01 |
| Extensions | D7MJJT82DS | statement | open | Wikipedia Modal logic#ZNKV |