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 1501–1600 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PBQZSN93D3 | PBQZSN93D3 | statement | record (an 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.25742#H2WJ |
| PBR07EDN28 | PBR07EDN28 | 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.20153#G4DT |
| PBR2C64ATG | PBR2C64ATG | statement | record (an 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.29489#SWH0 |
| PBR7RP3CPA | PBR7RP3CPA | statement | record (an 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.25431#CVW9 |
| PBRE10ZPM9 | PBRE10ZPM9 | statement | record (an 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.27715#Z3HK |
| PBRV892HZF | PBRV892HZF | 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.03520#PTNO |
| PBS9ASSE0Y | PBS9ASSE0Y | statement | record (an 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.10406#OEOY |
| PBSGZP2BF3 | PBSGZP2BF3 | statement | record (an 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.06899#S06V |
| PBSK9HY8HQ | PBSK9HY8HQ | statement | record (an 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.16821#TJEM |
| PBSQY4K8GD | PBSQY4K8GD | statement | record (an 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.37606#5DKL |
| PBT38AZMZ4 | PBT38AZMZ4 | statement | record (an 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.10511#XNC7 |
| PBTJZMWQKQ | PBTJZMWQKQ | statement | record (an 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.35191#1HC6 |
| PBTVS4HM42 | PBTVS4HM42 | 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.05611#IBOW |
| PBV38E9SWC | PBV38E9SWC | statement | record (an 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.19273#3HRA |
| PBV6DJJBFH | PBV6DJJBFH | statement | record (an 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.00914#H5SA |
| PBVK0TA4K5 | PBVK0TA4K5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.02255#A6E9 |
| PBVSNVSJYG | PBVSNVSJYG | statement | record (an 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.06521#MK35 |
| PBVWYXN5QW | PBVWYXN5QW | statement | record (an 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.24206#AM8J |
| PBW form at the special fiber | Y6MR9K1GG4 | statement | record (an 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.04189#P48X |
| PBW Gram matrices at fixed height | 3BYZATN6DT | statement | record (an 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.35986#HMTO |
| PBW42H5MT3 | PBW42H5MT3 | statement | record (an 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.17817#UB1N |
| PBWPB003NN | PBWPB003NN | statement | record (an 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.25348#G06W |
| PBX0XMCKJE | PBX0XMCKJE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#60U7 |
| PBX9NEY1N2 | PBX9NEY1N2 | statement | record (an 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.14914#K0QW |
| PBXVSWCMQ8 | PBXVSWCMQ8 | proof | open | hott_book homotopy.tex#proof-9 |
| PBXZNANZN4 | PBXZNANZN4 | 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 2411.01837#KZPK |
| PBY0FNTNCP | PBY0FNTNCP | statement | record (an 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.18555#M38E |
| PBZ8X7GMBM | PBZ8X7GMBM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.07061#9170 |
| PBZDZV7S99 | PBZDZV7S99 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#GVFO |
| PBZKFB4SRV | PBZKFB4SRV | statement | record (an 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.15019#71KX |
| PBZM0V290D | PBZM0V290D | statement | record (an 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.01919#VQ3T |
| PBZWQS0TBN | PBZWQS0TBN | statement | record (an 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.38844#GJTR |
| PBZY113FBX | PBZY113FBX | statement | record (an 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.14318#BXC8 |
| PC00GB10B3 | PC00GB10B3 | 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.28552#QT84 |
| PC06YZDNNB | PC06YZDNNB | statement | record (an 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.37520#3KCT |
| PC0BWYTEPN | PC0BWYTEPN | statement | record (an 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.19854#YEIW |
| PC0NKFHDQX | PC0NKFHDQX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.14445#NTO3 |
| PC0RQR3PBP | PC0RQR3PBP | statement | record (an 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#SBRA |
| PC0ZVF71TY | PC0ZVF71TY | statement | record (an 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.02216#FRYK |
| PC1DH9P12T | PC1DH9P12T | statement | record (an 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.29838#VFUQ |
| PC1MBGY6QS | PC1MBGY6QS | statement | record (an 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.03011#N5N9 |
| PC1NGXQCV0 | PC1NGXQCV0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#NP4H |
| PC1XRSX14T | PC1XRSX14T | statement | record (an 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.19288#A7BN |
| PC22603S5C | PC22603S5C | example | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#example-1 |
| PC2DAQGB1X | PC2DAQGB1X | statement | record (an 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.36186#TA9J |
| PC3EPX3X7R | PC3EPX3X7R | statement | record (an 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.38014#4XIK |
| PC3M8DNPM6 | PC3M8DNPM6 | 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.21005#4HM3 |
| PC3PT93Y8S | PC3PT93Y8S | statement | record (an 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#II33 |
| PC48ZJR0A1 | PC48ZJR0A1 | statement | record (an 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.28540#KKQR |
| PC5N5ZA09S | PC5N5ZA09S | statement | record (an 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.35683#8117 |
| PC5N66JH1Y | PC5N66JH1Y | statement | record (an 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.33856#Z0F8 |
| PC5YKK550P | PC5YKK550P | 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 2510.12502#V27Y |
| PC5Z5VJAFC | PC5Z5VJAFC | 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.08935#UDO4 |
| PC6KCPXV04 | PC6KCPXV04 | statement | record (an 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.27046#NYZ8 |
| PC6NDRS9WZ | PC6NDRS9WZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.10337#KENL |
| PC6VJP4FN3 | PC6VJP4FN3 | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-15 |
| PC7K39R74Q | PC7K39R74Q | statement | record (an 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.29943#SGMM |
| PC7Q7B8WA9 | PC7Q7B8WA9 | statement | record (an 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.07741#0VPP |
| PC8NR7BS6F | PC8NR7BS6F | statement | record (an 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.03672#5T6X |
| PC8SYM1BY3 | PC8SYM1BY3 | statement | record (an 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.34013#7HNQ |
| PC9VEE686G | PC9VEE686G | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-5 |
| PCACM7JEMV | PCACM7JEMV | statement | record (an 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.33068#7J8U |
| PCBEJ037GG | PCBEJ037GG | 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.33476#IMGP |
| PCCCYMWCK6 | PCCCYMWCK6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#MY97 |
| PCD81C4TWW | PCD81C4TWW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.00440#VPLE |
| PCDJKFG0DA | PCDJKFG0DA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#5XND |
| PCDXAZA504 | PCDXAZA504 | 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.27974#9YD3 |
| PCDXM0R5BV | PCDXM0R5BV | 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 2401.11433#Z0V8 |
| PCE4J3YY7P | PCE4J3YY7P | 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.05142#2BO0 |
| PCE9XY7XT9 | PCE9XY7XT9 | statement | record (an 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.04623#54VA |
| PCEK0XWKYJ | PCEK0XWKYJ | statement | record (an 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.03337#DCFN |
| PCES6252KH | PCES6252KH | statement | record (an 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.04330#Q5S5 |
| PCFAXS3HMB | PCFAXS3HMB | statement | record (an 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.19787#CQAE |
| PCH5HHGWWN | PCH5HHGWWN | statement | record (an 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.24212#L4AB |
| PCHBXD00DQ | PCHBXD00DQ | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-12 |
| PCHDFW55AT | PCHDFW55AT | statement | record (an 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.27872#MEBL |
| PCJAJM1E0F | PCJAJM1E0F | statement | record (an 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.26948#31LV |
| PCJSMNX2VQ | PCJSMNX2VQ | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-15 |
| PCJT9BS4VX | PCJT9BS4VX | statement | record (an 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.21960#WWGD |
| PCK219A5S7 | PCK219A5S7 | 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 1904.08413#S3DO |
| PCKZEC6SR3 | PCKZEC6SR3 | statement | record (an 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.05320#YP7V |
| PCMNDQ04R3 | PCMNDQ04R3 | statement | record (an 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.15490#QFWB |
| PCMWE8Z5EY | PCMWE8Z5EY | statement | record (an 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.37747#I281 |
| PCN24YN1XD | PCN24YN1XD | 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 2103.08272#32Q5 |
| PCN4TXAN1V | PCN4TXAN1V | 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.33300#732T |
| PCN8FTR3EC | PCN8FTR3EC | 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.28650#5M2W |
| PCNE5GX2NC | PCNE5GX2NC | 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 2510.05499#DHO0 |
| PCNKDHVTVP | PCNKDHVTVP | statement | record (an 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.01216#AYH7 |
| PCNY8MZ396 | PCNY8MZ396 | 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.39254#LDSG |
| PCP theorem | ATQFNME10R | statement | open | mathlib_1000 Q1140200, Wikidata Q1140200, thousand_plus Q1140200, Wikipedia PCP theorem |
| PCP1X0EE1J | PCP1X0EE1J | statement | record (an 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.34020#7IHO |
| PCP5QJ809J | PCP5QJ809J | statement | record (an 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.21005#957Y |
| PCPN2ZQYVY | PCPN2ZQYVY | statement | record (an 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.33283#D432 |
| PCPRDQ0G8H | PCPRDQ0G8H | statement | record (an 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.29304#AC6F |
| PCQ4B7KZ49 | PCQ4B7KZ49 | exercise | open | lebl_scv scv.tex#exercise-294 |
| PCQFN2FGSV | PCQFN2FGSV | 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 2508.21045#60D9 |
| PCQJGTDRS6 | PCQJGTDRS6 | 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.16962#6EXB |
| PCRX2VT0DB | PCRX2VT0DB | statement | record (an 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#K6EL |
| PCSACCGAYY | PCSACCGAYY | proof | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#proof-2 |
| PCSACQJF6V | PCSACQJF6V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.1489#QQSH |