| PRCMA2K917 | PRCMA2K917 | proof | open | hott_book logic.tex#proof-3 |
| PRCSHVABXJ | PRCSHVABXJ | 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 2608.19483#2MLW |
| PRCXJ8380B | PRCXJ8380B | proof | open | lebl_ra ch-der.tex#proof-6 |
| PRCY0K8DES | PRCY0K8DES | exercise | open | lebl_ra ch-seq-ser.tex#exercise-25 |
| PRD6YAT46F | PRD6YAT46F | 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.03520#PX4K |
| PRDHXDQX3P | PRDHXDQX3P | 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.08198#UNR1 |
| PRDPP84PJK | PRDPP84PJK | 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.26496#IUDB |
| PRDRF7H5PF | PRDRF7H5PF | 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.13100#OZCI |
| Pre- and post-test probability | P31C9MTC5H | definition | open | Wikipedia List of statistics articles#DI1I |
| Pre- and post-test probability | Y7TG9WRTAA | definition | open | Wikipedia Pre- and post-test probability, Wikidata Q7239190 |
| Pre-\hal\, structure | STYN74WWYX | 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.37524#AR0Z |
| pre-abelian | ZT96M5K3Q8 | definition | open | Wikipedia Glossary of category theory#SFVE |
| pre-abelian category | ZRX3E29A49 | definition | open | Wikidata Q7239192, nLab pre-abelian category, ProofWiki Definition:Pre-Abelian_Category, Wikipedia Pre-abelian category |
| Pre-algebra | BR7WKDVG7Z | definition | open | Wikipedia Pre-algebra, Wikidata Q16990740 |
| Pre-audit comparison network | NYXEH4QVJR | 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.19207#N0Q5 |
| Pre-Bott classes of unitary representations | WVFV4KT3MQ | 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.21675#X39J |
| Pre-compact | 16NH4GJZTB | definition | open | Wikipedia Glossary of general topology#THOE |
| Pre-computed dictionary attack | K5FZNHT7KR | unknown | open | Wikipedia Dictionary attack#55RI |
| Pre-fed-back plant keeps the spectral structure | MYNQTDXEGB | 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.22384#7ACE |
| Pre-feedback enables controllability for every $\lambda$ | VCJMTERHPJ | 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.08764#QN9L |
| Pre-feedback resolvent, spectrum, and input coefficients | WS6VBPQR2G | 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.08764#R8HS |
| Pre-feedback through the normal velocity | CMDC7XDVHB | 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.22384#2SS7 |
| Pre-fixed dynamics | Y6G2PZSNKZ | 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.35102#XFDO |
| Pre-fixed gluing data | 4TA3RA2NEQ | 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.35102#UYO4 |
| Pre-fixed point | A71QRHMNRV | unknown | open | Wikipedia Fixed point (mathematics)#P8JS |
| Pre-intuitionism | TGMD52DPNY | topic | open | Wikipedia Pre-intuitionism, Wikidata Q7239989 |
| pre-Lie algebra | 790C6SVK46 | definition | open | Wikidata Q7239170, nLab pre-Lie algebra, Wikipedia Pre-Lie algebra |
| Pre-Lie algebra | HV45ZFWAPQ | definition | open | Wikipedia List of algebras#1A9L |
| Pre-math skills | 884FRCW297 | unknown | open | Wikipedia Mathematics education#9MYO |
| pre-measure | FA9ZGM7CFT | definition | open | Wikidata Q1393014, MathWorld Premeasure, Wikipedia Pre-measure |
| pre-ordering | GGFAH39MEZ | definition | open | Wikipedia Glossary of set theory#QXYD |
| Pre-rendering | RG5TAGX62J | unknown | open | Wikipedia List of computer graphics and descriptive geometry topics#SLKQ |
| Pre-sampling block model | GFKB5JTANR | 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.32558#OQ1N |
| Pre-shared key | 2Q5GJ6T7KX | definition | open | Wikipedia Pre-shared key, Wikidata Q2108226 |
| Pre-sheaf | VW0GH57CQC | unknown | open | Wikipedia Sheaf (mathematics)#R3RR |
| Pre-small council lemma | Z5CNMKBBR1 | 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.20391#VBF6 |
| Pre-Socratic philosophy | 3GCBS91TAV | definition | open | Wikidata Q178540, ProofWiki Definition:Pre-Socratic |
| Pre-step acceleration on a simultaneous error event | YB8SXABKQJ | 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.15202#WK5X |
| Pre-topological order | 8975M9YFVZ | definition | open | Wikipedia Pre-topological order, Wikidata Q39091317 |
| Pre-trace formula | ZP3TVYGDTK | 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.16668#NBNR |
| PRE10ADVNM | PRE10ADVNM | 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.07963#9MVI |
| preadditive | F3ZS9V30A0 | definition | open | Wikipedia Glossary of category theory#H6UW |
| preadditive category | 1G34WNX7N9 | definition | open | Wikidata Q2099981, nLab pre-additive category, ProofWiki Definition:Preadditive_Category, Wikipedia Preadditive category |
| Precalculus | PTSHFW3KMS | definition | open | Wikipedia Glossary of areas of mathematics#DREM |
| Precalculus | X54WTSJY8V | definition | open | Wikipedia Precalculus, Wikidata Q3272845 |
| precategory, product of | P24QTA4613 | concept | open | hott_book index/2.5/precategory-product-of |
| Precession | MNF4G8VE74 | definition | open | Wikipedia Precession, Wikidata Q104225 |
| Precession | P35PN0E3XB | definition | open | Wikipedia List of dynamical systems and differential equations topics#95LS |
| PreCICE | 92PWZM7DBZ | definition | open | Wikipedia PreCICE (software), Wikidata Q136504894 |
| Precise characterization for nonzero training error | MEPHZ8W415 | 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.38453#FSYK |
| Precise characterization for the MNI | QTTSXSCV3W | 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.38453#3LIB |
| Precise compact--Hausdorff consequence | Q0Z4G89HAE | 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.23281#K2OP |
| Precise formulation of the conjecture | K9KMP6EQZG | statement | open | Wikipedia Borel conjecture#KS9J |
| Precise formulation of the conjecture | Y30XA0AYZY | statement | open | Wikipedia Novikov conjecture#G2G5 |
| Precise statement | 60WM6E1KA4 | statement | open | Wikipedia Holevo's theorem#GXJ2 |
| Precise statement | BY9CY58Y8E | statement | open | Wikipedia Discontinuities of monotone functions#N666 |
| Precise statement | KPQ0SXJT5V | statement | open | Wikipedia Invariant subspace problem#ZCV4 |
| Precise statement | M1XVD3YDKJ | statement | open | Wikipedia BEST theorem#JSYS |
| Precise statement | R7VZ3PVFEM | statement | open | Wikipedia Erdős–Kac theorem#WS76 |
| Precise statement | THFX5KQS5G | statement | open | Wikipedia Graph removal lemma#3CR3 |
| Precise statement | WKJGFWVNV2 | statement | open | Wikipedia Hardy–Ramanujan theorem#VSM3 |
| Precise statement | WXCJEMA1W2 | statement | open | Wikipedia Švarc–Milnor lemma#98ZX |
| Precise statement | XM2BX9K5FM | statement | open | Wikipedia Albanese variety#RY2E |
| Precise statement of the Adyan–Rabin theorem | 19FY7T37H1 | statement | open | Wikipedia Adian–Rabin theorem#7Z06 |
| Precise statement of the h-cobordism theorem | 7HJZZR0CR9 | statement | open | Wikipedia H-cobordism#Q42D |
| Precise statement of the Muller–Schupp theorem | FAB4W2PBJ6 | statement | open | Wikipedia Muller–Schupp theorem#U7TK |
| Precising definition | 295HZ6TC74 | definition | open | Wikipedia Precising definition, Wikidata Q7239513 |
| Precision | T1KFB0ZQ08 | definition | open | Wikipedia Precision (statistics), Wikidata Q254860 |
| Precision (statistics) | BMMQBZ8GE5 | definition | open | Wikipedia List of statistics articles#C4BV |
| Precision after satisfying the diagnostics | 1VQTN3AGG7 | 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.20020#ZG8H |
| Precision and recall | 8F9XZYXKAK | definition | open | Wikipedia List of statistics articles#QAWT |
| Precision and recall | ZT8KQPWR8Y | definition | open | Wikipedia Precision and recall, Wikidata Q2359161 |
| Precision bias | SG6GP39JRW | definition | open | Wikipedia Precision bias, Wikidata Q7239538 |
| Precision limit of a single pass | QVBNA73BY2 | 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.29554#W5KQ |
| Precision matrix | C7V5GY2S7V | definition | open | Wikipedia List of named matrices#YE4W |
| precision of approximation | S7FDTEM4TP | 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.13741#5I2S |
| Precision planning | MN644CGC9Z | unknown | open | Wikipedia Estimation statistics#CNP0 |
| Precision-aware parameterization | 5HD6BHRNZS | problem | 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.31641#FF8X |
| Preclosure operator | WSTASQS5YG | definition | open | Wikipedia Preclosure operator, Wikidata Q7239555 |
| Precoloring extension | J2J6ZANC54 | definition | open | Wikipedia Precoloring extension, Wikidata Q30694321 |
| Precomposition of substitutions by $\Uparrow$ | D3GHVYNXTZ | 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#IWMW |
| Precomposition with weakening | Q4VRBV3APG | 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#YVVR |
| Precomputation | 4C25HT4J44 | definition | open | Wikipedia Precomputation, Wikidata Q7239568 |
| Precomputed Radiance Transfer | 3D035YRJW6 | unknown | open | Wikipedia List of computer graphics and descriptive geometry topics#KLTZ |
| Preconditioned conjugate gradient method | TABQ10RMST | unknown | open | Wikipedia Conjugate gradient method#MBIA |
| Preconditioned Crank–Nicolson algorithm | 88MHRGP7KJ | definition | open | Wikipedia Preconditioned Crank–Nicolson algorithm, Wikidata Q60794122 |
| Preconditioned gradient descent | 31PR6RZRPC | unknown | open | Wikipedia Preconditioner#UMJ2 |
| preconditioner | TP7A8VY20K | definition | open | Wikidata Q1754327, MathWorld Preconditioner, nLab preconditioner, Wikipedia Preconditioner |
| Preconditioner tail completion | RWEDPYJN3Z | 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.27741#JXD1 |
| pred-succ | 9MS3S74Q19 | definition | open | Wikipedia Glossary of mathematical symbols#TPYX |
| Preda Mihăilescu | 3XDB7RC3Q8 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q707130, ProofWiki Mathematician:Preda_V._Mihăilescu, Wikipedia Preda Mihăilescu |
| Preda Mihăilescu | 52FTV63JAK | topic | open | Wikipedia List of German mathematicians#GVVO |
| Predation rates | 9FA2W9ZTGD | definition | open | Wikipedia Predation rates, Wikidata Q111346531 |
| predecessor | 3JC5YPSAA7 | concept | open | hott_book index/8.1/predecessor |
| predecessor | 5D83XQPA1B | concept | open | hott_book index/8.3/predecessor |
| predecessor | HG87HQMAWG | definition | open | Wikipedia Glossary of graph theory#I8FO |
| predecessor, function, truncated | 76MQNXVED5 | concept | open | hott_book index/5.2/predecessor-function-truncated |
| predecessor, isomorphism on $\Z$ | W2P52ESSES | concept | open | hott_book index/7.1.3/predecessor-isomorphism-on-z |
| Predecessors and minimal collision-positive states | FJYQB3RNRC | 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.22465#LGUQ |
| Predicable | KNKT81V3KH | definition | open | Wikipedia Predicable, Wikidata Q1748491 |