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 3801–3900 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PR9Z5YZ9FW | PR9Z5YZ9FW | statement | record (an 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.05784#W88I |
| Pr\"ufer | EJM53ZSE7G | statement | record (an 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#7XDM |
| Pr\"ufer-Tricerri-Vanhecke | 3XAAVD0NNV | statement | record (an 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.07983#HG9B |
| Pr\'ekopa--Leindler inequality, equality by Dubuc | 7STPRTSDX8 | statement | record (an 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.20257#I2E7 |
| Practical \ac{pcs} design | KWA7NAATTA | 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 2610.21653#ZKNU |
| practical number | 9PBK261VWF | unknown | open | Wikidata Q577211, MathWorld PracticalNumber, OEIS A005153 |
| Practical optimization error | 4DARZB7AGW | statement | record (an 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.03071#NS6O |
| Prager--Synge | P2KN3KD6JQ | statement | record (an 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.12088#41RZ |
| Prakash Panangaden | R8WPQE2B28 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21062151, nLab Prakash Panangaden |
| Prasad's discrete-series conjecture | DP1SY8HRVY | conjecture | record (an 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.05364#2EWL |
| Prasad's revised tempered conjecture | TVJPTRQ7ZK | statement | record (an 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.05364#83ZZ |
| Prasad's revised tempered distinction conjecture: block form | 8R2W1K6B44 | conjecture | record (an 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.05364#ED19 |
| Prasolov point | V0CXXRBZ60 | unknown | open | Wikidata Q130214596, MathWorld PrasolovPoint |
| Prawitz's theorem | DW6XSFHJ8T | statement | record (an 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.21009#IQLR |
| PRC92PJBYK | PRC92PJBYK | conjecture | record (an 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.21045#Y2A4 |
| PRCCQ772HE | PRCCQ772HE | statement | record (an 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/0411039#V5WB |
| PRCMA2K917 | PRCMA2K917 | proof | open | hott_book logic.tex#proof-3 |
| PRCSHVABXJ | PRCSHVABXJ | statement | record (an 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.19483#2MLW |
| PRCXJ8380B | PRCXJ8380B | proof | open | lebl_ra ch-der.tex#proof-6 |
| PRCY0K8DES | PRCY0K8DES | exercise | open | lebl_ra ch-seq-ser.tex#exercise-25 |
| PRD6YAT46F | PRD6YAT46F | statement | record (an 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.03520#PX4K |
| PRDHXDQX3P | PRDHXDQX3P | statement | record (an 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.08198#UNR1 |
| PRDPP84PJK | PRDPP84PJK | statement | record (an 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#IUDB |
| PRDRF7H5PF | PRDRF7H5PF | statement | record (an 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.13100#OZCI |
| Pre-\hal\, structure | STYN74WWYX | 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.37524#AR0Z |
| pre-abelian category | ZRX3E29A49 | definition | open | Wikidata Q7239192, nLab pre-abelian category, ProofWiki Definition:Pre-Abelian_Category |
| Pre-audit comparison network | NYXEH4QVJR | 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.19207#N0Q5 |
| Pre-Bott classes of unitary representations | WVFV4KT3MQ | 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.21675#X39J |
| Pre-feedback enables controllability for every $\lambda$ | VCJMTERHPJ | statement | record (an 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.08764#QN9L |
| Pre-feedback resolvent, spectrum, and input coefficients | WS6VBPQR2G | statement | record (an 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.08764#R8HS |
| Pre-fixed dynamics | Y6G2PZSNKZ | statement | record (an 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#XFDO |
| Pre-fixed gluing data | 4TA3RA2NEQ | 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.35102#UYO4 |
| pre-Lie algebra | 790C6SVK46 | unknown | open | Wikidata Q7239170, nLab pre-Lie algebra |
| pre-measure | FA9ZGM7CFT | unknown | open | Wikidata Q1393014, MathWorld Premeasure |
| Pre-sampling block model | GFKB5JTANR | statement | record (an 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.32558#OQ1N |
| Pre-small council lemma | Z5CNMKBBR1 | statement | record (an 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#VBF6 |
| Pre-Socratic philosophy | 3GCBS91TAV | definition | open | Wikidata Q178540, ProofWiki Definition:Pre-Socratic |
| Pre-step acceleration on a simultaneous error event | YB8SXABKQJ | statement | record (an 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.15202#WK5X |
| Pre-trace formula | ZP3TVYGDTK | statement | record (an 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.16668#NBNR |
| PRE10ADVNM | PRE10ADVNM | statement | record (an 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.07963#9MVI |
| preadditive category | 1G34WNX7N9 | definition | open | Wikidata Q2099981, nLab pre-additive category, ProofWiki Definition:Preadditive_Category |
| precategory, product of | P24QTA4613 | concept | open | hott_book index/2.5/precategory-product-of |
| Precise characterization for nonzero training error | MEPHZ8W415 | statement | record (an 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.38453#FSYK |
| Precise characterization for the MNI | QTTSXSCV3W | statement | record (an 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.38453#3LIB |
| Precision after satisfying the diagnostics | 1VQTN3AGG7 | statement | record (an 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.20020#ZG8H |
| Precision limit of a single pass | QVBNA73BY2 | statement | record (an 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.29554#W5KQ |
| precision of approximation | S7FDTEM4TP | statement | record (an 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.13741#5I2S |
| Precision-aware parameterization | 5HD6BHRNZS | 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.31641#FF8X |
| Precomposition of substitutions by $\Uparrow$ | D3GHVYNXTZ | statement | record (an 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.21131#IWMW |
| Precomposition with weakening | Q4VRBV3APG | statement | record (an 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.21131#YVVR |
| preconditioner | TP7A8VY20K | topic | open | Wikidata Q1754327, MathWorld Preconditioner, nLab preconditioner |
| Preconditioner tail completion | RWEDPYJN3Z | statement | record (an 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.27741#JXD1 |
| Preda Mihăilescu | 3XDB7RC3Q8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q707130, ProofWiki Mathematician:Preda_V._Mihăilescu |
| predecessor | 3JC5YPSAA7 | concept | open | hott_book index/8.1/predecessor |
| predecessor | 5D83XQPA1B | concept | open | hott_book index/8.3/predecessor |
| predecessor, function, truncated | 76MQNXVED5 | concept | open | hott_book index/5.2/predecessor-function-truncated |
| predecessor, isomorphism on $\Z$ | W2P52ESSES | concept | open | hott_book index/7.1.3/predecessor-isomorphism-on-z |
| predicate | AXB4A445RZ | concept | open | levin_dmoi index/1.2.3/predicate |
| predicate | B2ARB72Z2R | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1144319, MathWorld Predicate |
| predicate logic | EJMV86AMWQ | topic | open | Wikidata Q35148, ProofWiki Definition:Predicate_Logic |
| predicate variable | GZHAV92526 | unknown | open | Wikidata Q10531432, EoM Predicate_variable |
| predicate, inductive | Z3HNYP1065 | concept | open | hott_book index/8.7/predicate-inductive |
| predicate, logic | EKNEZ0J9XG | concept | open | hott_book index/A.11/predicate-logic |
| Predictable conditional coefficients | 3TP0XNX2CE | statement | record (an 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.28985#H66X |
| Predictable mean budget | 95PAEE7CFG | statement | record (an 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.28791#9MN9 |
| Prediction difference between consecutive iterates | J4YM955G77 | statement | record (an 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.04357#SVOB |
| Prediction of the entire private output | EZCPFJAW79 | statement | record (an 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#IHB8 |
| Predictive Posterior and Evidence | 6R1DBCB4BV | statement | record (an 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.14457#QZN0 |
| Predictive projections and copied indicator blocks | QKVCRQ9FSZ | statement | record (an 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.33868#G76A |
| Predictive state completion | B03V8NM5Q7 | statement | record (an 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.13951#AF86 |
| Predictor dynamics | 8MPVWC6CPA | statement | record (an 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.34938#DA9Z |
| Predictor-only intrinsic equation | D673ED4Z3S | statement | record (an 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.09356#ITDJ |
| predictor–corrector method | D83A80X66H | unknown | open | Wikidata Q2650267, MathWorld Predictor-CorrectorMethods |
| Predrag Cvitanović | DFW2R6KK35 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2108318, nLab Predrag Cvitanović |
| predual | QKEC12C3R6 | unknown | open | Wikidata Q7239729, nLab predual |
| Prefix (or Levenshtein) codes for natural numbers. | SHC92FW4GA | object | open | Wikidata Q100193357, OEIS A010097 |
| Prefix and suffix evaluation matrices | KMT0MPTTPN | 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.05498#620V |
| Prefix averaging | 9V1GP889ZM | statement | record (an 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#SGEW |
| Prefix counting | 5RBKYXZS8K | statement | record (an 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.31782#T0YD |
| Prefix estimates | SZV75K3T1H | statement | record (an 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.06557#TKV3 |
| prefix order | EY8HSHVVDN | unknown | open | Wikidata Q17105355, nLab prefix order |
| Prefix overhead to every surviving history | BDA2KJERB4 | statement | record (an 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.20187#DV2D |
| prefix sum | 5MX3P4W2B2 | unknown | open | Wikidata Q7239858, MathWorld CumulativeSum |
| pregroup grammar | BR1TTMNXY8 | unknown | open | Wikidata Q7239914, nLab pregroup grammar |
| preimage | CCV2DNT15M | unknown | open | Wikidata Q5637899, MathWorld Pre-Image, nLab preimage |
| Preimage theorem | ACE0ZQMYZ8 | statement | open | mathlib_1000 Q7239984, Wikidata Q7239984, thousand_plus Q7239984, Wikipedia Preimage theorem |
| preinitial algebra, subterminal coalgebra | KK0EP8XYAP | 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 2405.14678#OI5J |
| Preliminary density criterion | 12T9BJFAK7 | statement | record (an 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.32937#1FUP |
| Preliminary Green-function bounds | JF191RJ4C6 | statement | record (an 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#4YCZ |
| premise | H9V4MA0FA3 | unknown | open | Wikidata Q321703, MathWorld Premise |
| Premise variables retained in the conclusion | N780Z648ZA | statement | record (an 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.33469#QY3U |
| premises | CX1HZ9H26Z | concept | open | levin_dmoi index/4/premises |
| prenex normal form | 82V6X6EEQQ | unknown | open | Wikidata Q281854, MathWorld PrenexNormalForm |
| preon | Y99NDPKZA9 | unknown | open | Wikidata Q1141611, nLab preon |
| Preorder | J80VKZFS4K | definition | open | open_logic content/sets-functions-relations/relations/orders.tex#defn-1 |
| preorder | TZGRYR41T0 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1425985, MathWorld Preorder, nLab preorder |
| preorder, of cardinal numbers | 5NRNEEKZEF | concept | open | hott_book index/C.2/preorder-of-cardinal-numbers |
| Preparation time | 33WJ9D5XEA | statement | record (an 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.04271#DJHJ |
| Prepolar values need not be generic values | KNRTFFTF40 | 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.07528#AFKT |
| Preprocessing basis quality | VAHASVM7A0 | statement | record (an 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.37482#GTY5 |