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 4901–5000 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PTPE3XM5EH | PTPE3XM5EH | 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 2607.00323#KVC3 |
| PTPWRQTC07 | PTPWRQTC07 | statement | record (an 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.18600#8IRK |
| PTQ0J1GFZN | PTQ0J1GFZN | statement | record (an 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.08766#1ZL8 |
| PTQ1JN842Q | PTQ1JN842Q | statement | record (an 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.06785#X5DJ |
| PTQA0V1KCR | PTQA0V1KCR | statement | record (an 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.33185#SS89 |
| PTQB15CQZA | PTQB15CQZA | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-2 |
| PTQCQ6TVFV | PTQCQ6TVFV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#UGO9 |
| PTQPA0KZKK | PTQPA0KZKK | 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.16779#LE4Q |
| PTRC73NGGF | PTRC73NGGF | 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.03358#0EP3 |
| PTRVBCEEBB | PTRVBCEEBB | statement | record (an 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.18562#6F66 |
| PTS80PXZGD | PTS80PXZGD | statement | record (an 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.15528#ZKHE |
| PTSCJJM6GK | PTSCJJM6GK | statement | record (an 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.10469#84XM |
| PTSNBN9563 | PTSNBN9563 | statement | record (an 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.21929#ZUAH |
| PTTABM00BT | PTTABM00BT | statement | record (an 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.12014#HMKB |
| PTTF6PRAKH | PTTF6PRAKH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#DAE2 |
| PTTZKYKQRH | PTTZKYKQRH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.08190#AKPS |
| PTV3JM5M16 | PTV3JM5M16 | proof | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-3 |
| PTVNRB22QW | PTVNRB22QW | statement | record (an 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.09201#PCA1 |
| PTWDXPEXH6 | PTWDXPEXH6 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-29 |
| PTWHRERAQ6 | PTWHRERAQ6 | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-12 |
| PTWX8VSHXS | PTWX8VSHXS | statement | record (an 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.32650#CVBN |
| PTX9DAAT6Q | PTX9DAAT6Q | 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.15720#6NU4 |
| PTXB2X5NGJ | PTXB2X5NGJ | statement | record (an 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#C7ES |
| PTYEAD7Q7T | PTYEAD7Q7T | statement | record (an 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.26401#KIR3 |
| PTYQ11JFRX | PTYQ11JFRX | exercise | open | austin_ula src/section4-1.xml#ula-preview-4-1 |
| PTYQPT5JX7 | PTYQPT5JX7 | statement | record (an 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/9802134#PNU3 |
| PTZ31XBF4B | PTZ31XBF4B | statement | record (an 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.17863#85OW |
| PTZ4MBE8KQ | PTZ4MBE8KQ | statement | open | applied_combinatorics source/s_background_relations.ptx#proposition-1 |
| PTZQAK2X5H | PTZQAK2X5H | definition | open | napkin tex/cats/functors.tex#definition-4 |
| PTZVMXZ486 | PTZVMXZ486 | proof | open | lebl_ra ch-der.tex#proof-2 |
| PTZYVH6E98 | PTZYVH6E98 | statement | record (an 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.31220#QY7O |
| PTZYW1ADSE | PTZYW1ADSE | exercise | open | hott_book reals.tex#ex:reals-apart-neq-MP |
| Public scalar exposure | JDVD3MAFCN | statement | record (an 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.38668#HSBK |
| public-key cryptography | SHJ56XSRT9 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q201339, MathWorld Public-KeyCryptography |
| Public-key encryption | RMKDSND9JQ | statement | record (an 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.14615#61I2 |
| Public-key steganography | 7WJD0Y8YT3 | statement | record (an 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.14615#GFM2 |
| Published hereditary and periodic criteria | EEBF5BP86V | statement | record (an 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#PUNX |
| Published strong-monotonicity subsolver | QYR7GCN1RH | statement | record (an 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.05038#2DUV |
| Puiseux series | WJJVQKJ7BH | statement | open | mathlib_1000 Q401319, Wikidata Q401319, thousand_plus Q401319, MathWorld PuiseuxSeries, nLab Puiseux series |
| Puiseux's theorem | NXVH8CRH90 | statement | open | Wikidata Q3527141, MathWorld PuiseuxsTheorem |
| Puiseux’s Theorem | TWPBZEX2ST | statement | open | mathlib_100 41 |
| Pull-through formula | NBZ2PCKWK6 | statement | record (an 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.16081#Z3RV |
| pullback | 80SFM6EXG5 | definition | open | Wikidata Q1397439, nLab pullback, ProofWiki Definition:Pullback_(Category_Theory) |
| pullback | C38MFH893K | unknown | open | Wikidata Q978505, nLab pullback of a differential form |
| pullback | CP2E7X7PGG | concept | open | hott_book index/3.8/pullback |
| pullback | DRJAE9E0HV | concept | open | hott_book index/5.8/pullback |
| pullback | N7Z0A0T1Z6 | concept | open | hott_book index/6.1/pullback |
| pullback | TWKKQ0VZDP | concept | open | hott_book index/C.1.1/pullback |
| pullback | X4CQ48QSC2 | unknown | open | Wikidata Q25345330, nLab pullback in cohomology |
| Pullback and $d$ commute | MVNNVEREDY | exercise | open | napkin tex/diffgeo/stokes.tex#problem-1 |
| Pullback Box metric | BP4VT4CTEA | 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.26262#7GGD |
| pullback bundle | ES5DDXGZ2S | unknown | open | Wikidata Q4200951, nLab pullback bundle |
| Pullback compatibility of the cohomological operators | VYMNYRXCGG | statement | record (an 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.04179#J715 |
| Pullback Lemma | 18ESPTVXTH | statement | record (an 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.09650#7RD0 |
| pullback map | AMNJ9PJR94 | 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 1408.1555#PZIH |
| Pullback of Segre cycles | RDATREDEEH | statement | record (an 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.07528#XH0M |
| pullback of the basis functions | H8WMEZZ2WK | statement | record (an 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.39511#FEOM |
| pullback of the basis functions | HDKY1F9X35 | statement | record (an 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.39511#JSCV |
| pullback of the basis functions, Bernstein | VQ2AAEA6H5 | statement | record (an 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.39511#TSXG |
| Pullback of the subspace theorem | 2Q8XP0BEVG | statement | record (an 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.17589#HKXV |
| pullback of vector fields | XPMNYTFCDP | unknown | open | mathlib_overview Geometry > Differentiable manifolds > pullback of vector fields, Mathlib VectorField.mpullback |
| pullback surjects to basic forms | 93BT1WSAAC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#QNRB |
| Pullback suspension | ANDTYE86F4 | statement | record (an 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.00115#FNSE |
| Pullback through a unipotent kernel | NZ9DE53Y4A | statement | record (an 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.27204#VPSN |
| Pullback to a smooth monoidal resolution | GT8SAXSYXZ | statement | record (an 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.27799#UH3W |
| pullbacks from the orbit space are basic | QP7RMQERJW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#1RHR |
| pullbacks of quotient dif\/feological forms | XCDQERCTMS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#651O |
| pullbacks via quotient maps | VMQYAZCZ7G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1408.1555#WV76 |
| PULMC conditional covariance fluctuations | M0P7B6KDVW | statement | record (an 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.06308#C807 |
| pulse | 6HXGHSKD6W | concept | open | lebl_diffyqs index/7.4.1/pulse |
| Pumping gadgets | 5SFBG62V70 | statement | record (an 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.26114#TAAJ |
| Punctured lattice points and solutions | NT6GDAZW2W | 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.14085#6O3L |
| punctured set | 6BJKV11VRB | unknown | open | Wikidata Q105525625, MathWorld PuncturedSet |
| Pure discrete gauge theory | 3JCTCXA5AM | statement | record (an 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.03865#K374 |
| Pure even covariances | 9GWHHJBBJS | statement | record (an 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.06490#JMP3 |
| Pure first Bianchi | PX7ACS5QYF | statement | record (an 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.25762#89PK |
| Pure formulas | CG0RWW9XGV | 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.08233#RHC4 |
| Pure formulas are robust | KW410T678Q | statement | record (an 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.08233#4YXB |
| Pure Linear Decay Optimality | MW72C8DTWY | statement | record (an 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.16518#4095 |
| pure mathematics | 6Y3Z8ADK50 | definition | open | Wikidata Q837863, MathWorld PureMathematics, ProofWiki Definition:Pure_Mathematics |
| Pure powers | CW66M43XFC | statement | record (an 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.30817#SGML |
| Pure probes suffice | M53EDE9D1N | statement | record (an 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.11002#NBNG |
| Pure prolongation | X3Z3JYVE1P | statement | record (an 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.25762#DHZP |
| pure spinor | VP992D8ZFT | unknown | open | Wikidata Q7261160, nLab pure spinor |
| pure state | Q5YKZ3E20W | unknown | open | Wikidata Q456782, nLab pure state |
| Pure State Decay Projection Lemma | CGD02G73S6 | statement | record (an 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.26769#NLAS |
| Pure transport | V6AA4KAFG6 | statement | record (an 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.29683#OFJW |
| pure type system | 7FW0S8BMF7 | unknown | open | Wikidata Q7261163, nLab pure type system |
| Pure weights | 6DXYDTGN6R | 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.26477#0N9K, arXiv 2609.26500#JVBP |
| Pure-DP guarantee | 9DPT044Z8Z | statement | record (an 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.19573#I06J |
| Pure-gap inequality | K1R7E9BVQV | statement | record (an 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.24931#K5OW |
| Pure-pair obstruction ranks | PW8F9BNZBV | 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.20649#32A1 |
| Pure-strategy Nash equilibria in Game III and equivalence of $ \distr(\calad)$ and $(\cala\rightarrow \distr(\cald))$ | 3SE13JAW3P | statement | record (an 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#YY6D |
| Pure-strategy Nash equilibrium in Game II - strategies of type $\cald \rightarrow \distr(\cala)$ | QDD1C77HM2 | statement | record (an 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#BX4M |
| Pure-strategy Nash equilibrium in Game II - strategies of type $\distr(\calda)$ | E1NED4HWAS | statement | record (an 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#732O |
| purely | TNZ3TJZWFM | concept | open | hott_book index/6.7/purely |
| Purely discrete spectrum from compact resolvent | EM76VV5ZHY | statement | record (an 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.01855#WZ95 |
| purely imaginary number | RVA0FMSXQF | unknown | open | Wikidata Q141512826, MathWorld PurelyImaginaryNumber |
| purely inseparable extension | FZVA79920Q | unknown | open | Wikidata Q7261176, MathWorld PurelyInseparableExtension |
| purely inseparable invariance | R44GCN1RDJ | statement | record (an 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.07508#KIVC |