| Preliminary Green-function bounds | JF191RJ4C6 | 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.06875#4YCZ |
| Preliminary lemmas | EGZ0KSCAAZ | statement | open | Wikipedia Lindemann–Weierstrass theorem#AG9Z |
| Preliminary reference Earth model | SZDQRKS8ZZ | definition | open | Wikipedia Preliminary reference Earth model, Wikidata Q1318259 |
| Preliminary weighted estimate | DXB262X5KW | 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#5JO1 |
| prelinearity axiom | S4HSQY4GEC | definition | open | Wikipedia Glossary of logic#U22J |
| premise | H9V4MA0FA3 | definition | open | Wikidata Q321703, MathWorld Premise, Wikipedia Premise |
| premise | Q7WKZ218DS | definition | open | Wikipedia Glossary of logic#NHG7 |
| Premise variables retained in the conclusion | N780Z648ZA | 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.33469#QY3U |
| premises | CX1HZ9H26Z | concept | open | levin_dmoi index/4/premises |
| Premixed flame | RS2TNKQP5B | definition | open | Wikipedia Premixed flame, Wikidata Q4563566 |
| Premonoidal category | MPXNM1W74Z | definition | open | Wikipedia Premonoidal category, Wikidata Q130974266 |
| prenex normal form | 696XEAY5EY | definition | open | Wikipedia Glossary of logic#WAPG |
| prenex normal form | 82V6X6EEQQ | definition | open | Wikidata Q281854, MathWorld PrenexNormalForm, Wikipedia Prenex normal form |
| preon | Y99NDPKZA9 | unknown | open | Wikidata Q1141611, nLab preon |
| preorder | C3TNSCHYEZ | definition | open | Wikipedia Glossary of category theory#VGXC |
| Preorder | F333MHC33V | definition | open | Wikipedia List of order structures in mathematics#C4S0 |
| Preorder | J80VKZFS4K | definition | open | open_logic content/sets-functions-relations/relations/orders.tex#defn-1 |
| Preorder | MACQDQ3WTP | definition | open | Wikipedia List of order theory topics#ZNRE |
| preorder | TZGRYR41T0 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1425985, MathWorld Preorder, nLab preorder, Wikipedia Preorder |
| Preorder field | 6NB9E3BEA9 | unknown | open | Wikipedia Field of sets#U1JI |
| preorder, of cardinal numbers | 5NRNEEKZEF | concept | open | hott_book index/C.2/preorder-of-cardinal-numbers |
| Preordered class | XNHVDDFWAX | definition | open | Wikipedia Preordered class, Wikidata Q7240591 |
| Preparation time | 33WJ9D5XEA | 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#DJHJ |
| Prepolar values need not be generic values | KNRTFFTF40 | 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 2610.07528#AFKT |
| Preprocessing basis quality | VAHASVM7A0 | 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.37482#GTY5 |
| Preradical | 25AJ5E58CF | definition | open | Wikipedia Preradical, Wikidata Q28401220 |
| Preregistration | Y2WNSJQ77A | definition | open | Wikipedia Preregistration (science), Wikidata Q60752967 |
| Presburger arithmetic | HM8V26MR2F | definition | open | Wikipedia List of mathematical logic topics#9LGI, Wikipedia List of computability and complexity topics#NRH5 |
| Presburger arithmetic | SQR8D520EY | definition | open | Wikidata Q956059, MathWorld PresburgerArithmetic, nLab Presburger arithmetic, Wikipedia Presburger arithmetic |
| Prescott Currier | KM0G8GRMTV | topic | open | Wikipedia Prescott Currier, Wikidata Q6085438 |
| Prescott Durand Crout | MS3QRDQK01 | topic | open | Wikipedia Prescott Durand Crout, Wikidata Q16011008 |
| Prescribed centers and relative widths | 7TS78HXQQW | 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.24930#L2G3 |
| Prescribed expected Favard length decay | ABRXHBWWQ1 | 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.33557#IPI0 |
| Prescribed facet normals and support parameters | CFY0A9Y6RB | 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.21670#NU7D |
| Prescribed joint output patterns | 5D784KFJVH | 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#EXPD |
| Prescribed means and independent references | YG761KBBNY | 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#5IBE |
| Prescribed monotone frequency sorting | 5FTVDMNSBF | 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.29565#1TJF |
| Prescribed multiplicities and capped majority retention | M4SETABWQJ | 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.13580#ZZRJ |
| Prescribed observation | 6E7CM3C0NX | 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.37575#JNLR |
| Prescribed Output and Error | WA54Y66AHK | 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#XMNE |
| Prescribed output length and error | 1G0RF7EKTD | 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#MTRR |
| Prescribed Ricci curvature problem | AK0GZHR5Y6 | problem | open | Wikipedia Prescribed Ricci curvature problem, Wikidata Q7240883 |
| Prescribed scalar curvature problem | JRGE0897N8 | problem | open | Wikipedia Prescribed scalar curvature problem, Wikidata Q7240881 |
| Prescribed-phase obstruction | 8MKEP766AD | 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.01329#LAVQ |
| Prescribed-rotation smoothing | E9TAB3EVVN | 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.38013#W2GX |
| Prescribed-signal sampling | PJWJ5ARSQ9 | 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.01391#8UWD |
| Prescribing the core centralizer | GX9K2DJDNF | 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#H1IV |
| prescribing the kernel dimension | 690105K5JM | 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.20351#P747 |
| Prescriptive analytics | VWJ0JPYN4K | definition | open | Wikipedia Prescriptive analytics, Wikidata Q7240900 |
| PRESENT | APMBMZ3670 | definition | open | Wikipedia PRESENT, Wikidata Q4047327 |
| present | Y5BPC79YTE | definition | open | Wikidata Q193168, ProofWiki Definition:Present |
| Present Attribution | BMPH1SG8DT | 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 math/0003117#38OD |
| Present bias | 5QZ5AJ72Y8 | unknown | open | Wikipedia List of cognitive biases#YAM2 |
| present value | 45G6Y1VJ05 | unknown | open | Wikidata Q1100466, MathWorld PresentValue |
| presentable | 369DYXHSNM | definition | open | Wikipedia Glossary of category theory#XO23 |
| presentable | XYSJ8SS8C6 | definition | open | Wikipedia Glossary of commutative algebra#TM6E |
| Presentable ∞-category | VN5RS5DNCK | unknown | open | Wikipedia Quasi-category#GUQM |
| Presentation complex | 1AFDSK9RDZ | definition | open | Wikipedia Presentation complex, Wikidata Q7240979 |
| Presentation independence, traces, compactness, and gluing | XKVWA47C0D | 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.20215#O5WR |
| Presentation of a group | H0FFZZF0P7 | definition | open | Wikipedia List of group theory topics#DUM0 |
| presentation of a group | QXPFB0RMGW | concept | node (a node has the same name as the row) | Wikidata Q915906, EoM Presentation, MathWorld GroupPresentation, ProofWiki Definition:Group_Presentation, Wikipedia Presentation of a group |
| Presentation of a monoid | 1NKXHBF2WY | definition | open | Wikipedia Presentation of a monoid, Wikidata Q7240991 |
| presentation, of a group | 4C3QZ8JC87 | concept | open | hott_book index/7.7.2/presentation-of-a-group |
| presentation, of a group | 82QT2877F6 | concept | open | hott_book index/5.11/presentation-of-a-group |
| presentation, of a positive type by its constructors | 67X9A4PRTQ | concept | open | hott_book index/1.12/presentation-of-a-positive-type-by-its-constructors |
| presentation, of a space as a CW complex | 4H3JAYAMP8 | concept | open | hott_book index/u1.u4/presentation-of-a-space-as-a-cw-complex |
| presentation, of an $\infty$-groupoid | 24J9ZEBMDS | concept | open | hott_book index/7/presentation-of-an-infty-groupoid |
| presentation, of an $\infty$-groupoid | Y8KZ3MVSGA | concept | open | hott_book index/5.1/presentation-of-an-infty-groupoid |
| Presentation-parameter ledger | WQCCCZ5QDT | 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#VS8K |
| presented group | BQTW9VKT0M | unknown | open | mathlib_overview General algebra > Group theory > presented group, Mathlib PresentedGroup |
| Presentism | XGZTDFEGSM | definition | open | Wikipedia Presentism (historical analysis), Wikidata Q1842346 |
| Preservation of \(\kappa\)-convexity by MCF | R5ABHMEW5J | 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.22659#3DSI |
| Preservation of abelian quotients | 5XANQV6TBA | 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.20401#QWCG |
| Preservation of higher Sobolev regularity | RXW4MKK8AP | 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 2410.06788#HYVB |
| Preservation of properness | D9RGQCCW7Z | 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.09557#T558 |
| Preservation of smallness in modular lattices. | A8MATNM3MJ | 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.10930#JVNM |
| Preservation of stability | 5RBJTGM43Y | 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.11002#7A4G |
| Preservation of the Expected Measure | K5DJG6KJVH | 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.30105#PVGZ |
| preservation of unliftability | H470YT7MVV | 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.31413#BCGZ |
| Preservation theorems | C1VZA4A021 | statement | open | Wikipedia Modal companion#3KIN |
| Preservation under regularisation | 7X9QPAZF8Q | 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.07404#FHPM |
| Preserving cardinals $\iff$ preserving regular cardinals | 5NEKXZBM2A | statement | open | napkin tex/set-theory/CH.tex#proposition-1 |
| Preserving opens through a gerbe | 6DRJ0HVMEC | 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.15831#R7WY |
| Preserving the cubic does not preserve two singularities | RCCBM9GNWZ | 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.26152#CV36 |
| Preserving the first local moment | 2V6N9FM3S0 | 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.37704#GW6X |
| Preset | 1XXFGJC1AQ | unknown | open | Wikidata Q4377407, nLab preset |
| presheaf | 63PD44QM32 | definition | open | Wikipedia Glossary of category theory#PHRJ |
| presheaf | MRW39ERHD7 | definition | open | Wikidata Q7241077, EoM Pre-sheaf, MathWorld Presheaf, nLab presheaf, ProofWiki Definition:Presheaf_on_Topological_Space, Wikipedia Presheaf (category theory) |
| Presheaf on an ∞-category | KDHDJSRENM | unknown | open | Wikipedia Quasi-category#58VS |
| Presheaf with transfers | E3TAM6BK8T | definition | open | Wikidata Q55643322, nLab presheaf with transfer, Wikipedia Presheaf with transfers |
| presheafed space | KS9RJJQ5CK | unknown | open | mathlib_overview General algebra > Category theory > presheafed space, Mathlib AlgebraicGeometry.PresheafedSpace |
| Presidential Scholars Program | K6DJHB3JKT | unknown | open | Wikipedia List of research centers at Boston College#JMII |
| PRESS statistic | 4EZVKJZAEJ | definition | open | Wikipedia PRESS statistic, Wikidata Q7120293 |
| PRESS statistic | VZ58G73PKD | definition | open | Wikipedia List of statistics articles#PGW5 |
| Press' Q | PCC97M6MWB | unknown | open | Wikipedia List of analyses of categorical data#I2T1 |
| pressure | ND8YZXVTFF | definition | open | Wikidata Q39552, nLab pressure, ProofWiki Definition:Pressure |
| Pressure at a fixed scale | FRJWQ31837 | 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.25915#1UEJ |
| Pressure distribution in a water wave | 4FRPTXJB00 | unknown | open | Wikipedia Airy wave theory#SFM9 |
| Pressure estimate at the exponent $5/3$ | VPP6K78PFE | 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.13613#8TK2 |
| Pressure volume work | DZWRPARW66 | unknown | open | Wikipedia Work (thermodynamics)#NNZ0 |