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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 5501–5600 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Plücker surface | QH4K77W31J | definition | open | Wikipedia List of complex and algebraic surfaces#NZ6O |
| Plücker's conoid | ADNEZP7H4A | definition | open | Wikipedia List of complex and algebraic surfaces#L0BV |
| Plücker's conoid | CN19A4KXFE | definition | open | Wikidata Q7205923, MathWorld PlueckersConoid, Wikipedia Plücker's conoid |
| Plücker's Number | X1620VHWFY | unknown | open | Wikipedia Plücker formula#T4PG |
| Plünnecke's inequality | Y46HBW4STT | statement | open | Wikipedia Plünnecke–Ruzsa inequality#HO4Q |
| Plünnecke-Petridis inequality | HYASA541DP | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > Plünnecke-Petridis inequality, Mathlib Finset.pluennecke_petridis_inequality_add |
| Plünnecke-Ruzsa inequality | 9EVV6K7YD9 | statement | open | Wikipedia Plünnecke–Ruzsa inequality#R068 |
| Plünnecke–Ruzsa inequality | CD2WWX25FY | statement | open | Wikipedia Additive combinatorics#QMCC |
| Plünnecke–Ruzsa inequality | H4JPW3NFK1 | statement | open | Wikipedia Plünnecke–Ruzsa inequality, Wikidata Q85793713 |
| Plünnecke–Ruzsa inequality | WJ38G8BBGW | statement | open | Wikipedia Freiman's theorem#K6T3 |
| PM | BGTJ3T8SZB | definition | open | Wikipedia Glossary of set theory#VDFN |
| 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 |
| PM0XQ651RH | PM0XQ651RH | 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.22297#V585 |
| 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 |
| PM6EP8HY2B | PM6EP8HY2B | 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.23941#RJOJ |
| 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 |
| PM97PARWKV | PM97PARWKV | 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.21535#3YE5 |
| 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 |
| PMAC | FX3NT25R57 | definition | open | Wikipedia PMAC (cryptography), Wikidata Q7119717 |
| 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 |
| pmatrix | R0XJB56RF5 | definition | open | Wikipedia Glossary of mathematical symbols#6KVE |
| 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 |
| PMCGAV9SA9 | PMCGAV9SA9 | 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.23167#FTK0 |
| 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 |
| PMFNRZTKKD | PMFNRZTKKD | 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.22394#WFEU |
| 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 |
| PMMP3RSE6N | PMMP3RSE6N | 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.19285#WQJY |
| PMMPFPSVE2 | PMMPFPSVE2 | 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.25449#ZE25 |
| PMP8DMD9JM | PMP8DMD9JM | 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.04305#AU86 |
| PMPP27JQFQ | PMPP27JQFQ | 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 2503.12486#HTY4 |
| PMQGB8N3GK | PMQGB8N3GK | 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 2309.16041#DQYR |
| PMQGK24KYZ | PMQGK24KYZ | 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.04466#KAUJ |
| PMQKJXNQZT | PMQKJXNQZT | 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.13114#UXP9 |
| PMR2GMQ99D | PMR2GMQ99D | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-17 |
| PMRWTNFHNE | PMRWTNFHNE | exercise | open | napkin tex/calculus/differentiate.tex#problem-4 |
| PMRX826J9F | PMRX826J9F | 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.33162#7VXA |
| PMS7AFNZGQ | PMS7AFNZGQ | 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.25314#LHRC |
| PMT85M5D53 | PMT85M5D53 | 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 2603.29838#13OI |
| PMTB9XYVV1 | PMTB9XYVV1 | 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.39890#0RRU |
| PMV0W066SA | PMV0W066SA | 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.18277#KHE3 |
| PMV6TA5G8S | PMV6TA5G8S | statement | open | hott_book setmath.tex#cor-2 |
| PMVEMASNGY | PMVEMASNGY | 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.17677#9UN7 |
| PMVGYRVYGD | PMVGYRVYGD | 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.17604#X4LL |