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 5401–5460 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PZE5187G51 | PZE5187G51 | 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.04870#QRF2 |
| PZEVHC36F4 | PZEVHC36F4 | 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 2610.01087#XD17 |
| PZF7AGDWP8 | PZF7AGDWP8 | 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.07280#LYSP |
| PZFGWANNTE | PZFGWANNTE | 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.20801#3DJ3 |
| PZGNSRPEZS | PZGNSRPEZS | 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 2311.00585#85FJ |
| PZGQBJJSB0 | PZGQBJJSB0 | 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.26269#PJ0Z |
| PZGRK9RPF6 | PZGRK9RPF6 | 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.37252#GUZY |
| PZGSQH1XNG | PZGSQH1XNG | 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.04709#1DT4 |
| PZH7SYCS9P | PZH7SYCS9P | 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 2304.07398#E9A5 |
| PZJ5RTQ3QY | PZJ5RTQ3QY | 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#QAQB |
| PZJD69VKY6 | PZJD69VKY6 | 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.31883#LVRG |
| PZJK67CQT5 | PZJK67CQT5 | 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.13850#NOZ6 |
| PZM8J4SCD1 | PZM8J4SCD1 | 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.24307#HV04 |
| PZM8JJJ7KS | PZM8JJJ7KS | 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.17669#HQFL |
| PZMHJFRD6W | PZMHJFRD6W | 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#8DU2 |
| PZMSYTVYH3 | PZMSYTVYH3 | 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.25495#JTOM |
| PZN86PRNJM | PZN86PRNJM | 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.18512#ZX0Q |
| PZNJGAXVCY | PZNJGAXVCY | 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.37562#630M |
| PZP2J8D8A2 | PZP2J8D8A2 | 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.10230#WYM8 |
| PZP3MKHHJF | PZP3MKHHJF | 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.26017#RF3O |
| PZP8RBWXYG | PZP8RBWXYG | 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.05299#H2D0 |
| PZPRC773QG | PZPRC773QG | 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#OXI6 |
| PZPSBDHXYE | PZPSBDHXYE | 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.27524#F5GK |
| PZPX40GJHC | PZPX40GJHC | 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 2301.04933#113P |
| PZPZVY1REX | PZPZVY1REX | 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.21781#6MV5 |
| PZQT57J746 | PZQT57J746 | 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.25718#WE7Q |
| PZRAW8H4M8 | PZRAW8H4M8 | statement | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:equiv relation from preimages |
| PZRM8ESY1Y | PZRM8ESY1Y | 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.37606#LGL2 |
| PZRWTCV2CN | PZRWTCV2CN | 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.02017#KQ86 |
| PZS9DGY7WH | PZS9DGY7WH | 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.39745#LRGL |
| 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 |
| 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 |