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 5301–5400 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PY35ADA1VX | PY35ADA1VX | 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.14217#QXJG |
| PY48XT5RZF | PY48XT5RZF | 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.27518#378L |
| PY4T1PNV0N | PY4T1PNV0N | 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.07485#YR5P |
| PY6GW38714 | PY6GW38714 | 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 2509.09379#VFD9 |
| PY6RVA4GR7 | PY6RVA4GR7 | 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.00789#QL6A |
| PY76KQSPQB | PY76KQSPQB | 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 1804.05688#CRNQ |
| PY78GKQP14 | PY78GKQP14 | 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.02751#LIVT |
| PY7FT2YT9R | PY7FT2YT9R | 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.25823#JT1O |
| PY7HG0B62N | PY7HG0B62N | 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.13802#OZGR |
| PY7KBKYT1J | PY7KBKYT1J | 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.26340#18FD |
| PY7YF2V7EF | PY7YF2V7EF | 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.21358#OYXG |
| PY7ZXT26FB | PY7ZXT26FB | 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.16563#SPE5 |
| PY8BCJPDWX | PY8BCJPDWX | 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.09390#7844 |
| PY8R5E3PB3 | PY8R5E3PB3 | 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.16362#GZHU |
| PY9D7ZC7YD | PY9D7ZC7YD | 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.18673#9M0E |
| PYA9G3F9FF | PYA9G3F9FF | example | open | austin_ula src/section4-2.xml#example-5 |
| PYADTNG99E | PYADTNG99E | 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.33263#MZH4 |
| PYB2K0NW2B | PYB2K0NW2B | 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.36113#KFIU |
| PYB31ESBHB | PYB31ESBHB | 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.19468#2WNS |
| PYB8AGBH1A | PYB8AGBH1A | 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#QUPP |
| PYBA68YAZV | PYBA68YAZV | 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.28495#Y9RK |
| PYD2RB7PB3 | PYD2RB7PB3 | 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.06719#23C5 |
| PYDDVJYYBM | PYDDVJYYBM | example | open | napkin tex/alg-geom/spec-zariski.tex#example-9 |
| PYDVN1EJRN | PYDVN1EJRN | 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.18335#BTZP |
| PYE201CDYM | PYE201CDYM | 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.34946#4TRE |
| PYEAT1EYZ0 | PYEAT1EYZ0 | 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.19076#UZVT |
| PYENGMDRD3 | PYENGMDRD3 | 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 2406.19866#69IF |
| PYF9NRH2EA | PYF9NRH2EA | 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.09729#C6MR |
| PYG3Q0T1K5 | PYG3Q0T1K5 | 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.37520#094E |
| PYGWAWH5W7 | PYGWAWH5W7 | 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 2310.02073#DFMG |
| PYH9QQN2T1 | PYH9QQN2T1 | 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.26382#L6QO |
| PYJ7BWEK16 | PYJ7BWEK16 | 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.16492#SA60 |
| PYJ9HCPWYJ | PYJ9HCPWYJ | 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.24701#XJ37 |
| PYM9XC11HP | PYM9XC11HP | 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.13556#8QRK |
| 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 |
| 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 |
| 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 |
| 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 |