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 2401–2500 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PHB8HSERCW | PHB8HSERCW | 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 2306.08237#ZSA8 |
| PHB9BZAW6J | PHB9BZAW6J | 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#K3S3 |
| PHBC4C608G | PHBC4C608G | 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.25168#S640 |
| PHBMNZSGQW | PHBMNZSGQW | 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.06541#CD5B |
| PHC4B057HW | PHC4B057HW | 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.18016#7CM9 |
| PHCMTHHNYV | PHCMTHHNYV | 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.17116#8B8M |
| PHD25W7GF4 | PHD25W7GF4 | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-22 |
| PHDHVR8B37 | PHDHVR8B37 | 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.07508#GO9B |
| PHE0GW15HZ | PHE0GW15HZ | 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 2404.18704#TJL5 |
| PHEG2JXGT0 | PHEG2JXGT0 | 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.27295#Q1AQ |
| PHF3CFNCF5 | PHF3CFNCF5 | example | open | lebl_ra ch-one-dim-ints-sv.tex#example-5 |
| PHF6092G4S | PHF6092G4S | statement | open | lebl_scv scv.tex#prop:holvectmap |
| PHF6HKVR2N | PHF6HKVR2N | 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.26713#TNL3 |
| PHF7R3QZNG | PHF7R3QZNG | 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.20932#0S12 |
| PHFXZF5JRC | PHFXZF5JRC | 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 2602.03909#ZLTT |
| PHGEYQJNE9 | PHGEYQJNE9 | 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 2512.19872#2WC0 |
| phi meson | 7KQ2DRJN02 | unknown | open | Wikidata Q309954, nLab phi-meson |
| PhiBE coefficient approximation | TQ4Y1ACYCM | 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.32026#5D5M |
| Philip Candelas | FK8JA1HA6Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2086091, nLab Philip Candelas |
| Philip Tanedo | WGG3BPG9C5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q58374499, nLab Philip Tanedo |
| Philip Wadler | Z61YBMZY1J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3379094, nLab Philip Wadler |
| Philippe Flajolet | 9Q1VFV9D6P | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92695, nLab Philippe Flajolet |
| Philippe Malbos | JNSWEZV0E9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93944821, nLab Philippe Malbos |
| Philippe Maurice Tondeur | WKH4FMB0Y8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15444540, nLab Philippe Tondeur |
| Phillip Griffiths | QWXK9SP9PS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1385013, nLab Phillip Griffiths |
| Philo line | 3ZP7R7GQA3 | concept | open | Wikidata Q3039873, MathWorld PhiloLine |
| Philo the Dialectician | KGW1E1A91K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1366567, ProofWiki Mathematician:Philo_of_Megara |
| Philosophical Transactions | TSHB8VVHZJ | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q913162, ProofWiki Book:Journal/Philosophical_Transactions_of_the_Royal_Society |
| Philosophiæ Naturalis Principia Mathematica | 12XKYAQ90F | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q205921, ProofWiki Book:Isaac_Newton/Philosophiae_Naturalis_Principia_Mathematica |
| philosophy | EKB42Y33WK | definition | open | Wikidata Q5891, nLab philosophy, ProofWiki Definition:Philosophy |
| philosophy of mathematics | 4MZMMNG6YF | unknown | open | Wikidata Q180536, nLab philosophy of mathematics |
| philosophy of physics | 38E1PTWYFS | unknown | open | Wikidata Q1165883, nLab philosophy of physics |
| PHJBQ7DP9T | PHJBQ7DP9T | exercise | open | lebl_ra ch-metric.tex#exercise-28 |
| PHJSV1RJH6 | PHJSV1RJH6 | 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 2604.23212#GPMC |
| PHK4WE8ER1 | PHK4WE8ER1 | 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.21501#LGYJ |
| PHK8TTBSS2 | PHK8TTBSS2 | 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.21717#ZQHO |
| PHKXNEK6C0 | PHKXNEK6C0 | proof | open | lebl_ra ch-several-vars-ders.tex#proof-17 |
| PHM34HKMX7 | PHM34HKMX7 | 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.09810#FFW3 |
| PHMNG8B4Z2 | PHMNG8B4Z2 | example | open | lebl_diffyqs ch-eigenvalue-probs.tex#example-3 |
| PHMT3XJVRB | PHMT3XJVRB | 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.12831#UY1P |
| PHNC2MN0WF | PHNC2MN0WF | 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.16203#24HV |
| PHP341EGW4 | PHP341EGW4 | 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.24701#56SW |
| PHP937ZJVQ | PHP937ZJVQ | 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.29925#ZU9R |
| PHPGRQ2DDJ | PHPGRQ2DDJ | 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.24465#NBLX |
| PHPXJ8JRWN | PHPXJ8JRWN | example | open | lebl_ra ch-contfunc.tex#example-19 |
| PHR7YQ063A | PHR7YQ063A | 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.33775#H4IB |
| Phragmén–Lindelöf theorem | 2M66YVNDTH | statement | open | mathlib_1000 Q4378868, Mathlib PhragmenLindelof.horizontal_strip, Wikidata Q4378868, mathlib_overview Analysis > Complex analysis > Phragmen-Lindelöf principle, thousand_plus Q4378868, Wikipedia Phragmén–Lindelöf theorem |
| PHRZJGSMHK | PHRZJGSMHK | 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.16541#CJ2W |
| PHSXPXB7FD | PHSXPXB7FD | 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.27078#J4ZN |
| PHT08SMRRJ | PHT08SMRRJ | 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#MXZL |
| PHT4ZEHPBD | PHT4ZEHPBD | 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 2502.08738#RJSP |
| PHT7ZVAMTF | PHT7ZVAMTF | 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.29262#ZCJI |
| PHVEHBT9EN | PHVEHBT9EN | 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.28552#L3UY |
| PHVSHAW531 | PHVSHAW531 | 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.02017#VPFQ |
| PHVZVZ7H95 | PHVZVZ7H95 | 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.29489#NMAU |
| PHW4RQSVGE | PHW4RQSVGE | 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.34295#6EXY |
| PHWAMYXBQ3 | PHWAMYXBQ3 | 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.29501#PPAD |
| PHWJ5GR0GB | PHWJ5GR0GB | 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.15460#44V0 |
| PHXAASGD6P | PHXAASGD6P | 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.26496#8JB6 |
| PHXE4GYKZJ | PHXE4GYKZJ | 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.28411#4KOS |
| phyllotaxis | B7R8KKZD12 | unknown | open | Wikidata Q839659, MathWorld Phyllotaxis |
| physical constant | H5420HJYKK | definition | open | Wikidata Q173227, ProofWiki Definition:Physical_Constant |
| physical law | ZW59YTXCHH | definition | open | Wikidata Q214070, nLab physical law, ProofWiki Definition:Physical_Law |
| physical object | M9N1P8ZNYW | definition | open | Wikidata Q223557, ProofWiki Definition:Physical_Object |
| Physical packet-order reversal | YDV6T8CPEJ | 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#8GCX |
| physical process | 18H9GGXS8N | definition | open | Wikidata Q17320256, ProofWiki Definition:Physical_Process |
| physical property | MH0B38N2E4 | definition | open | Wikidata Q4373292, ProofWiki Definition:Physical_Property |
| physical quantity | FWW9WYGKYW | definition | open | Wikidata Q107715, ProofWiki Definition:Physical_Quantity |
| Physical reconstruction in local coefficient norm | MWACGTBZ51 | 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.00448#Q1LN |
| Physical structured spaces | AHC1CQ06ST | 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.28220#M25T |
| physical system | HBJ9SM1J9Q | definition | open | Wikidata Q1454986, ProofWiki Definition:Physical_System |
| Physical-cell projection | 86TVK1T0JR | 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.32107#17Z1 |
| physics | A3M86WJMQ8 | topic | open | Wikidata Q413, ProofWiki Definition:Physics |
| PHYVZYTVGW | PHYVZYTVGW | definition | open | napkin tex/alg-geom/sheaves.tex#definition-2 |
| PHYWJ33289 | PHYWJ33289 | 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.20466#F2UP |
| PHZFDGG7G1 | PHZFDGG7G1 | 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.17759#XKSC |
| PHZSQ3HGMW | PHZSQ3HGMW | 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.03628#8KKU |
| PHZTF6TSEV | PHZTF6TSEV | 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.31768#TUXZ |
| pi | 3HGMBPDGD4 | object | node (a node has the same Wikidata item as the row) | Wikidata Q167, EoM Pi(number), Mathlib Real.pi, MathWorld Pi, nLab pi, OEIS A000796, ProofWiki Definition:Pi |
| pi | H5TMQ5XHDN | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q168, ProofWiki Symbols:Greek/Pi |
| Pi is Transcendental | T40SAWXDFR | statement | open | mathlib_100 53 |
| Pi Term Predicate $\Pi_i^{\El}$ | XFK57V2EK8 | 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#WEC9 |
| Pi Type Predicate $\Pi_i(R_I, P_I, \El_I, P_O)$ | 7VRM7T72HQ | 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#B683 |
| pi-system | Q1MZ0E9K93 | definition | open | Wikidata Q3962249, ProofWiki Definition:Pi-System |
| Pi\ neiro moment normalization | 11QKYY03RC | 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.26066#DOQ5 |
| Pi\ neiro Weyl convergence in the positive chamber | D5E8FPDP7B | 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.26066#G3W2 |
| Piatetski--Shapiro set | HGC4CR59XK | 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.00843#12NV |
| Picard group | JH5VV1MJN7 | unknown | open | Wikidata Q2042963, MathWorld PicardGroup, nLab Picard group |
| Picard iterate | 95JWJKKCKP | concept | open | lebl_ra index/9.3.2/picard-iterate |
| Picard method | HRDQJB91FK | unknown | open | mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > Picard method |
| Picard theorem | FBS6VZ29YY | statement | open | mathlib_1000 Q1668861, Wikidata Q1668861, thousand_plus Q1668861, Wikipedia Picard theorem, MathWorld PicardsGreatTheorem |
| Picard's big theorem | 3Q3AD2BSJ3 | concept | open | lebl_scv index/B/picard-s-big-theorem |
| Picard's big theorem | VBC4A41XAQ | statement | open | lebl_scv scv.tex#thm-35 |
| Picard's little theorem | 7GACBJKDQQ | concept | open | lebl_scv index/B/picard-s-little-theorem |
| Picard's little theorem | R6W1QA43PY | statement | open | lebl_scv scv.tex#thm-36 |
| Picard's theorem | JQCGZDZJ4Q | concept | open | lebl_ra index/9.3.2/picard-s-theorem |
| Picard's theorem | SGZRMKV5SV | concept | open | lebl_ra index/4.6.2/picard-s-theorem |
| Picard's theorem | XE9Y4Q0DMJ | concept | open | lebl_diffyqs index/4.2.2/picard-s-theorem |
| Picard's theorem | XPCHPH16D6 | concept | open | lebl_diffyqs index/10.1.5/picard-s-theorem |
| Picard's theorem on existence and uniqueness | GRZSS3WACY | statement | open | lebl_ra ch-seq-funcs.tex#thm:fs:picard |