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 4801–4900 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PSGD9F2RN4 | PSGD9F2RN4 | 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 2508.07340#NN7N |
| PSGK7DM6KN | PSGK7DM6KN | 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.15344#3ROT |
| PSH5RM32SJ | PSH5RM32SJ | 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.06556#EL7M |
| PSJH1M4JYQ | PSJH1M4JYQ | statement | open | ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrt(pq) |
| PSJJBGTAJS | PSJJBGTAJS | 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.12484#FGI0 |
| PSK0S2X8MJ | PSK0S2X8MJ | 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.33932#VYCZ |
| PSKTWY4JG7 | PSKTWY4JG7 | 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.26745#RASK |
| PSKVMMSC3P | PSKVMMSC3P | 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 1803.10042#7JK6 |
| PSKZATNR5S | PSKZATNR5S | 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.37026#TFCM |
| PSMA9K66VS | PSMA9K66VS | 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.16386#UG3U |
| PSMGT3QGNZ | PSMGT3QGNZ | 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.01802#BDBG |
| PSMMVERM4B | PSMMVERM4B | 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.39700#MI3X |
| PSNQMP958J | PSNQMP958J | exercise | open | lebl_ra ch-riemann.tex#exercise-46 |
| PSNT6SRS9M | PSNT6SRS9M | 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.33771#UPY2 |
| PSNY1XDQ1Z | PSNY1XDQ1Z | 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.04099#4UU7 |
| PSP2YE9327 | PSP2YE9327 | 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.38742#B2ID |
| PSP4CFSQZS | PSP4CFSQZS | 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.28323#B6U4 |
| PSP9WTVCRX | PSP9WTVCRX | 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.38436#0PTM |
| PSPAQ8KENC | PSPAQ8KENC | 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.04466#PU2C |
| PSPB0FQEZQ | PSPB0FQEZQ | 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.16339#ZCZH |
| PSPREGREXF | PSPREGREXF | 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.01247#F1DB |
| PSPVXMVWGF | PSPVXMVWGF | 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.07049#XSY4 |
| PSR2JZYXAN | PSR2JZYXAN | 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 2607.01109#FHIG |
| PSRBF5ASQZ | PSRBF5ASQZ | 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.17553#NJQE |
| PSREHGKVPS | PSREHGKVPS | 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#YD79 |
| PSRGWXXNBX | PSRGWXXNBX | 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 2601.15010#JQFJ |
| PSSCWGCZ0V | PSSCWGCZ0V | 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.05146#9KWA |
| PSSDBWTT3K | PSSDBWTT3K | 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#TB0B |
| PST36YGPZ2 | PST36YGPZ2 | 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.02870#DODA |
| PSX2Y1S9KW | PSX2Y1S9KW | 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 2111.01197#VVVM |
| PSX5ESNTZ1 | PSX5ESNTZ1 | 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.36181#X5A3 |
| PSXCC1DVRM | PSXCC1DVRM | proof | open | hott_book homotopy.tex#proof-17 |
| PSXXE5XK83 | PSXXE5XK83 | 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.22288#0QLR |
| PSY1GP3G1D | PSY1GP3G1D | 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.14879#UEW1 |
| PSZ0BY6RBD | PSZ0BY6RBD | 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.12357#3EUR |
| PSZ8R1S2PZ | PSZ8R1S2PZ | 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 math/0406514#Q5K0 |
| PSZ936SV88 | PSZ936SV88 | 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.12810#Q904 |
| PSZQEMF9N2 | PSZQEMF9N2 | 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.24845#N8B4 |
| PT097R7AFM | PT097R7AFM | 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.29877#DHG2 |
| PT09MVGWN4 | PT09MVGWN4 | 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.03728#12OI |
| PT0CVRBCV5 | PT0CVRBCV5 | 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.29723#CNUM |
| PT0FMADCP4 | PT0FMADCP4 | 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 math/0406514#GFL8 |
| PT0X86AFKW | PT0X86AFKW | 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.18219#J1YU |
| PT0XTGESBC | PT0XTGESBC | exercise | open | lebl_scv scv.tex#exercise-217 |
| PT1FAHXRCR | PT1FAHXRCR | 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.26496#6EZD |
| PT24QM1XM6 | PT24QM1XM6 | 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.06466#0X53 |
| PT2R60H236 | PT2R60H236 | 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#J5YC |
| PT3YARDJX2 | PT3YARDJX2 | 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.13271#F4I1 |
| PT49SCDCH0 | PT49SCDCH0 | 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 1904.08413#V5DT |
| PT4HCQKK79 | PT4HCQKK79 | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-4 |
| PT4V06EVT4 | PT4V06EVT4 | 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.27518#HTU9 |
| PT4WFBYBE8 | PT4WFBYBE8 | 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.40282#BSM6 |
| PT57WYXTRB | PT57WYXTRB | 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#QIRU |
| PT5JYSFE2Q | PT5JYSFE2Q | 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.03555#GSAV |
| PT5PENE7Z6 | PT5PENE7Z6 | 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.22073#QCOX |
| PT65S2YMY5 | PT65S2YMY5 | 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.32916#4X38 |
| PT6CJ0PADB | PT6CJ0PADB | 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.10570#3IL5 |
| PT6ENGP3JF | PT6ENGP3JF | 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.14060#56HR |
| PT76NRK75A | PT76NRK75A | exercise | open | austin_ula src/section6-5.xml#activity-2 |
| PT7BEHRQQW | PT7BEHRQQW | example | open | hott_book categories.tex#ct:hoprecat |
| PT92H20JCP | PT92H20JCP | 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.15517#03N3 |
| PT9J5DMY1N | PT9J5DMY1N | 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 2506.16491#PTVB |
| PT9JDVV1G7 | PT9JDVV1G7 | 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.26600#D8EF |
| PT9SGCYA0T | PT9SGCYA0T | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#thm:cr |
| PTAD0W4WQ9 | PTAD0W4WQ9 | 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.24465#3CPM |
| PTAM39682A | PTAM39682A | 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.36306#BS0C |
| PTANYY90Z4 | PTANYY90Z4 | 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.21578#WXUN |
| PTAYTTS0Z6 | PTAYTTS0Z6 | 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.31689#Z4V4 |
| PTB7HJQRAC | PTB7HJQRAC | 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.29205#7GEL |
| PTB8WHD764 | PTB8WHD764 | 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.40028#J5JD, arXiv 2609.40029#O4X4 |
| PTB9081WCW | PTB9081WCW | 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.12238#72PT |
| PTBN2V4HHK | PTBN2V4HHK | exercise | open | lebl_ra ch-approximate.tex#exercise-61 |
| PTBQDFKJ7W | PTBQDFKJ7W | 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#SP8T |
| PTBSKC8HDW | PTBSKC8HDW | 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.29399#7BKN |
| PTC7J6T8XQ | PTC7J6T8XQ | 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.13799#5K6K |
| PTCDJ64ZHZ | PTCDJ64ZHZ | 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.33238#6E58 |
| PTCR1GC92J | PTCR1GC92J | 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.35102#SS41 |
| PTD0EAW55H | PTD0EAW55H | statement | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#corollary-1 |
| PTD5AFDSTF | PTD5AFDSTF | 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.28597#DO0S |
| PTD9S0CZK5 | PTD9S0CZK5 | 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.19283#MBPS |
| PTDWMJSJNR | PTDWMJSJNR | 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 2502.14306#TF0Z |
| PTDYJ5AGGJ | PTDYJ5AGGJ | 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#9IGU |
| PTDYTA3YMN | PTDYTA3YMN | 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.21655#SOPR |
| PTED499H7E | PTED499H7E | 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.31555#101K |
| PTEFWT839P | PTEFWT839P | 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 2212.00617#2SIR |
| PTEQAYXVNK | PTEQAYXVNK | 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.04411#3J6V |
| PTF0R6A1GE | PTF0R6A1GE | 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 2306.01410#WDEB |
| PTF1N11ASF | PTF1N11ASF | 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.30679#7UZ0 |
| PTFQ4GFQCZ | PTFQ4GFQCZ | 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.30823#JCRY |
| PTFYBA85PV | PTFYBA85PV | 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 2212.05398#UEXK |
| PTFYXT9D33 | PTFYXT9D33 | 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.28350#9ONC |
| PTGD2JW8DT | PTGD2JW8DT | proof | open | open_logic content/set-theory/ordinals/iso.tex#proof-4 |
| PTHN7WDAJE | PTHN7WDAJE | 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 1705.04310#NTHU |
| PTJ8G09SW7 | PTJ8G09SW7 | 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 2603.07541#608P |
| PTKMCFK49T | PTKMCFK49T | 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.33162#UCG7 |
| PTMJHW1E1D | PTMJHW1E1D | 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.12053#MTGS |
| Ptolemaic system | BDQ74ZMR1X | definition | open | Wikidata Q109483579, ProofWiki Definition:Ptolemaic_Astronomy |
| Ptolemy | G9AWKG4Y5Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q34943, ProofWiki Mathematician:Claudius_Ptolemy |
| Ptolemy inequality for mixed $Q$-coefficients | 4NVMTX1NWP | 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.29877#NRVV |
| Ptolemy's theorem | Q4C823BVS2 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 95, Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, mathlib_1000 Q459547, Wikidata Q459547, thousand_plus Q459547, Wikipedia Ptolemy's theorem, MathWorld PtolemyInequality |