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 1701–1800 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PE1M8PCF6P | PE1M8PCF6P | statement | record (an 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.25275#U5E9 |
| PE1V0KTRDE | PE1V0KTRDE | definition | open | lebl_scv scv.tex#defn-6 |
| PE26YPWBZ5 | PE26YPWBZ5 | statement | record (an 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.01329#5ACC |
| PE2G1E0R25 | PE2G1E0R25 | statement | record (an 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.17303#K8CS |
| PE2GZDCBVB | PE2GZDCBVB | statement | record (an 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.03601#RT5P |
| PE2JVCKZ06 | PE2JVCKZ06 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-36 |
| PE39AKBYD1 | PE39AKBYD1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.09796#QTTH |
| PE3J0S4QT0 | PE3J0S4QT0 | statement | record (an 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.11120#AT4S |
| PE3ZXBNBPQ | PE3ZXBNBPQ | 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.13746#VFH2 |
| PE48QKMA5P | PE48QKMA5P | 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.33238#4YOZ |
| PE49W4BA87 | PE49W4BA87 | statement | record (an 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#7Q62 |
| PE4B2QYVD5 | PE4B2QYVD5 | statement | record (an 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.11946#5E6P |
| PE4EK5V1EF | PE4EK5V1EF | statement | record (an 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#AK26 |
| PE4TS2GG2S | PE4TS2GG2S | definition | open | hott_book equivalences.tex#defn:biinv |
| PE54C65B5T | PE54C65B5T | statement | record (an 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.11800#DRIB |
| PE60JAVZP7 | PE60JAVZP7 | statement | record (an 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.25353#MD1M |
| PE62SK5BFY | PE62SK5BFY | statement | record (an 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.03754#JRHO |
| PE65KY1ASG | PE65KY1ASG | statement | record (an 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.12502#X8BA |
| PE68VTXCB3 | PE68VTXCB3 | 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.17547#K2W9 |
| PE6NHMCQX3 | PE6NHMCQX3 | statement | record (an 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.30200#5WMY |
| PE7GVGFCKF | PE7GVGFCKF | statement | record (an 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.26134#4TPL |
| PE7Q6QKG4Y | PE7Q6QKG4Y | statement | record (an 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.09735#CIYP |
| PE8GVMRD8C | PE8GVMRD8C | statement | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#prop-1 |
| PE8K37GV6D | PE8K37GV6D | statement | record (an 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.33578#GO0Z |
| PE8XG694A7 | PE8XG694A7 | statement | record (an 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.10372#YABW |
| PE9DKZZMWM | PE9DKZZMWM | statement | record (an 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.01874#NPF5 |
| PE9G2CHSZR | PE9G2CHSZR | statement | record (an 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.14236#LP27 |
| PE9H0ABVBH | PE9H0ABVBH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.05684#UYWC |
| PE9KPR1AHC | PE9KPR1AHC | statement | record (an 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.10591#5SSZ |
| PE9VVTMM50 | PE9VVTMM50 | statement | record (an 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.17518#1IU1 |
| Peak counts on a fixed invariant surface | STE5JQ0DNY | statement | record (an 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.24930#UU5Z |
| Peak normalisation | 46CSQSE5MF | 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.26537#WQJH |
| Peano | W728B2GDJ9 | concept | open | hott_book index/8.8/peano |
| Peano arithmetic | VKY2E5GQMN | unknown | open | Wikidata Q49938, MathWorld PeanoArithmetic, nLab Peano arithmetic |
| Peano axioms | PDQRCJD4GP | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q842755, MathWorld PeanosAxioms |
| Peano curve | TDD836RWE7 | concept | open | Wikidata Q1725409, MathWorld PeanoCurve, nLab Peano curve |
| Peano existence theorem | VRDAF4QBXP | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q740093, Wikidata Q740093, thousand_plus Q740093, Wikipedia Peano existence theorem, EoM Peano_theorem |
| Peano kernel representations | 4SJV93417K | statement | record (an 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.34918#COVR |
| Peano postulates | RETM8E6244 | concept | open | applied_combinatorics index/B.7/peano-postulates |
| PEAR4XHKGX | PEAR4XHKGX | statement | record (an 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.13358#M286 |
| Pearson distribution | 16NVPJMRFM | unknown | open | Wikidata Q3075209, MathWorld PearsonTypeIIIDistribution |
| Pearson product-moment correlation coefficient | R9NZZJEEHY | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1136628, MathWorld CorrelationCoefficient |
| PEB4W9E7AJ | PEB4W9E7AJ | statement | record (an 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.33383#6RTP |
| PEB5Y63V30 | PEB5Y63V30 | statement | record (an 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.07445#KVOC |
| PEBETD2768 | PEBETD2768 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#7ZS6 |
| PEBF1BDBFG | PEBF1BDBFG | statement | record (an 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.13723#7BWO |
| pebibyte | SDT54D4PXR | unknown | open | Wikidata Q79774, MathWorld Pebibyte |
| PEC1M6R0M3 | PEC1M6R0M3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.13357#0OHU |
| PECE275SR0 | PECE275SR0 | statement | record (an 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.21752#L34J |
| Pechenik--Speyer--Weigandt | 5MN0F2G90D | statement | record (an 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.30675#NIDV |
| PECKBM3JKH | PECKBM3JKH | statement | record (an 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.39505#AVXF |
| PED0VB2EPA | PED0VB2EPA | 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 2405.14678#BTXV |
| PED3XGS99F | PED3XGS99F | statement | record (an 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.04264#4LV8 |
| pedal curve | B1MQT0NV0E | unknown | open | Wikidata Q1423838, MathWorld PedalCurve |
| Pedal equation | N8KS2KHXFR | concept | open | Wikidata Q7158977, MathWorld PedalCoordinates |
| pedal point | ZZ8Q0E0G4N | unknown | open | Wikidata Q3925849, MathWorld PedalPoint |
| pedal triangle | YE8791QQNT | unknown | open | Wikidata Q478728, MathWorld PedalTriangle |
| PEDCA7G9ZV | PEDCA7G9ZV | statement | record (an 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.22326#6E8Q |
| PEDD6X6HHN | PEDD6X6HHN | statement | record (an 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.07061#46TC |
| pedial circle | TFWFGGBE3S | unknown | open | Wikidata Q111207795, MathWorld PedalCircle |
| PEDR9EQ103 | PEDR9EQ103 | statement | record (an 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.36321#U9MP |
| PEDT7R34Y4 | PEDT7R34Y4 | 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.21762#S5BV |
| PEEK7QKFPE | PEEK7QKFPE | statement | record (an 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.14741#XB7S |
| Peel reciprocity | VR1VG3WB52 | 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 2609.26196#MN0X |
| Peel reciprocity problem | E0EV630EZH | 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 2609.26196#QOYZ |
| Peeling theorem | 1S73P539AZ | statement | open | mathlib_1000 Q7160302, Wikidata Q7160302, thousand_plus Q7160302, Wikipedia Peeling theorem |
| Peetre theorem | TZWR5X08PZ | statement | open | mathlib_1000 Q7160489, Wikidata Q7160489, thousand_plus Q7160489, Wikipedia Peetre theorem |
| PEEXVE0WYE | PEEXVE0WYE | 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 2303.09207#KD0T |
| PEF0NAPD0R | PEF0NAPD0R | statement | record (an 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.14383#NCS5 |
| PEFB4E404P | PEFB4E404P | statement | record (an 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.37159#CW0C |
| PEFBSXVWGR | PEFBSXVWGR | statement | record (an 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.18744#QSGU |
| PEFNW5KE1X | PEFNW5KE1X | statement | record (an 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.09594#Z8L9 |
| peg solitaire | WH06GECAAB | unknown | open | Wikidata Q1411087, MathWorld PegSolitaire |
| PEG0WZV4EN | PEG0WZV4EN | statement | record (an 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#MVH7 |
| PEH0G5N2DN | PEH0G5N2DN | statement | record (an 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.02993#WSE6 |
| PEH3KW4SHR | PEH3KW4SHR | statement | record (an 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.12736#QTAM |
| PEHM6VNQPR | PEHM6VNQPR | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-6 |
| PEHNENS4WC | PEHNENS4WC | statement | record (an 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.05722#RLNM |
| Peierls bound | J8GSNDF9GS | statement | record (an 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.11101#ZB3P |
| Peierls bracket | P8NR9FSX3H | concept | open | Wikidata Q7160905, nLab Peierls bracket |
| Peirce arrow | XEVJ0AZVWH | unknown | open | Wikidata Q141495683, EoM Peirce_arrow |
| Peirce decomposition | EZ5JR5B3T5 | unknown | open | Wikidata Q7160950, MathWorld PeirceDecomposition |
| Peirce decomposition | XRS56XEBJ0 | statement | record (an 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.13532#4KTW |
| Peirce's law | D48456BFEX | statement | open | Wikidata Q2387196, nLab Peirce's law, ProofWiki Peirce's_Law |
| Peixoto's theorem | HV12V7NHKX | statement | open | mathlib_1000 Q7160983, Wikidata Q7160983, thousand_plus Q7160983, Wikipedia Peixoto's theorem |
| PEJAW509CQ | PEJAW509CQ | statement | record (an 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#S8QB |
| PEJBAH07G8 | PEJBAH07G8 | statement | record (an 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/0512416#ROYS |
| PEJJCA11DF | PEJJCA11DF | statement | record (an 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.21921#PH3A |
| PEJKM4B5WC | PEJKM4B5WC | statement | record (an 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.36823#HSAF |
| PEJXQF54WY | PEJXQF54WY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.17751#9MSQ |
| PEK3GQJDCS | PEK3GQJDCS | statement | record (an 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.27360#6XJ8 |
| PEKDCC2EZW | PEKDCC2EZW | statement | record (an 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#F5B6 |
| PEKJG22C0S | PEKJG22C0S | statement | record (an 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.40017#LNV9 |
| PEKWP38B3H | PEKWP38B3H | 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.25168#TSZS |
| Pell number | D96T0KWXWN | unknown | open | Wikidata Q1386491, MathWorld PellNumber, OEIS A000129 |
| Pell's equation | X41ST3TQ6P | statement | node (a node has the same name as the row) | mathlib_100 39, Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare, mathlib_1000 Q853067, Wikidata Q853067, thousand_plus Q853067, Wikipedia Pell's equation, MathWorld PellEquation, ProofWiki Pell's_Equation |
| PEM5AV998X | PEM5AV998X | statement | record (an 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.19954#RS18 |
| PEMARXDKME | PEMARXDKME | statement | record (an 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.25801#9XJZ |
| PEMSC3GBPF | PEMSC3GBPF | statement | record (an 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.30113#IICO |
| Pencil concentration bound | YD470QHAJY | statement | record (an 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.20649#WB1X |