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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 13301–13400 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PWQVH6DAW7 | PWQVH6DAW7 | 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 2303.09207#OUW5 |
| PWR89NKA8P | PWR89NKA8P | statement | record (an 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.10413#D1MG |
| PWRA8PQ94P | PWRA8PQ94P | statement | record (an 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.09506#2IAH |
| PWRG07K4RK | PWRG07K4RK | statement | record (an 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.07285#4RU9 |
| PWRH7JZRNK | PWRH7JZRNK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#DCUL |
| PWRT197BWF | PWRT197BWF | statement | record (an 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.02174#FPAA |
| PWS2YDX8DV | PWS2YDX8DV | statement | record (an 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.15432#8YCK |
| PWSXHFPDYY | PWSXHFPDYY | example | open | hott_book homotopy.tex#eg-1 |
| PWTC6JPSR1 | PWTC6JPSR1 | statement | record (an 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.12295#I2TA |
| PWTXPT561C | PWTXPT561C | statement | record (an 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.00525#D5FE |
| PWV1T7F04X | PWV1T7F04X | statement | record (an 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.14879#RZOZ |
| PWVDNTR4V2 | PWVDNTR4V2 | statement | record (an 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.32338#9XH7 |
| PWVXJ4F64E | PWVXJ4F64E | statement | record (an 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#5O2O |
| PWVYZC5S4C | PWVYZC5S4C | 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.28742#5KJR |
| PWW18TTVF5 | PWW18TTVF5 | 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 1002.0879#JCSI |
| PWW8RK6VCK | PWW8RK6VCK | statement | record (an 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.03488#ILRG |
| PWWX1GSYAA | PWWX1GSYAA | statement | record (an 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.11199#FIHD |
| PWX3XYRZ80 | PWX3XYRZ80 | statement | record (an 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.11440#Q5N9 |
| PWX4SCVF0K | PWX4SCVF0K | definition | open | napkin tex/alg-NT/artin.tex#definition-2 |
| PWXKZV26E9 | PWXKZV26E9 | 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.22784#E8D4 |
| PWXYZTXHJM | PWXYZTXHJM | statement | record (an 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.25703#7FEG |
| PWY00WKRF1 | PWY00WKRF1 | statement | record (an 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.07164#Y244 |
| PWYAKEMVR6 | PWYAKEMVR6 | statement | record (an 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.14811#TDM2 |
| PWZ46T3QXP | PWZ46T3QXP | statement | record (an 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.08809#04GS |
| PWZ5PBSJ4E | PWZ5PBSJ4E | 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.09201#JAYL |
| PWZ6KQ2Y58 | PWZ6KQ2Y58 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#41X4 |
| PWZRQ6B5M7 | PWZRQ6B5M7 | statement | record (an 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.21098#DZIM |
| PWZZJZTCJF | PWZZJZTCJF | 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.37124#USQC |
| PX0KYQ2E5K | PX0KYQ2E5K | example | open | lebl_ra ch-vol1-intro.tex#example-5 |
| PX1HF9M6K6 | PX1HF9M6K6 | example | open | applied_combinatorics source/s_kitchensink_markov-chains.ptx#example-1 |
| PX1KVBBS72 | PX1KVBBS72 | statement | record (an 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.21475#KP1V |
| PX1Q01J98Y | PX1Q01J98Y | statement | record (an 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.17752#P54J |
| PX1W3G9K5K | PX1W3G9K5K | exercise | open | hott_book hlevels.tex#ex:acnm-surjset |
| PX22JS7CQ9 | PX22JS7CQ9 | statement | record (an 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/0406514#FUFY |
| PX22SMQZ8B | PX22SMQZ8B | example | open | open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-4 |
| PX26EBF7D6 | PX26EBF7D6 | 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.21454#Y051 |
| PX2AR4V8N9 | PX2AR4V8N9 | statement | record (an 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.37466#03Y9 |
| PX2E29FP11 | PX2E29FP11 | statement | record (an 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#Y8MO |
| PX2QA7SRKE | PX2QA7SRKE | example | open | levin_dmoi ptx/sec_counting-proofs.ptx#example-4 |
| PX2W0WWS9P | PX2W0WWS9P | statement | record (an 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.00918#NW8R |
| PX32TV7S2K | PX32TV7S2K | proof | open | hott_book hits.tex#proof-17 |
| PX34MDTC5B | PX34MDTC5B | statement | record (an 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.16123#12TM |
| PX37RW4951 | PX37RW4951 | statement | record (an 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#59OZ |
| PX3BVVBD3A | PX3BVVBD3A | proof | open | open_logic content/set-theory/cardinals/classing.tex#proof-8 |
| PX3DZK4WZE | PX3DZK4WZE | exercise | open | lebl_scv scv.tex#exercise-64 |
| PX3F2YG6DY | PX3F2YG6DY | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-7 |
| PX3RVQRH8R | PX3RVQRH8R | 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.36321#4QES |
| PX4HK796KG | PX4HK796KG | 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 2312.06581#XOD0 |
| PX4Q708AVR | PX4Q708AVR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#YZ56 |
| PX4WQ2BH98 | PX4WQ2BH98 | statement | record (an 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.07292#IRZJ |
| PX5KD0NT1R | PX5KD0NT1R | statement | record (an 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.29712#8LAX |
| PX5SE1XS6P | PX5SE1XS6P | statement | record (an 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.04516#O8OY |
| PX5XT9FAK2 | PX5XT9FAK2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#B5F6 |
| PX65V4HP57 | PX65V4HP57 | statement | record (an 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.39293#A7VH |
| PX67MR8537 | PX67MR8537 | statement | record (an 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.22514#LVYC |
| PX6JCMN4KP | PX6JCMN4KP | statement | record (an 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.26366#53KS |
| PX6PEWGEST | PX6PEWGEST | statement | record (an 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.08251#OG9G |
| PX6RZMBCSA | PX6RZMBCSA | statement | record (an 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.28251#ZBR5 |
| PX6S6VJSGB | PX6S6VJSGB | 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.20740#FJ1N |
| PX6X3YWS87 | PX6X3YWS87 | 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.20606#BMV9 |
| PX70P12D09 | PX70P12D09 | statement | record (an 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.14502#TA49 |
| PX7PDD652P | PX7PDD652P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.04075#HX00 |
| PX841WDGJN | PX841WDGJN | statement | record (an 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#882Z |
| PX8FJ894GK | PX8FJ894GK | statement | record (an 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.10233#22R3 |
| PX8G1V5MGT | PX8G1V5MGT | exercise | open | napkin tex/complex-ana/quintic.tex#exercise-3 |
| PX907WEAXS | PX907WEAXS | statement | open | napkin tex/linalg/fourier.tex#theorem-1 |
| PX90MJHG5C | PX90MJHG5C | 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.20131#OHHU |
| PX9AN68ABS | PX9AN68ABS | definition | open | open_logic content/model-theory/models-of-arithmetic/standard-models.tex#defn-1 |
| PX9BJHKW3T | PX9BJHKW3T | statement | record (an 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.06461#4115 |
| PXA4Q2NGDR | PXA4Q2NGDR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#D88S |
| PXATBT2448 | PXATBT2448 | statement | record (an 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.27125#JI9U |
| PXBJT927BF | PXBJT927BF | 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.08196#VB4C |
| PXC3CPF930 | PXC3CPF930 | statement | record (an 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.17541#977U |
| PXC3Z403A1 | PXC3Z403A1 | statement | record (an 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.28489#SFDR |
| PXCBMNMC8G | PXCBMNMC8G | statement | record (an 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#49SQ |
| PXCD3YP5HR | PXCD3YP5HR | statement | record (an 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.27192#K2FE |
| PXCR2FZ97X | PXCR2FZ97X | statement | record (an 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.22272#YHYF |
| PXDB33QNNS | PXDB33QNNS | statement | record (an 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.38970#JF9D |
| PXDC9VD2SM | PXDC9VD2SM | statement | record (an 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.06108#P441 |
| PXDHFKXKXH | PXDHFKXKXH | unknown | open | arXiv 2205.15365#OO3S |
| PXDSR8N84F | PXDSR8N84F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.02672#T6IM |
| PXE45D6570 | PXE45D6570 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1620#NHWS |
| PXEB5G4QJH | PXEB5G4QJH | statement | record (an 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.19729#6EFE |
| PXEPBH03HQ | PXEPBH03HQ | statement | record (an 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.05146#83ON |
| PXEZPRCQG6 | PXEZPRCQG6 | statement | record (an 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.20798#QDTB |
| PXF1JWSK1E | PXF1JWSK1E | statement | record (an 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.00869#TPNF |
| PXF34A91JB | PXF34A91JB | statement | record (an 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.35421#56WH |
| PXFHPKDJV4 | PXFHPKDJV4 | statement | record (an 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.18239#RF1T |
| PXFHS3H4CJ | PXFHS3H4CJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.16706#UG8G |
| PXFVNE8X6B | PXFVNE8X6B | statement | record (an 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#CI3L |
| PXGE41J9CR | PXGE41J9CR | example | open | lebl_ra ch-der.tex#example-5 |
| PXGZJY0MHW | PXGZJY0MHW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#D4NX |
| PXH87WC9D6 | PXH87WC9D6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#O1KM |
| PXJXBHRTF4 | PXJXBHRTF4 | 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.20153#3JNJ |
| PXK3ZXEQFZ | PXK3ZXEQFZ | statement | record (an 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.16583#G9GZ |
| PXK660AQBW | PXK660AQBW | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique multiplicative identity |
| PXKBKD74KQ | PXKBKD74KQ | statement | record (an 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#X2DT |
| PXKC3W8WYR | PXKC3W8WYR | statement | record (an 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.09390#RNHY |
| PXKH0VJSG4 | PXKH0VJSG4 | 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.33643#FQHC |
| PXKTQT45JT | PXKTQT45JT | statement | record (an 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.21622#F8B6 |