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 13601–13700 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PYXJ40J2YW | PYXJ40J2YW | 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.31910#KTCE |
| PYXTDXEK3M | PYXTDXEK3M | 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.07240#8Z32 |
| PYYP8T27M4 | PYYP8T27M4 | 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 2401.11433#PTIJ |
| PYZ1713HK8 | PYZ1713HK8 | statement | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-5 |
| PYZBAHWF0Y | PYZBAHWF0Y | 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#TILR |
| PYZRJTH6MD | PYZRJTH6MD | 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.20801#62OQ |
| PYZYX09NDW | PYZYX09NDW | 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.22240#LRWH |
| PZ07818XSW | PZ07818XSW | 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.28403#X4K2 |
| PZ0V0PTZXM | PZ0V0PTZXM | 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.06463#4DTN |
| PZ1ARG972A | PZ1ARG972A | 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.30207#Z30H |
| PZ1STDHRC4 | PZ1STDHRC4 | 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.25120#51I0 |
| PZ45ZRFS7B | PZ45ZRFS7B | 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.08658#0OC1 |
| PZ4CKC5F2G | PZ4CKC5F2G | 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.28075#RKR9 |
| PZ50XZ6PBR | PZ50XZ6PBR | 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.32816#G4IH |
| PZ694T0XAC | PZ694T0XAC | 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.10408#PS8Y |
| PZ6GVVWPT2 | PZ6GVVWPT2 | 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.32903#DBWF |
| PZ6VKWX3FE | PZ6VKWX3FE | 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.05499#QQUR |
| PZ74D7A0M4 | PZ74D7A0M4 | 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.25897#0UN1 |
| PZ7MPKWKH3 | PZ7MPKWKH3 | 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 1011.5443#SFMN |
| PZ7SYQPN3H | PZ7SYQPN3H | 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.05329#521O |
| PZ8HNDYPYB | PZ8HNDYPYB | 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.20758#CBNK |
| PZ9BF2FCTR | PZ9BF2FCTR | 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.14783#ZHSG |
| PZ9D6M267X | PZ9D6M267X | 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.16541#B88T |
| PZ9NJW45F1 | PZ9NJW45F1 | proof | open | hott_book categories.tex#proof-29 |
| PZ9XTKGPY9 | PZ9XTKGPY9 | 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#6LQX |
| PZAFMC0ZQE | PZAFMC0ZQE | 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.24154#NYPC |
| PZCKZGV81S | PZCKZGV81S | 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.03144#H27W |
| PZCMAFX08T | PZCMAFX08T | 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.04498#VQHM |
| PZD3ZEHSYH | PZD3ZEHSYH | 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.36509#CSXC |
| PZD42X44CH | PZD42X44CH | 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.11047#L49F |
| PZDSWTV3HH | PZDSWTV3HH | unknown | open | arXiv 2610.13680#Z11Z |
| PZE2FVFVVD | PZE2FVFVVD | 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.30961#XE9T |
| 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 |
| PZE80AFRP3 | PZE80AFRP3 | 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.22560#5YYD |
| 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 |
| PZN7BN2FKX | PZN7BN2FKX | 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.21052#D8BD |
| 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 |
| PZPRDC9HH3 | PZPRDC9HH3 | problem | open | Wikipedia Unique games conjecture#3CDP |
| 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 |
| 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ál Medgyessy | KBMFQ9RWBV | topic | open | Wikipedia Pál Medgyessy, Wikidata Q16521758 |
| Pál Révész | 8C35VMJEZW | topic | open | Wikipedia Pál Révész, Wikidata Q1253223 |
| Pál Turán | JWAJQHE3T5 | topic | open | Wikipedia List of people by Erdős number#NBCA |
| Pál Turán | MCRCMJN9GY | topic | open | Wikipedia Pál Turán, Wikidata Q19063 |
| Pál Turán | XH3AQC289B | topic | open | Wikipedia List of Jewish mathematicians#C47U |
| Pálfy, Péter Pál | TF0MS4BJTM | topic | open | Wikipedia List of Hungarian mathematicians#TGGR |
| Péclet number | C78GFA0CWM | definition | open | Wikipedia Péclet number, Wikidata Q899769 |
| Pépin's test | VBKR834A98 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1779493, ProofWiki Pépin's_Test, Wikipedia Pépin's test |
| Péter Frankl | NBTA9539PR | topic | open | Wikipedia List of Jewish mathematicians#UK19 |
| Péter Frankl | P0A0026RXY | topic | open | Wikipedia Péter Frankl, Wikidata Q718082 |
| Péter Frankl | R1T0PEGN8R | topic | open | Wikipedia List of people by Erdős number#TOOU, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WQ17 |