| pencil of circles | CW6GDPYGS0 | unknown | open | Wikidata Q2689032, MathWorld CoaxalSystem |
| pencil of lines | JMZ49Q30VY | unknown | open | Wikidata Q3064604, MathWorld Pencil |
| Pencil singularity | A8R3J6YXJ6 | 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.12497#NRSL |
| Pendant stars | SYZSGD8CZE | 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 2211.04758#LMA9 |
| Pendulum with Nonlinear Damping | 9Q1B55HMNS | 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.17604#WSIH |
| PENG5WJRYA | PENG5WJRYA | 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.39531#B4OU |
| Penrose Polynomial | VVC323KAMJ | unknown | open | Wikidata Q51159632, MathWorld PenrosePolynomial |
| Penrose stairs | VHMBV1PJQY | concept | open | Wikidata Q58914, MathWorld PenroseStairway |
| Penrose tiling | 85CK4X5Q4J | concept | open | Wikidata Q585688, MathWorld PenroseTiles |
| Penrose transform | DKZZF0PVRY | concept | open | Wikidata Q7164655, EoM Penrose_transform |
| Penrose triangle | 98G8QBBP2K | concept | open | Wikidata Q12141, MathWorld PenroseTriangle, MathWorld Tribar |
| Penrose–Hawking singularity theorems | Z5WXPEG15Z | statement | open | mathlib_1000 Q1452678, Wikidata Q1452678, thousand_plus Q1452678, Wikipedia Penrose–Hawking singularity theorems |
| pentacontagon | N9M0B0KRRX | unknown | open | Wikidata Q1898067, MathWorld Pentacontagon |
| pentad | 80EDDH95RM | unknown | open | Wikidata Q29428403, MathWorld Pentad |
| pentadecagon | 3M1ZRP1R5T | unknown | open | Wikidata Q845250, MathWorld Pentadecagon |
| pentadecagonal number | FQHS2WV5JE | object | open | Wikidata Q18454915, OEIS A051867 |
| pentagon | YK71A2YM0T | unknown | open | Wikidata Q127840, MathWorld Pentagon |
| Pentagon group relations | VRBBKPAWBD | 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.27799#0IFX |
| Pentagon scale relation | 7WX3JJMZPC | 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.27799#BXH2 |
| pentagon tiling | 45K1V6SQQN | unknown | open | Wikidata Q3372904, MathWorld PentagonTiling |
| pentagon, Mac Lane | DCFP9QVBHR | concept | open | hott_book index/1/pentagon-mac-lane |
| pentagon, Mac Lane | MXVHQRKRRV | concept | open | hott_book index/2.2/pentagon-mac-lane |
| pentagonal antiprism | 7ETAGE44PX | unknown | open | Wikidata Q1142819, MathWorld PentagonalAntiprism |
| pentagonal bipyramid | 84FAJPFCMP | object | open | Wikidata Q193597, MathWorld PentagonalDipyramid |
| pentagonal cupola | F911MPMSP8 | object | open | Wikidata Q76054, MathWorld PentagonalCupola |
| pentagonal gyrobicupola | 9F0B8M4NJE | object | open | Wikidata Q780507, MathWorld PentagonalGyrobicupola |
| pentagonal gyrocupolarotunda | WQ0ZK4XT3B | object | open | Wikidata Q511766, MathWorld PentagonalGyrocupolarotunda |
| pentagonal hexecontahedral graph | 505Z65KR3Q | unknown | open | Wikidata Q3115567, House of Graphs 1257, MathWorld PentagonalHexecontahedralGraph |
| pentagonal hexecontahedron | 4Q0MM19J8F | object | open | Wikidata Q1512293, MathWorld PentagonalHexecontahedron |
| pentagonal icositetrahedral graph | M2Z1SC00NB | unknown | open | Wikidata Q3115579, House of Graphs 1259, MathWorld PentagonalIcositetrahedralGraph |
| pentagonal icositetrahedron | Y3VMW084TK | object | open | Wikidata Q1579848, MathWorld PentagonalIcositetrahedron |
| pentagonal number | N8731SG30X | unknown | open | Wikidata Q674928, MathWorld PentagonalNumber, OEIS A000326 |
| pentagonal number theorem | EQZRV30AWS | statement | open | mathlib_1000 Q282649, Mathlib PowerSeries.WithPiTopology.hasProd_one_sub_X_pow, Mathlib hasProd_eulerFunction, Wikidata Q282649, thousand_plus Q282649, Wikipedia Pentagonal number theorem, MathWorld PentagonalNumberTheorem |
| pentagonal orthobicupola | T0HZ9RB6PP | object | open | Wikidata Q2164163, MathWorld PentagonalOrthobicupola |
| pentagonal orthobirotunda | 7F43BJ93ZW | object | open | Wikidata Q528787, MathWorld PentagonalOrthobirotunda |
| pentagonal orthocupolarotunda | WWMZTQYYRB | object | open | Wikidata Q949943, MathWorld PentagonalOrthocupolarotunda |
| pentagonal prism | WY7SXQBMY9 | object | open | Wikidata Q1067731, MathWorld PentagonalPrism |
| pentagonal pyramidal molecular geometry | ZTJSPWT0PY | unknown | open | Wikidata Q2718163, MathWorld PentagonalPyramid |
| pentagonal pyramidal number | YYZWNT3NPX | object | open | Wikidata Q2708903, OEIS A002411 |
| pentagonal rotunda | N7RPZMZSA8 | object | open | Wikidata Q76058, MathWorld PentagonalRotunda |
| pentagonal trapezohedron | E8AWA23DZ4 | object | open | Wikidata Q3116079, MathWorld PentagonalTrapezohedron |
| pentagonal triangular number | HWK74E4ZNB | unknown | open | Wikidata Q20383004, MathWorld PentagonalTriangularNumber |
| pentagram | 1HC815QYYW | unknown | open | Wikidata Q182186, MathWorld Pentagram |
| pentagrammic antiprism | 51KDWS2YWM | unknown | open | Wikidata Q2717576, MathWorld PentagrammicAntiprism |
| Pentagrammic crossed-antiprism | 6Z4KNYF3RZ | unknown | open | Wikidata Q799001, MathWorld PentagrammicCrossedAntiprism |
| pentagrammic prism | FB2FGVPDVQ | object | open | Wikidata Q399043, MathWorld PentagrammicPrism |
| pentahedron | TKV3EJHMJM | unknown | open | Wikidata Q282099, MathWorld Pentahedron |
| pentakis dodecahedral graph | W80BK4ZVTT | unknown | open | Wikidata Q3115599, House of Graphs 1261, MathWorld PentakisDodecahedralGraph |
| pentakis dodecahedron | BW6WHR66W0 | object | open | Wikidata Q277550, MathWorld PentakisDodecahedron |
| pentaquark | 63JVANHXK1 | unknown | open | Wikidata Q277816, nLab pentaquark |
| pentatope number | 7QDC1F8YWX | unknown | open | Wikidata Q1403502, MathWorld PentatopeNumber, OEIS A000332 |
| pentomino | 1SXEWH6J4C | unknown | open | Wikidata Q247406, MathWorld Pentomino |
| PENW30VGWR | PENW30VGWR | 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.39293#UJ1C |
| People's Republic of China | 8908D5DNDQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q148, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/China |
| PEP9JZ63MK | PEP9JZ63MK | example | open | open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#ex-2 |
| PEPCTRQ7VJ | PEPCTRQ7VJ | 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.08091#9I9C |
| PEPFP25ZGG | PEPFP25ZGG | 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.21036#SOHH |
| PEPRCQ424Z | PEPRCQ424Z | 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/0406514#JUSD |
| PEPX6EFR8V | PEPX6EFR8V | 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.26479#K7XW |
| PEQ56RFKX1 | PEQ56RFKX1 | 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.14236#XU5T |
| PER $\Ne$ --- Neutral Terms | YRJ6MSCPP3 | 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.21131#19YI |
| PER $\Nf$ --- Normal Forms | BGZDCATS9C | 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.21131#62DE |
| PER $\textsf{Nat}$ | 7Z1JMNJ25G | 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.21131#7ZCR |
| PER $\textsf{Neu}$ | 3ZT8AFNXHG | 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.21131#EOMG |
| PER $\textsf{Ty}$ --- Types | PZDAZQCPBP | 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.21131#08WT |
| per capita growth rate | THK8D5J4SG | concept | open | active_calculus index/7.6.2/per-capita-growth-rate |
| Per Lindström | M0ZFRTT2QR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2070025, nLab Per Lindström |
| Per Martin-Löf | 8MKBS213M7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2067227, nLab Per Martin-Löf |
| PER membership yields gluing-model membership | PRQ099W773 | 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#QMZX |
| per mille | YHWNH48KJN | unknown | open | Wikidata Q181011, MathWorld Permil |
| Per-block contraction | 8A27ZKX9VE | 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#4DQ5 |
| Per-epoch noise | A7SJ5AK72T | 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#YHK5 |
| Per-instance sharpness against the minimax floor | 75EZJNJNAA | 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#TQFS |
| Per-key constrained embedding channel | 2QCMX6C2C6 | 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.05712#H6XB |
| Per-level bound; \appproof{pf:levelbound | GDZZGQ98TD | 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.39233#QYTE |
| Per-mode variance comparison | F9CH008YSF | 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.14498#PNGV |
| Per-site influence estimate | BZPKS8A3GR | 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.36016#R4X4 |
| Per-step error and cost | 3Z03ME5BK5 | 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.03633#AJZB |
| Per-token denoising loss is average conditional KL | JGKANV29AK | 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.12544#P325 |
| percent | ZHTTFE3AY8 | definition | open | Wikidata Q11229, MathWorld Percent, ProofWiki Definition:Percentage |
| percentage error | SNK2HPW0ZY | unknown | open | Wikidata Q55087442, MathWorld PercentageError |
| percentage point | T0J83GMCR2 | unknown | open | Wikidata Q1049848, MathWorld PercentagePoint |
| percentile | DFX2Z4F13J | unknown | open | Wikidata Q2913954, MathWorld Percentile |
| percolation | G4SZQW0P08 | unknown | open | Wikidata Q117862751, MathWorld Percolation |
| Percolation of the renormalized model | GYC6K1SPEP | 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.18312#LK8D |
| percolation theory | 1F8QNYZKDK | topic | open | Wikidata Q900918, MathWorld PercolationTheory |
| percolation threshold | 1EP3JDKEDZ | concept | open | Wikidata Q7167170, MathWorld PercolationThreshold |
| Percy Williams Bridgman | CQ8NG75VPJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q172118, ProofWiki Mathematician:Percy_Williams_Bridgman |
| Perfect $n$-qudit CSS codes | FCQ4HA0QKR | 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.04834#O7W7 |
| perfect closure | JKNDW12TQ9 | unknown | open | mathlib_overview General algebra > Field theory > perfect closure, Mathlib PerfectClosure |
| perfect code | WXVHMSRDBC | unknown | open | Wikidata Q130691139, MathWorld PerfectCode |
| Perfect completeness | 31MD8Q6R7A | 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.26258#KYIM |
| Perfect construction | 4WSZ84B1SC | 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.39233#SX7W |
| perfect cuboid | WXEX0JD6C7 | unknown | open | Wikidata Q10947912, MathWorld PerfectCuboid |
| Perfect difference sets | Q0G78Q2FBS | 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.31335#IAVE |
| perfect digital invariant | 4VSXN3P9H6 | object | open | Wikidata Q85792806, OEIS A023052 |
| perfect field | AWSNVR97NN | definition | open | Wikidata Q2997817, EoM Perfect_field, MathWorld PerfectField, nLab perfect field, ProofWiki Definition:Perfect_Field |
| perfect fluid | Y6DWR77BYS | definition | open | Wikidata Q613845, ProofWiki Definition:Fluid/Ideal |
| Perfect fluid two-point conjecture | DA3T4CYSFM | conjecture | 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.31294#PDCA |
| perfect graph | CF99T40ZMX | definition | open | Wikidata Q1187620, MathWorld PerfectGraph, ProofWiki Definition:Perfect_Graph |