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 3501–3600 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Posterior variance of a smooth functional | 11YMTA7WZ4 | statement | record (an 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.29348#MD0I |
| Posterior, boundary, and spectral reduction | 85VTZTYWVH | statement | record (an 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.39190#KXOE |
| Posterior-coordinate identities | 6A4EAY3NDD | statement | record (an 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.13685#IU70 |
| Posterior-grid and rank-regret bounds for generalized-Gaussian BPSK | VE33H6VHD7 | statement | record (an 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.29688#YW9W |
| Posterior-normalized rank regret | T0J8KB90V3 | 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.29688#OJ40 |
| Posterior-preserving receiver statistics | 8F05C7FV5T | statement | record (an 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.29688#QJMR |
| Posterior-rank regret and Shtarkov regret | BNAZEZE39P | statement | record (an 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.29688#KB1B |
| Posterior-universal conditional assignment | 8CAFK7C0B5 | 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.29688#5EUR |
| postfix notation | ZCRNZSVP18 | unknown | open | Wikidata Q379695, MathWorld ReversePolishNotation |
| Postnikov magnetic co-symmetries | MKKFM354WV | 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.03865#M7JA |
| Postnikov system | J4Y819D8MW | concept | open | Wikidata Q6941533, MathWorld PostnikovSystem, nLab Postnikov system |
| Postnikov tower | HXH4QPE8JB | concept | open | hott_book index/u1.u7/postnikov-tower |
| Postnikov tower | T9SS26299D | concept | open | hott_book index/6.3/postnikov-tower |
| Postselection certification without variance calibration | HF9KJDFY6F | statement | record (an 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.19207#SI84 |
| postulate | JX0Z3R3XW5 | unknown | open | Wikidata Q1396667, MathWorld Postulate |
| postulates of special relativity | 99YRDT31BZ | definition | open | Wikidata Q1309317, ProofWiki Definition:Special_Theory_of_Relativity/Postulates |
| potassium | NEMTR2VM7R | definition | open | Wikidata Q703, ProofWiki Definition:Potassium |
| potassium-40 | SW4FR05KTQ | definition | open | Wikidata Q2251076, ProofWiki Definition:Potassium/40 |
| potato paradox | ZM41Z4T1CK | unknown | open | Wikidata Q33145, MathWorld PotatoParadox |
| Potato Theorem | 6Y3Y3WEY0P | statement | record (an 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.20391#NEJD |
| potential | EY07WKZTR9 | concept | open | applied_combinatorics index/13.4/potential |
| potential | PJW2H8Q8RK | topic | open | Wikidata Q1202245 |
| Potential bound on vertices | HGEHECPZ9T | statement | record (an 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.01199#GKEZ |
| Potential decrease | A8021NKR9T | statement | record (an 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.33360#W1HZ |
| potential energy | D5JJ2EF8BW | definition | open | Wikidata Q155640, nLab potential energy, ProofWiki Definition:Potential_Energy |
| Potential good reduction | 7TGH6W4T4M | unknown | open | Wikidata Q7234823, LMFDB knowl ag.potential_good_reduction, LMFDB knowl ec.potential_good_reduction |
| Potential in the exponential--geometric family | RT423JKP5C | statement | record (an 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.15466#BKLU |
| Potential moment identity | J8QFF7DH7Q | statement | record (an 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.05204#Q53M |
| Potential of a quotient minor | Q22RKW2QA1 | statement | record (an 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.40252#J55D |
| Potential recursion | 57SWQ1FQD1 | statement | record (an 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.39837#WLNN |
| potential theory | E4MN2BZ5JA | topic | open | Wikidata Q1154848, EoM Potential_theory, MathWorld PotentialTheory, nLab potential theory, ProofWiki Definition:Potential_Theory |
| Potential under changes of unit and reference | ES5F8A98F0 | statement | record (an 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.15466#YIRN |
| Potential, period, and level curve | JSSSRNQPK4 | statement | record (an 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.06875#0UKT |
| Potts coupling independence | J5R0CFFDQ4 | 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.12456#NW34 |
| Potts disc around \texorpdfstring{\(z=0\)}{z=0 | 225KGD46PM | statement | record (an 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.12456#K1XE |
| Potts zero-freeness | RE9ABJV6X5 | statement | record (an 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.12456#QHDL |
| Poulet number | S0FKWDQCA7 | concept | open | Wikidata Q5484528, MathWorld PouletNumber, OEIS A001567, ProofWiki Definition:Poulet_Number |
| pound per square inch | C5ZT1P1NKM | definition | open | Wikidata Q626299, ProofWiki Definition:FPS/Pressure/Pound_per_Square_Inch |
| pound-force | H27D28WJPW | definition | open | Wikidata Q1194225, ProofWiki Definition:FPS/Force/Pound_Force |
| Poussin graph | 92T2C84YM6 | unknown | open | Wikidata Q3115525, House of Graphs 1273, MathWorld PoussinGraph |
| power | 8SGP49268N | definition | open | Wikidata Q25342, ProofWiki Definition:Power_(Physics) |
| Power and blind spot of the calibration test | MSYG7RJWFC | statement | record (an 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.17403#N49Q |
| power associativity | 1MRQ6C2TPZ | unknown | open | Wikidata Q1822837, MathWorld PowerAssociativeAlgebra |
| power center | YG5E1JTMV7 | concept | open | Wikidata Q5254628, MathWorld RadicalCenter |
| Power enhancement | VF2559JJ5X | statement | record (an 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.27200#QFDF |
| power functions | GPESVZCRCP | unknown | open | mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > power functions, Mathlib Real.rpow |
| power kernel | GT4NGSC086 | statement | record (an 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.15610#HGWL |
| Power lifting | EJMJ26EFE6 | statement | record (an 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.18739#CIDZ |
| power method | 25XADTA1AN | concept | open | austin_ula index/5.2.2/power-method |
| Power method convergence | 1JF1QDAX8G | statement | record (an 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.14620#YWBB |
| power of 10 | 4WASWQ9DNN | object | open | Wikidata Q184611, OEIS A011557 |
| power of a point | Z8Z5DNSXMD | unknown | node (a node has the same name as the row) | Wikidata Q898575, MathWorld CirclePower |
| power of a test | S3ZV8YW2TJ | unknown | open | Wikidata Q1199823, MathWorld StatisticalPower |
| power of five | 853NRKX9RQ | object | open | Wikidata Q110982811, OEIS A000351 |
| power of four | Z9AEZ52XFK | object | open | Wikidata Q113401032, OEIS A000302 |
| power of power proof | 468V4F0F1Z | statement | open | Wikidata Q135208017, ProofWiki Exponent_Combination_Laws/Power_of_Power |
| power of six | C3NK3HRKH9 | object | open | Wikidata Q113401221, OEIS A000400 |
| power of three | SVQXQB296K | object | open | Wikidata Q96399905, OEIS A000244 |
| power of two | KSB10QXH06 | object | open | Wikidata Q1136880, OEIS A000079 |
| Power one | ZENB1JMK7Z | statement | record (an 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.27765#N52G |
| power reduction | 5P85PM71X0 | statement | record (an 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.27458#1EHG |
| Power representation | MSKZC33XC2 | statement | record (an 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.02806#Z7RF |
| power residue symbol | 55CVD3AJW2 | unknown | open | Wikidata Q7236602, EoM Power_residue |
| power rule | GHJ65MK13Q | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1190543, MathWorld PowerRule, ProofWiki Power_Rule_for_Derivatives |
| power series | T7NDCA12WD | unknown | node (a node has the same name as the row) | Wikidata Q206925, EoM Power_series, MathWorld PowerSeries, nLab power series |
| power series center | KTF73WNXP3 | concept | open | lebl_diffyqs index/9.1.1/power-series-center |
| power series coefficients | 2ZVZ8ESDVJ | concept | open | lebl_diffyqs index/9.1.1/power-series-coefficients |
| power series convergence | 3G264BACWM | concept | open | lebl_scv index/1.2/power-series-convergence |
| power set | 36GFQB15G2 | concept | open | hott_book index/C.1.3/power-set |
| power set | 61PDPZN70V | concept | open | levin_dmoi index/1.3.2/power-set |
| power set | 7AGD3F3GBS | concept | open | hott_book index/5.10/power-set |
| Power Set | 8901HW0V36 | definition | open | open_logic content/sets-functions-relations/sets/subsets.tex#defn-2 |
| power set | B5H0V59TR9 | concept | open | hott_book index/A.8/power-set |
| power set | B7SD997P7P | unknown | node (a node has the same name as the row) | Wikidata Q205170, EoM Power_set, MathWorld PowerSet, nLab power set |
| power set | CQV29EFF27 | concept | open | hott_book index/B.5/power-set |
| power set | D3RMM5E3CS | concept | open | hott_book index/C.3/power-set |
| power set | EZ77QB9XMY | concept | open | hott_book index/C.5/power-set |
| power set | N5M2T675ZR | concept | open | hott_book index/C.1.4/power-set |
| power set | P1EA2D8CZ0 | concept | open | levin_dmoi index/1.3.1/power-set |
| power set | WXKETYKKFA | concept | open | hott_book index/8.6/power-set |
| Power variance inequality | 5864W3R0BV | statement | record (an 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.00501#LFS0 |
| Power-deviation estimate | W7DC3VFRSG | statement | record (an 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.10840#0CIX |
| Power-law contraction-sum estimates | NNCNCJ98P2 | statement | record (an 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.40338#OFG5 |
| Power-law envelope | CP4SN5KNDB | statement | record (an 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.38267#M7X2 |
| Power-law limits | VNHYW19TN2 | statement | record (an 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.19930#GZ94 |
| Power-law small values | VB3A18S9YB | statement | record (an 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.38228#8EE2 |
| Power-relation count | DMYH5S3784 | statement | record (an 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.14509#66XZ |
| Power-series exponential on the slices | K4N7WC9N2K | statement | record (an 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.12483#T7ZI |
| Power-test benchmark | VYC3CED6WH | statement | record (an 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.14069#5KJB |
| Power-weight path-length limit | N1CFMDYMNV | statement | record (an 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.00614#FM72 |
| powerful number | N1X3K2ERMG | unknown | open | Wikidata Q3191171, MathWorld PowerfulNumber, OEIS A001694 |
| Powerfully bad primes | Z90RNSZ1V5 | 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.08424#YT73 |
| powers of 2 | NGSRJN550H | concept | open | levin_dmoi index/3.1/powers-of-2 |
| Powers of sums | AD92H6VN94 | statement | record (an 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.00501#OP5Y |
| Powers of the basic quadratic phase | MZQHPKCQVJ | statement | record (an 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.10583#DOJX |
| Powersets | Y7R71NHM3G | statement | open | open_logic content/set-theory/z/powerset.tex#axiom-1 |
| Poynting's theorem | 77AW9JB5PF | statement | open | mathlib_1000 Q1637085, Wikidata Q1637085, thousand_plus Q1637085, Wikipedia Poynting's theorem |
| pp-wave spacetime | X1P6PDG7EK | unknown | open | Wikidata Q3966083, nLab pp-wave spacetime |
| PP16TJQAA1 | PP16TJQAA1 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-43 |
| PP1BV2F4S2 | PP1BV2F4S2 | statement | record (an 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.15385#EZJE |