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 5201–5300 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| PXM7MVSGKR | PXM7MVSGKR | unknown | open | |
| PXMMJ9S1DX | PXMMJ9S1DX | definition | open | lebl_scv scv.tex#defn-23 |
| PXP4K01JQV | PXP4K01JQV | 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.05216#OOV6 |
| PXP6ZH4JYW | PXP6ZH4JYW | definition | open | napkin tex/H113/ring-flavors.tex#definition-1 |
| PXPF96E15V | PXPF96E15V | object | open | Wikidata Q135421143, OEIS A384306 |
| PXPMR49ZM6 | PXPMR49ZM6 | statement | record (an 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.13618#9PSG |
| PXQ01JJZ55 | PXQ01JJZ55 | statement | record (an 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.02111#OK42 |
| PXQ36D12AK | PXQ36D12AK | statement | record (an 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.08288#TI0U |
| PXQKF35FYX | PXQKF35FYX | statement | record (an 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.05577#UZMX |
| PXQQ81Y24R | PXQQ81Y24R | definition | open | napkin tex/topology/constructions.tex#definition-6 |
| PXQX75SE2J | PXQX75SE2J | statement | record (an 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#ZE9R |
| PXS2GBSQWJ | PXS2GBSQWJ | statement | record (an 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.35642#RWRH |
| PXSBDSCR0N | PXSBDSCR0N | statement | record (an 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.05684#H5H7 |
| PXT3H97ZSJ | PXT3H97ZSJ | statement | record (an 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.16768#8XDA |
| PXTVP9N1KX | PXTVP9N1KX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#T06T |
| PXTW5VCENF | PXTW5VCENF | statement | record (an 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.17547#X4YP |
| PXVY98TPA8 | PXVY98TPA8 | statement | record (an 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.19357#459R |
| PXWFGNZ43F | PXWFGNZ43F | 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 2409.01237#G1RE |
| PXWFNKEC5Y | PXWFNKEC5Y | statement | record (an 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.21121#HGQR |
| PXWJZD47XN | PXWJZD47XN | statement | record (an 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.21627#LJ9W |
| PXWPMG6XF7 | PXWPMG6XF7 | statement | record (an 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#2OF0 |
| PXWSD5G4Z1 | PXWSD5G4Z1 | statement | record (an 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.10365#6YUU |
| PXWYRPDBFN | PXWYRPDBFN | 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.36818#OLSW |
| PXX046ENNH | PXX046ENNH | statement | record (an 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.39505#HZIS |
| PXX3EBFCRP | PXX3EBFCRP | statement | record (an 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#U1XM |
| PXXQ8JPR0X | PXXQ8JPR0X | 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.33162#8BY4 |
| PXY1FTJM7S | PXY1FTJM7S | 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.08253#M7RO |
| PXYDKSGEHT | PXYDKSGEHT | statement | record (an 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.05259#MELI |
| PXYMF57Y6A | PXYMF57Y6A | statement | record (an 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#U7R8 |
| PXYQM3A4X3 | PXYQM3A4X3 | proof | open | open_logic content/computability/recursive-functions/pr-functions.tex#proof-2 |
| PXYVV26TZ0 | PXYVV26TZ0 | statement | record (an 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.26357#JJXB |
| PXZ3VC7Y3Z | PXZ3VC7Y3Z | statement | record (an 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.06206#OF93 |
| PXZYK9QRHZ | PXZYK9QRHZ | statement | record (an 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.31126#SV55 |
| PY12GJPYQ4 | PY12GJPYQ4 | 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.04431#QWN7 |
| PY22SK5TMW | PY22SK5TMW | statement | record (an 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.06033#9VFI |
| PY2D4ST29T | PY2D4ST29T | statement | record (an 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.06463#VRY4 |