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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 5601–5631 of 5631.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PZSFZSHT6H | PZSFZSHT6H | 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.30086#2D5I |
| PZSTWVYRF0 | PZSTWVYRF0 | 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.38838#ZFVW |
| PZT77KCS9M | PZT77KCS9M | exercise | open | lebl_ra ch-approximate.tex#exercise-24 |
| PZTBM1RGSP | PZTBM1RGSP | 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.33018#GH7M |
| PZTCS0JTHY | PZTCS0JTHY | 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.05850#9VDZ |
| PZTHMWMJVQ | PZTHMWMJVQ | 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.15525#HJDC |
| PZTPTRXER2 | PZTPTRXER2 | 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.22784#CSGS |
| PZTTRF2NH9 | PZTTRF2NH9 | 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.10248#FQDY |
| PZTWGGSAQ6 | PZTWGGSAQ6 | 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.14434#KGVK |
| PZVV8G6WV3 | PZVV8G6WV3 | 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#2ID5 |
| PZWC10ACXJ | PZWC10ACXJ | 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#BVYT |
| PZWEMG7QGE | PZWEMG7QGE | 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.32599#LP3I |
| PZWKE4YGYY | PZWKE4YGYY | 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 2005.03073#QY44 |
| PZWNY3Z24X | PZWNY3Z24X | 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.05327#49R1 |
| PZWQJ9VGBS | PZWQJ9VGBS | 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.10925#LPUS |
| PZWXPGY7MM | PZWXPGY7MM | statement | open | lebl_ra ch-riemann.tex#prop-7 |
| PZX4YW9SBV | PZX4YW9SBV | exercise | open | hott_book induction.tex#ex:ind-nat-not-equiv |
| PZXMY1CJKP | PZXMY1CJKP | 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 2506.21337#SSEJ |
| PZXVJFGZSQ | PZXVJFGZSQ | 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 2103.12669#2HH2 |
| PZYJV3QCHD | PZYJV3QCHD | 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.17825#I88Y |
| PZYPMPSDQK | PZYPMPSDQK | 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 2504.01057#UOXJ |
| PZYWC2JBZJ | PZYWC2JBZJ | 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.04874#BH5E |
| PZYYWVD0CK | PZYYWVD0CK | 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.12479#KQTA |
| PZZ9TVJTPG | PZZ9TVJTPG | 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.09422#LJ5Z |
| Pépin's test | VBKR834A98 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1779493, ProofWiki Pépin's_Test |
| Pólya conjecture | J8E0Z002R5 | conjecture | open | Wikidata Q1441904, MathWorld PolyaConjecture |
| Pólya enumeration theorem | QAB530HYXA | statement | open | mathlib_1000 Q1037559, Wikidata Q1037559, thousand_plus Q1037559, Wikipedia Pólya enumeration theorem, MathWorld PolyaEnumerationTheorem, nLab Pólya enumeration theorem |
| Pólya's Enumeration Theorem | DAADDMQETV | statement | open | applied_combinatorics source/s_polya_polya.ptx#thm_polya_polya |
| Pólya's theorem | 6G7ZXVPYXV | 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.34845#FXW1 |
| Pólya's theorem for continuous tensors | X3H7XA0KY3 | 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.34845#HUCV |
| Pósa theorem | 265WXE48T2 | statement | open | Wikidata Q1243386, MathWorld PosasTheorem |