| Process calculus | V8JWYVPASY | definition | open | Wikipedia List of formal systems#ISYV |
| Process capability | 3GH2CCJ4XX | definition | open | Wikipedia Process capability, Wikidata Q1279773 |
| Process capability index | K08DCTGKJH | definition | open | Wikipedia Process capability index, Wikidata Q1192625 |
| Process control | MCPJ6SSCAM | topic | open | Wikipedia List of statistics articles#TO6R |
| Process function | N4QGX9478F | definition | open | Wikipedia Process function, Wikidata Q900800 |
| Process graph | 1S8F79K3MW | definition | open | Wikipedia Process graph, Wikidata Q7247275 |
| Process of elimination | A286ERHT11 | definition | open | Wikipedia Process of elimination, Wikidata Q7247293 |
| Process optimization | 761VKMXN6R | unknown | open | Wikipedia List of numerical analysis topics#92OL |
| Process performance index | EZZBTY3NST | definition | open | Wikipedia Process performance index, Wikidata Q3502312 |
| Process performance qualification protocol | 2Y3KEZEN0S | definition | open | Wikipedia Process performance qualification protocol, Wikidata Q22907934 |
| Process tracing | PN9S441W5Z | definition | open | Wikipedia Process tracing, Wikidata Q7247309 |
| Process trees as sets of SP partial orders | J4WREEST39 | 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.20478#F6M2 |
| Process variation | H2VJD7D81D | definition | open | Wikipedia Process variation (semiconductor), Wikidata Q7247313 |
| Process Window Index | JTYJ2JAJET | definition | open | Wikipedia List of statistics articles#5L2F |
| Process window index | NVADYACVNM | definition | open | Wikipedia Process window index, Wikidata Q7247256 |
| Process with independent increments | ZSTC147W87 | definition | open | Wikipedia List of probability topics#NJ72 |
| Process-level local-to-CEV approximation | SFM1F8Y8FB | 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.05864#XVS0 |
| Proclus | 3MZVE10TDV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q271809, ProofWiki Mathematician:Proclus_Lycaeus |
| Proclus | RKZMGZZFC3 | unknown | open | Wikipedia List of Greek mathematicians#1CW0 |
| Procrustes analysis | BVVW5BGTAR | definition | open | Wikipedia Procrustes analysis, Wikidata Q2845240 |
| Procrustes analysis | QK5SHBTDN0 | definition | open | Wikipedia List of statistics articles#MYQD |
| Procrustes transformation | 8MQBD070MH | definition | open | Wikipedia Procrustes transformation, Wikidata Q7247490 |
| Procyclic group | 2VCNBXPKX6 | unknown | open | Wikipedia Profinite group#DF3M |
| Prodigy Math Game | DBJEZFHR8F | definition | open | Wikipedia Prodigy Math Game, Wikidata Q125545107 |
| Prodiscrete topology | BQEQ82YGC9 | definition | open | Wikipedia Glossary of general topology#SIHC |
| Produce the formula's truth table | XS05EYZRB0 | statement | open | Wikipedia Propositional formula#CN38 |
| product | 7YX6PE6242 | definition | open | Wikidata Q901718, MathWorld Product, Wikipedia Product (mathematics) |
| product | 9F4FM822VT | definition | open | Wikipedia Glossary of category theory#J1ON |
| product | SZCRQHJJDD | definition | open | Wikidata Q919107, MathWorld CategoryProduct, ProofWiki Definition:Product_(Category_Theory), Wikipedia Product (category theory) |
| Product and defect traces | Z3A9NCCZ1H | 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.12326#HGKR |
| Product and Quotient Rules | 6PXCBT2R51 | definition | open | Wikipedia List of mathematical proofs#XO46 |
| Product approximation | JEGK35MV50 | 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.09295#QTJU |
| Product approximation after conditioning | CDD0F6NJF2 | 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.02166#VPZI |
| Product bornology | AGNF8DTFNP | unknown | open | Wikipedia Bornology#28W7 |
| Product bound | 3TQ22YAE35 | 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.00501#RX3T |
| Product bound with different exponents | KP4FDDHR26 | 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.26058#C15M |
| product Brownian capacity | 12CKB88JBV | 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.04000#XRR9 |
| product category (math) | QRG40AKC5D | definition | open | Wikidata Q13443840, MathWorld ProductCategory, nLab product category, ProofWiki Definition:Product_Category, Wikipedia Product category |
| Product cipher | HA6BDTWBX9 | definition | open | Wikipedia Product cipher, Wikidata Q1053352 |
| Product class with finite first moment | QMKN3S7G12 | 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.11760#VKB5 |
| Product conjecture for the product of two spheres | JV5ZBQXFW7 | statement | open | Wikipedia Hopf conjectures#R6RW |
| Product coordinates | 8ZQE5S9CDS | 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.00137#K3CL |
| Product copula and the critical logarithm | CC39M56V88 | 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#D1GV |
| Product cutoff | DNA7GX08DP | 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.22305#D8B7 |
| Product defect of a heat layer | C48P3S4AHA | 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.20106#8I0U |
| Product diameter bound | 78K7R3MNG9 | 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.02216#NC0B |
| product dif\/feology | 5H5TDYZ5TG | 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 1408.1555#J5N5 |
| Product dilations on blocks | K597BD98C6 | 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.40214#P889 |
| Product distribution | TMJ089Q9Y4 | definition | open | Wikipedia List of statistics articles#NTAU |
| Product Error Bound | SNZKQWDW5V | 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.16518#8AD0 |
| Product estimate | P7V70Y7DBZ | 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.02721#ICT8 |
| Product expansion | 9XCDP315XT | 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.28028#TKGP |
| Product expansion | PNMDHXAARS | 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.02512#BPM0 |
| Product expansion implies robustness, adapted | W9F2HG12SM | 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.28028#3FI3 |
| Product expansion, adapted | FC0R4Q5JNR | 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.28028#MKJK |
| product fiber theorem | QB7RPM8WQ4 | 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.15099#H31A |
| Product forcing | DCXJWK4ZGS | unknown | open | Wikipedia List of forcing notions#U0D1 |
| Product form | H6YRCW16G5 | 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.27766#MFJ3 |
| Product form | RKGJR3ZEMZ | 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.29839#R99T |
| Product form solution | 4P915FYRY4 | definition | open | Wikipedia List of statistics articles#CXG6 |
| Product formula | 5EFNFD4HSY | statement | open | Wikipedia P-adic valuation#WYIK |
| product formula | NJJB7XEHZW | statement | open | Wikidata Q3077644, MathWorld ProductFormula |
| Product formula and compactness of norm-one idele classes | BNYKEV3VP0 | statement | open | Wikipedia Idele group#YY26 |
| Product formula for bag-noninteracting fills | XBJ2G6A6FM | 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.19669#QWU1 |
| Product formula for ideals | 7QWA429RZ5 | 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.13888#7BBO |
| Product formulas | 219EFDYXVZ | statement | open | Wikipedia Hyperbolic functions#ITPB |
| Product formulas | 45FZXWJP6R | statement | open | Wikipedia Hamiltonian simulation#8O5G |
| Product Gamma Measures | TYXHH6TFZN | 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.23994#R0VA |
| Product implies linearization | DJ9G0RF3MG | 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.20643#WB1Y |
| Product inequalities | 1RJ26PZWW9 | 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.00137#ZMQR |
| Product integral | EDD3Q1BR5J | definition | open | Wikipedia Product integral, Wikidata Q4891200 |
| product integral | QFBY7FNHT0 | definition | open | Wikipedia Glossary of calculus#G0AZ |
| Product maps | MHKWRNTHT2 | 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.09295#UZZG |
| Product market regulation indicator | JANRX7H7F4 | definition | open | Wikipedia Product market regulation indicator, Wikidata Q130580985 |
| product measure | DZ3R3Q14VF | definition | open | Wikipedia Fubini's theorem#D0KA |
| product measure | RGFA7KJ01F | definition | open | Wikidata Q1572094, MathWorld ProductMeasure, Wikipedia Product measure |
| product measure | SGG2K1V0B5 | unknown | open | mathlib_undergrad Measures and integral calculus > Measure theory > product measure, Mathlib MeasurableSpace.pi, mathlib_undergrad Measures and integral calculus > Measure theory > product of sigma-algebras |
| Product Measures on \(\bb N^d\ | 6HFWH99TFK | 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.23994#FZYP |
| Product metric | V58CSDJNFG | definition | open | Wikipedia Product metric, Wikidata Q7247777 |
| Product Moment of Area | QX18JAKR3P | unknown | open | Wikipedia Second moment of area#RO3K |
| Product nets for tangent candidates | 70SQQ26811 | 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.31458#W5N5 |
| product notation | 6KQ6NAEXSB | concept | open | levin_dmoi index/3.1/product-notation |
| Product numerical range | 86CCJ6AMTY | definition | open | Wikipedia Product numerical range, Wikidata Q7247779 |
| product of finitely many measures | 9AD0DRM3ZD | unknown | open | mathlib_overview Analysis > Measures and integral calculus > product of finitely many measures, Mathlib MeasureTheory.Measure.pi |
| product of five distinct primes | N4E0327P7V | object | open | Wikidata Q115113253, OEIS A046387 |
| product of four distinct primes | 7NRPRP3MWW | object | open | Wikidata Q109364216, OEIS A046386 |
| Product of group subsets | HSY008C0K0 | definition | open | Wikipedia Product of group subsets, Wikidata Q338585 |
| Product of group subsets | MHM9T5HSD4 | definition | open | Wikipedia List of group theory topics#IM47 |
| product of manifolds | S3HY05W7X9 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > product of manifolds, Mathlib IsManifold.prod |
| Product of nuisance errors | DE9RN1016N | 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.20772#31SD |
| Product of per-macrostep weights | SWA80B02J3 | 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#WAQZ |
| product of rings | E4RHVD0CBR | unknown | node (a node has the same name as the row) | mathlib_undergrad Ring Theory > Fundamentals > product of rings, Mathlib Pi.ring |
| Product of rings | XG2ZKTDCSR | definition | open | Wikipedia List of commutative algebra topics#WK87 |
| product of six distinct primes | 82AYHK08GX | object | open | Wikidata Q115113269, OEIS A067885 |
| product of two posets | 1RP2CF0RXX | 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.15099#9ODG |
| product of vector spaces | 889YSB2XEX | unknown | node (a node has the same name as the row) | mathlib_undergrad Linear algebra > Fundamentals > product of vector spaces, Mathlib Prod.instModule |
| Product order | 4AZYBZDZRJ | definition | open | Wikipedia List of order theory topics#WR8K |
| Product order | M8WMMKGHBY | definition | open | Wikipedia Product order, Wikidata Q7247786 |
| Product reduction | 1BW6TP7AEN | 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.26058#BQM6 |
| Product regions and gates | P48QWEV232 | 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.09162#K23Y |