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 5501–5600 of 5631.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PYMWV7W81F | PYMWV7W81F | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-120 |
| PYN0WTS86G | PYN0WTS86G | 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 2605.24355#2UCG |
| PYP2WJ6QWZ | PYP2WJ6QWZ | 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.30648#M7UX |
| PYP7F05XMK | PYP7F05XMK | statement | open | lebl_scv scv.tex#prop-20 |
| PYPYAATXB4 | PYPYAATXB4 | 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.25656#NFRB |
| PYQDH0JVKF | PYQDH0JVKF | 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.10505#VHKI |
| PYQKMZN6QB | PYQKMZN6QB | example | open | open_logic content/sets-functions-relations/relations/relations-as-sets.tex#relations |
| PYQXFGKN2V | PYQXFGKN2V | 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 1905.00573#U5EU |
| PYR3XF855R | PYR3XF855R | 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.23884#8EXC |
| pyramid | 9GQ3ZS8VCH | unknown | open | Wikidata Q3358290, EoM Pyramid, MathWorld Pyramid |
| pyramidal number | MRY77B6E08 | unknown | open | Wikidata Q732374, MathWorld PyramidalNumber |
| pyritohedron | WVWV8523NH | unknown | open | Wikidata Q4348639, MathWorld Pyritohedron |
| PYRSGSSEHD | PYRSGSSEHD | 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.03081#UZ2Y |
| PYRTF3HP3A | PYRTF3HP3A | 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 2105.13129#GXNN |
| PYRTPVTA7N | PYRTPVTA7N | 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.09206#EPVJ |
| PYS1T9G2Y3 | PYS1T9G2Y3 | 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.21388#FMHZ |
| PYSBC6BKBT | PYSBC6BKBT | 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.29877#Y8HK |
| PYSM636EH2 | PYSM636EH2 | 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.36021#HW5V |
| PYSZ11NZ78 | PYSZ11NZ78 | 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.05118#F70J |
| Pythagoras | WZXK4MDNDN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q10261, ProofWiki Mathematician:Pythagoras_of_Samos |
| Pythagoras on $\G_N$ | SQ9PP1R3VN | 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.17678#7V51 |
| Pythagoras tree | 7S9R3EWW14 | unknown | open | Wikidata Q1324910, MathWorld PythagorasTree |
| Pythagorean field | 1SB2PEE1GM | statement | open | mathlib_1000 Q2120067, Wikidata Q2120067, thousand_plus Q2120067, Wikipedia Diller–Dress theorem, MathWorld PythagoreanField |
| Pythagorean identity | J6T9QDPZN4 | 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.21872#ANQ2 |
| Pythagorean identity | Y4GPDFXX6V | 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.14616#ML2L |
| Pythagorean identity for conditional projections | YSETC0HQG1 | 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.21103#2GHV |
| Pythagorean mean | W865Z6034Y | unknown | open | Wikidata Q3281360, MathWorld PythagoreanMeans |
| Pythagorean prime | CBEC3NQCC7 | object | open | Wikidata Q2654085, OEIS A002144 |
| Pythagorean quadruple | Z5R3KZJGHA | unknown | open | Wikidata Q7263849, MathWorld PythagoreanQuadruple |
| Pythagorean theorem | D8GAW62H6K | statement | node (a node has the same Wikidata item as the row) | mathlib_100 4, Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_iff_angle_eq_pi_div_two, mathlib_1000 Q11518, Wikidata Q11518, thousand_plus Q11518, Wikipedia Pythagorean theorem, EoM Pythagoras_theorem, EoM Pythagorean_theorem, MathWorld PythagoreanTheorem, nLab Pythagorean theorem, ProofWiki Pythagoras's_Theorem, ProofWiki Pythagorean_Theorem, Wikidata Q54640564 |
| Pythagorean triple | H4GESV23R4 | concept | node (a node has the same name as the row) | Wikidata Q208225, MathWorld PythagoreanTriple, nLab Pythagorean triple, ProofWiki Definition:Pythagorean_Triple |
| Pythagoreanism | BAA2GQWWMM | definition | open | Wikidata Q191359, ProofWiki Definition:Pythagoreans |
| PYTXTKMMGX | PYTXTKMMGX | 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.13798#1BZB |
| PYV5MH2Y1V | PYV5MH2Y1V | 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.33590#HM7X |
| PYVAHTAS42 | PYVAHTAS42 | 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.10474#Z897 |
| PYVVV3SETK | PYVVV3SETK | 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.34852#JN6I |
| PYXEWT8HXX | PYXEWT8HXX | 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.19590#GMJX |
| 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 |
| 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 |