Inventory: P
The rows of the inventory whose names start with P. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 2801–2900 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Plateau law | YQGF94FRFJ | 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.06480#1TNG |
| Plateau positivity, uniformly in a small field | XRJ9KNW026 | 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.06480#CW1I |
| Plateau's laws | JJDH3VNEE8 | unknown | open | Wikidata Q1974553, MathWorld PlateausLaws |
| Plateau's problem | ADQA2BPPMB | problem | open | Wikidata Q1972021, MathWorld PlateausProblem |
| Plato | B8TTA5KTB3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q859, nLab Plato, ProofWiki Mathematician:Plato |
| Plato's number | 32Y8EM0W5X | concept | open | Wikidata Q7202408, MathWorld PlatosNumbers |
| Platonic Academy | HS7HABCKB5 | definition | open | Wikidata Q193093, ProofWiki Definition:Plato's_Academy |
| Platonic graph | 74NZ4NHZ7Q | definition | open | Wikidata Q19598654, MathWorld PlatonicGraph, ProofWiki Definition:Platonic_Graph |
| Platonic number | SYQD1D79FF | object | open | Wikidata Q116735720, OEIS A053012 |
| Platonic solid | W66T6Z1FD5 | statement | node (a node has the same name as the row) | mathlib_1000 Q188745, Wikidata Q188745, thousand_plus Q188745, MathWorld PlatonicSolid, nLab Platonic solid, ProofWiki Definition:Platonic_Solid |
| Platonic solid | Z15R4HFF2M | concept | open | levin_dmoi index/5.3.2/platonic-solid |
| player strategy | 9V1HJN8276 | unknown | open | Wikidata Q1546627, MathWorld Strategy |
| Playfair's axiom | SZF1WSX9GR | statement | open | Wikidata Q3915714, MathWorld PlayfairsAxiom, ProofWiki Axiom:Playfair's_Axiom |
| plethysm | 3Y1ZHQX28M | unknown | open | Wikidata Q7204726, nLab plethysm |
| Plimpton 322 | XBEHVE3MM5 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1470425, ProofWiki Book:Tablet/Plimpton_322 |
| PLMC lower bound on a Gaussian target | DCJNX94BTM | 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.06308#UH1E |
| Plot-connectedness and the shape | FVT7JC9W8W | 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.26270#1GPM |
| Plots are homs | NRN5W7B9GD | 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.26270#WEDZ |
| Plots of $\PrPf(\Xcal)$ are smooth and measurable | XBQWBEHNGJ | 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.26270#268D |
| Plug Insertion | Y39D5CFYTT | 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.10558#FEFV |
| Plug-in estimator | DW9QZHTEQZ | 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.21363#WLNF |
| Plug-In Selector Regret | YWEM7GXR30 | 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.03769#YJOX |
| Plug-in stability | JG7DG4MS25 | 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.11007#TLOE |
| plump, ordinal | A3G6DBCDQ9 | concept | open | hott_book index/B.6/plump-ordinal |
| plump, ordinal | WKM13FZM10 | concept | open | hott_book index/C.5/plump-ordinal |
| plump, successor | F744W50HV9 | concept | open | hott_book index/C.5/plump-successor |
| plurisubharmonic function | 5CZ2DT5NR5 | topic | open | Wikidata Q7205565, EoM Plurisubharmonic_function, MathWorld PlurisubharmonicFunction |
| plus construction | 1QYPCJNX02 | unknown | open | Wikidata Q7205616, nLab plus construction |
| plus sign | 31D2BDJ3ZK | unknown | open | Wikidata Q6265342, MathWorld PlusSign |
| Plus-one valuation | RH2JQF0ET7 | 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.37754#DDO0 |
| Plus-state bound | DFJWRR1MCZ | 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.37479#5O88 |
| Pluto | DJP36MJHCP | definition | open | Wikidata Q339, ProofWiki Definition:Pluto |
| Plücker embedding | Q9C945NQDY | unknown | open | Wikidata Q2996684, MathWorld PlueckerEmbedding, nLab Plücker embedding |
| Plücker's conoid | CN19A4KXFE | unknown | open | Wikidata Q7205923, MathWorld PlueckersConoid |
| Plünnecke-Petridis inequality | HYASA541DP | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > Plünnecke-Petridis inequality, Mathlib Finset.pluennecke_petridis_inequality_add |
| PM0A78A5MX | PM0A78A5MX | example | open | napkin tex/H113/ring-intro.tex#example-6 |
| PM0SQDDSME | PM0SQDDSME | 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.07695#FOYF |
| PM125RQ6QN | PM125RQ6QN | 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.40191#T8L5 |
| PM133W44VN | PM133W44VN | 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 1907.01440#R0PQ |
| PM1DV184X9 | PM1DV184X9 | 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.07445#GZ2E |
| PM1EMZGSAS | PM1EMZGSAS | 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.37520#HC33 |
| PM2D4AAMR3 | PM2D4AAMR3 | definition | open | napkin tex/linalg/eigenvalues.tex#definition-6 |
| PM2Q3MAAVN | PM2Q3MAAVN | 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 2310.06695#JRP4 |
| PM2X2ZB3AE | PM2X2ZB3AE | 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.16989#Z7WA |
| PM2YD0C4H4 | PM2YD0C4H4 | 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.09201#FYYI |
| PM2YFNHT53 | PM2YFNHT53 | 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.00247#9IMM |
| PM3G9D550V | PM3G9D550V | 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.11974#0KWP |
| PM3NX12J82 | PM3NX12J82 | 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.14847#KP1A |
| PM47Z84E83 | PM47Z84E83 | 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.27931#LB6N |
| PM4D6T9WJH | PM4D6T9WJH | unknown | open | |
| PM4N56NVJ7 | PM4N56NVJ7 | 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.11210#HKCC |
| PM4Q404GAC | PM4Q404GAC | unknown | open | arXiv 2205.15365#9XMH |
| PM4XJDE46W | PM4XJDE46W | 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.18346#6DCG |
| PM4XN918V5 | PM4XN918V5 | 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 2203.15223#AYXZ |
| PM50E4789D | PM50E4789D | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:ext-terms |
| PM56KY7MK1 | PM56KY7MK1 | 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.20131#0EIE |
| PM5KTDK51J | PM5KTDK51J | 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.22288#CCVP |
| PM60TX0JDN | PM60TX0JDN | 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.11145#GAO2 |
| PM6514H2X8 | PM6514H2X8 | 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 2606.20229#R0Q3 |
| PM67RVYPJ8 | PM67RVYPJ8 | 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.20131#TMHD |
| PM6M4HZ62X | PM6M4HZ62X | example | open | lebl_ra ch-several-vars-ders.tex#example-8 |
| PM6QPMRZGA | PM6QPMRZGA | 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.01208#YQS5 |
| PM73BZ3HD8 | PM73BZ3HD8 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-10 |
| PM7TCX8NW4 | PM7TCX8NW4 | 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.16779#3G9S |
| PM87NK4FDS | PM87NK4FDS | 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 1004.4564#CH8I |
| PM8G4KYRVR | PM8G4KYRVR | 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.11905#CQEJ |
| PM8Q130GWA | PM8Q130GWA | 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 2607.25960#ZOCJ |
| PM9662P028 | PM9662P028 | 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.30302#TFDF |
| PMA1SGSABM | PMA1SGSABM | 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.26745#0AUS |
| PMA38TSP77 | PMA38TSP77 | 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 2610.03208#R7XN |
| PMAJF3KS5E | PMAJF3KS5E | 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.25307#Z1C5 |
| PMAKANH1CK | PMAKANH1CK | 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 2203.07710#MAC0 |
| PMAM8VQ42N | PMAM8VQ42N | 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.02495#QATS |
| PMATWYGRBB | PMATWYGRBB | 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.24716#0RP8 |
| PMAYPWC0DJ | PMAYPWC0DJ | 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 2308.05715#IBF0 |
| PMB49P64BQ | PMB49P64BQ | 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.07644#QVCW |
| PMBHYJFQFP | PMBHYJFQFP | proof | open | open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#proof-2 |
| PMCKC5917P | PMCKC5917P | 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.12633#PFRJ |
| PMD31WZB1R | PMD31WZB1R | 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 2507.17002#FFF2 |
| PMD3CKDMSP | PMD3CKDMSP | 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 2507.03563#CTOZ |
| PMDAFE4WRT | PMDAFE4WRT | 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.06461#3SKH |
| PMDB6MAGP9 | PMDB6MAGP9 | 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 2504.00267#VT2S |
| PME strategies | 64122FTTVK | 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 2103.02468#R0AG |
| PMETMY1C68 | PMETMY1C68 | 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.24323#8V2Z |
| PMEY0JN9Z0 | PMEY0JN9Z0 | 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 2508.21045#S8H3 |
| PMF04GH86J | PMF04GH86J | 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.32710#4U1N |
| PMFDJCGJJB | PMFDJCGJJB | example | open | napkin tex/alg-NT/finite-field.tex#example-4 |
| PMFNGB89H4 | PMFNGB89H4 | 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.02570#47ZI |
| PMG407NEEY | PMG407NEEY | 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.20916#CT7D |
| PMGDM85BCK | PMGDM85BCK | 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.26019#AO28 |
| pmGH precompactness for tamed metric measure spaces | DDXFV5SYBC | 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.11478#5FTN |
| PMGPYBH90M | PMGPYBH90M | 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.06899#OUSD |
| PMHAK575CV | PMHAK575CV | 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.29847#J80R |
| PMHAXPE09K | PMHAXPE09K | proof | open | applied_combinatorics source/s_background_total-order-N.ptx#proof-3 |
| PMHGQKCKGY | PMHGQKCKGY | 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.18673#HDB2 |
| PMJSTVCNBE | PMJSTVCNBE | 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#UKFU |
| PMJW7D9528 | PMJW7D9528 | 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.13347#P5WI |
| PMK1C0YKYJ | PMK1C0YKYJ | definition | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#def:function |
| PMMCBYX1QB | PMMCBYX1QB | 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.24845#CF1W |
| PMMKRDY9E3 | PMMKRDY9E3 | 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.08357#2X30 |