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 2701–2800 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PKAF4YWP6W | PKAF4YWP6W | 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 2402.08625#DCAI |
| PKASDK8GRN | PKASDK8GRN | 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 2403.15255#1OFW |
| PKC46RNDQS | PKC46RNDQS | 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.01656#O2YG |
| PKCN3E2C71 | PKCN3E2C71 | 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.32174#F185 |
| PKCY0G4HKT | PKCY0G4HKT | 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.08039#DNEK |
| PKD4V6HTAM | PKD4V6HTAM | 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#YQKV |
| PKDBS30V50 | PKDBS30V50 | exercise | open | napkin tex/linalg/eigenvalues.tex#ques-7 |
| PKDDTMSB3C | PKDDTMSB3C | 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.01071#HGRM |
| PKDHMBRB5V | PKDHMBRB5V | 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.37897#YKWJ |
| PKDMMMNB9D | PKDMMMNB9D | 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.39539#877D |
| PKE108MYYQ | PKE108MYYQ | 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.10736#GBTX |
| PKEMNGZNZ2 | PKEMNGZNZ2 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-25 |
| PKEX2V41NM | PKEX2V41NM | 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.18632#89NP |
| PKFFGWKP0S | PKFFGWKP0S | 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.36613#9TCJ |
| PKH4CXJVCC | PKH4CXJVCC | 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#4O7H |
| PKH6Q8WVJ7 | PKH6Q8WVJ7 | 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 2510.12502#4H9H |
| PKJ1X679CA | PKJ1X679CA | 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.17135#IQRR |
| PKKDY97ZT4 | PKKDY97ZT4 | exercise | open | levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-4 |
| PKMNKCPQYE | PKMNKCPQYE | 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.14068#D8VD |
| PKMTWHPSRW | PKMTWHPSRW | 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 2301.04933#EY11 |
| PKN1CFHPWV | PKN1CFHPWV | 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#ON34 |
| PKN63A2Y2S | PKN63A2Y2S | statement | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:sentence-sat-true |
| PKN9NR7GTP | PKN9NR7GTP | 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 1709.08958#EJ9Z |
| PKNMMDCGNR | PKNMMDCGNR | 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 1804.05688#RMAB |
| PKNPGYQYR2 | PKNPGYQYR2 | 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.18324#MJL3 |
| PKPBP58Q2B | PKPBP58Q2B | 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.13699#KOIH |
| PKPHB9W3F9 | PKPHB9W3F9 | 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.00512#JMPI |
| PKPNET67JG | PKPNET67JG | 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.00103#X9E9 |
| PKQ43BK1FP | PKQ43BK1FP | 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#9QSB |
| PKQ686559M | PKQ686559M | 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#KZI8 |
| PKQKR4VQB5 | PKQKR4VQB5 | 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/0512416#HEWA |
| PKRCPDA928 | PKRCPDA928 | 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.06152#6UUV |
| PKRFS1B383 | PKRFS1B383 | 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.02379#W9MV |
| PKRNQF7FX4 | PKRNQF7FX4 | 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.16404#5Z2R |
| PKS5GBKQGX | PKS5GBKQGX | 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.24610#JJFH |
| PKSNAC4WVX | PKSNAC4WVX | proof | open | napkin tex/alg-NT/classgrp.tex#proof-1 |
| PKSWEZ791X | PKSWEZ791X | statement | open | open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:initial |
| PKVBZJ7EZJ | PKVBZJ7EZJ | 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 2403.15043#EWHE |
| PKWJTERMQY | PKWJTERMQY | 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 2207.05628#SL95 |
| PKWVZ1MQRV | PKWVZ1MQRV | 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.14681#UGYS |
| PKWY6KQAAX | PKWY6KQAAX | 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.15434#LQVX |
| PKXXWZ92GV | PKXXWZ92GV | 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.14060#8051 |
| PKXYAKN34A | PKXYAKN34A | 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#0REN |
| PKYZZ7KYHP | PKYZZ7KYHP | 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 2606.16311#JNAT |
| PKZ0NJ3YY3 | PKZ0NJ3YY3 | 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.13505#UMZ3 |
| PKZ24ZD80P | PKZ24ZD80P | 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.12810#PYBM |
| PKZ3256CPG | PKZ3256CPG | 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.04870#YCWX |
| PKZGACV379 | PKZGACV379 | exercise | open | napkin tex/H113/structure.tex#exercise-1 |
| PKZQSCTGSK | PKZQSCTGSK | statement | open | open_logic content/sets-functions-relations/functions/inverses.tex#prop:inverse-unique |
| PKZY10JMDE | PKZY10JMDE | 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.16785#I6KK |
| PKZZ7ZPM2G | PKZZ7ZPM2G | 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.20817#VGD4 |
| PL/I | JN3CP0GV6Z | unknown | open | Wikidata Q223433, EoM PL/I |
| Placed principal ideals | N44C5320TQ | 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.15262#6ILS |
| Placement dominates | T1RVC4M5TZ | 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.40290#OYEF |
| Places under a constant-field extension | ZNATAK96RE | 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.32834#SVZ7 |
| plaintext | TT6RAFPW2X | unknown | open | Wikidata Q1162538, MathWorld Plaintext |
| planar | 232KE0GS28 | concept | open | levin_dmoi index/5.1/planar |
| planar | KZGE4ASNAX | concept | open | levin_dmoi index/5.3/planar |
| planar algebra | W92NZNSKM2 | unknown | open | Wikidata Q7200954, nLab planar algebra |
| Planar asymptotics | M7SP7SGPSP | 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.14086#NRZ4 |
| Planar character-law rigidity; external assumption | DVF9TXJ350 | 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.18907#VY8E |
| Planar competitive convergence | WXJN58FK29 | 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.27270#8J3Y |
| Planar degeneracy | 242Z4484YR | 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.24314#UJZ1 |
| Planar dg cooperad | HN99THVBKY | 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 2312.05005#V9A4 |
| Planar dg operad | NVM2YD27B4 | 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 2312.05005#OQCK |
| Planar discrete Gaussian | 5VA6PJMB0E | 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.14085#491V |
| planar embedding | YJD9NMS0JQ | unknown | open | Wikidata Q66232788, MathWorld PlanarEmbedding |
| Planar endofunctor of a sub-groupoid | 1P6XN418H3 | 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 2312.05005#KV93 |
| planar graph | Z99BYAE8VS | definition | node (a node has the same name as the row) | arXiv 2610.10964#ZFHT, Wikidata Q547823, EoM Graph,_planar, MathWorld PlanarGraph, nLab planar graph, ProofWiki Definition:Planar_Graph |
| planar intersection formula | 1XJSEYYBSE | 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#4WVT |
| planar lamina | 9ZSDN781SS | unknown | open | Wikidata Q17097792, MathWorld Lamina |
| Planar Lipschitz stability | JZDTGG18N2 | 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.11814#C7YF |
| Planar polygonal families | XTFAYYDCAE | 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.04136#ONNW |
| Planar product formula | WB4SXW01H0 | 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.28501#Y96Z |
| Planar separator theorem | CJ2EH5WKXN | statement | open | mathlib_1000 Q7200963, Wikidata Q7200963, thousand_plus Q7200963, Wikipedia Planar separator theorem |
| planar straight-line graph | 3G79195JYF | unknown | open | Wikidata Q7200964, MathWorld PlanarStraightLineEmbedding |
| Planar tree | 6RMRFT91M7 | 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 2312.05005#O7UG |
| Planarity Estimate | CSQ9PRBYGX | 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.39330#IXR2 |
| Plancherel theorem | D563H563X0 | statement | open | mathlib_1000 Q2096184, Mathlib SchwartzMap.integral_inner_fourier_fourier, Wikidata Q2096184, mathlib_undergrad Measures and integral calculus > Fourier analysis > Plancherel’s theorem, thousand_plus Q2096184, Wikipedia Plancherel theorem, MathWorld PlancherelsTheorem |
| Plancherel theorem for spherical functions | 61W7H9H0BE | statement | open | mathlib_1000 Q11573495, Wikidata Q11573495, thousand_plus Q11573495, Wikipedia Plancherel theorem for spherical functions |
| Plancherel's theorem | NQ2E4RXERJ | 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.26537#T3RO |
| Planck constant | CPBP8WVRJ6 | definition | open | Wikidata Q122894, nLab Planck's constant, ProofWiki Definition:Planck's_Constant |
| Planck length | 8TAG3HHTSB | unknown | open | Wikidata Q207387, nLab Planck length |
| Planck mass | R91Q2BQWDS | unknown | open | Wikidata Q592634, nLab Planck mass |
| plane | ZBCQPHM9NC | definition | node (a node has the same Wikidata item as the row) | Wikidata Q17285, MathWorld Plane, ProofWiki Definition:Plane |
| Plane branch factors | M02M867N14 | 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.16962#60UE |
| plane curve | 87N6Z1RDW1 | unknown | open | Wikidata Q1060874, MathWorld PlaneCurve |
| plane geometry | F36YZSYV05 | definition | open | Wikidata Q3760348, MathWorld PlaneGeometry, nLab plane geometry, ProofWiki Definition:Plane_Geometry |
| Plane graph with at most one vortex | GFSVCQY3YP | 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.12576#KJBU |
| Plane partition | VHPQFRMMJW | concept | open | Wikidata Q7201015, MathWorld PlanePartition |
| plane wave | HQ60A0905A | unknown | open | Wikidata Q122518, nLab plane wave |
| Plane-curve counterexamples | 1MM56CNBJ9 | 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.21093#RTS3 |
| planet | JVBH9814ZT | definition | open | Wikidata Q634, ProofWiki Definition:Planet |
| Planted Law | HWB7Q238G4 | 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.16705#HH73 |
| Planted model | G3JWSXHXVM | 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.09882#IOE1 |
| Planted nearby point | KGDP8QDHBH | 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.38668#D7NP |
| Plaquette violations | 984J58PXFJ | 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.03677#O7W7 |
| plastic ratio | 5211HT4531 | object | open | Wikidata Q2345603, MathWorld PlasticConstant, OEIS A060006 |
| plasticity theory | AHFKR3RNJB | unknown | open | Wikidata Q1558058, EoM Plasticity,_mathematical_theory_of |
| Plateau for classes of segments | Z48M4FVQA0 | 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.09912#8IEB |