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 201–300 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P289VF1XHG | P289VF1XHG | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-5 |
| P28E29GF2J | P28E29GF2J | statement | record (an 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.19455#E6Y6 |
| P28JWMFWAM | P28JWMFWAM | statement | record (an 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.33313#L5JV |
| P28Q7YAJS5 | P28Q7YAJS5 | statement | record (an 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.05232#WC3Q |
| P291PNEF81 | P291PNEF81 | statement | record (an 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.21929#H4TF |
| P2963ASD6X | P2963ASD6X | proof | open | applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#proof-1 |
| P2BKJ7DCWX | P2BKJ7DCWX | statement | record (an 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.15700#L3LL |
| P2BMZ94P9F | P2BMZ94P9F | 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 2312.06581#EJ6G |
| P2BQQE9580 | P2BQQE9580 | statement | record (an 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.21036#UE21 |
| P2BWFFT2HR | P2BWFFT2HR | exercise | open | active_calculus source/activities/act-3-4-3.xml#act-3-4-3 |
| P2BX40A7RA | P2BX40A7RA | statement | record (an 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.20345#98V4 |
| P2CSF0TZN3 | P2CSF0TZN3 | statement | record (an 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#5FUD |
| P2D16NXH17 | P2D16NXH17 | statement | record (an 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.03384#Y3JR |
| P2D259EGFR | P2D259EGFR | statement | record (an 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.39845#B5BY |
| P2D9F60KZR | P2D9F60KZR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#60P5 |
| P2DFV1MK76 | P2DFV1MK76 | statement | record (an 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.07718#5L1X |
| P2DJJ8Y2R8 | P2DJJ8Y2R8 | statement | record (an 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.16853#2OSF |
| P2DYX7TMSV | P2DYX7TMSV | statement | record (an 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.08583#OTOJ |
| P2E4HWNNAY | P2E4HWNNAY | statement | record (an 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.09042#57BO |
| P2E6FY8H1G | P2E6FY8H1G | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-5 |
| P2EE80Q5X8 | P2EE80Q5X8 | 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.24580#6SXB |
| P2EP8D5DQW | P2EP8D5DQW | 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#DOTW |
| P2ESC0J5HQ | P2ESC0J5HQ | statement | record (an 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#22E1 |
| P2F4S9F9M3 | P2F4S9F9M3 | statement | record (an 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#KYIE |
| P2FFMRZ2TD | P2FFMRZ2TD | statement | record (an 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.18744#BAFM |
| P2FTJ1C396 | P2FTJ1C396 | statement | record (an 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.17669#A9YW |
| P2GDW26WV9 | P2GDW26WV9 | 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.25062#081E |
| P2GHCAMEXB | P2GHCAMEXB | statement | record (an 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.06321#PRJW |
| P2GHPJAJHQ | P2GHPJAJHQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4946#GKC0 |
| P2GSJNS0DG | P2GSJNS0DG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.12309#MRXS |
| P2GTFR5DSP | P2GTFR5DSP | 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.18673#32VO |
| P2GTQ9X2PM | P2GTQ9X2PM | statement | record (an 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.21093#IPSX |
| P2GZX0RN0G | P2GZX0RN0G | statement | record (an 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#B1V4 |
| P2H2WP9RP6 | P2H2WP9RP6 | statement | record (an 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.1307#G79Q |
| P2H3GRAJPZ | P2H3GRAJPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#SWME |
| P2H946GDED | P2H946GDED | statement | record (an 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#WTHF |
| P2HFQMGP6S | P2HFQMGP6S | statement | record (an 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.19528#8HCR |
| P2JMRSY4FF | P2JMRSY4FF | statement | record (an 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.24185#D1JE |
| P2K20CC8S9 | P2K20CC8S9 | statement | record (an 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.13213#ZEPD |
| P2KN3SETAC | P2KN3SETAC | 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.31352#VRR2 |
| P2KRMX6TQQ | P2KRMX6TQQ | statement | record (an 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.07673#BVG5 |
| P2MXFXC8AW | P2MXFXC8AW | statement | record (an 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.39700#VQKF |
| P2ND23SSTH | P2ND23SSTH | statement | open | napkin tex/alg-geom/spec-zariski.tex#proposition-1 |
| P2P1F886CF | P2P1F886CF | statement | record (an 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.28189#VRXM |
| P2PB3V2QRC | P2PB3V2QRC | statement | open | lebl_scv scv.tex#lemma:regdense |
| P2PBQXF1WN | P2PBQXF1WN | 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.30363#IHDU |
| P2PHPM6PJB | P2PHPM6PJB | statement | record (an 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.01354#VQ24 |
| P2PKDWFWKT | P2PKDWFWKT | statement | record (an 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.17677#FKQZ |
| P2PWSWNR2J | P2PWSWNR2J | statement | open | hott_book logic.tex#thm:contr-contr |
| P2PZDYQ76B | P2PZDYQ76B | statement | record (an 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.29531#4336 |
| P2Q3V1KYE6 | P2Q3V1KYE6 | exercise | open | lebl_scv scv.tex#exercise-102 |
| P2Q7FQBF2X | P2Q7FQBF2X | statement | record (an 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.08104#HZWW |
| P2QNSCH704 | P2QNSCH704 | statement | record (an 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#73PQ |
| P2QV31Z4Y0 | P2QV31Z4Y0 | exercise | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-4 |
| P2QWCM19P2 | P2QWCM19P2 | statement | record (an 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.25539#JV2D |
| P2QZ90DCYE | P2QZ90DCYE | 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 2411.00562#1LL8 |
| P2R2NN7ZBV | P2R2NN7ZBV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.0651#DS6G |
| P2RCWS3BCS | P2RCWS3BCS | statement | record (an 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.02743#HHRP |
| P2RP3BZJMZ | P2RP3BZJMZ | statement | record (an 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.02556#CRU0 |
| P2SNAYW3A7 | P2SNAYW3A7 | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#prop-1 |
| P2SYHNQR2X | P2SYHNQR2X | statement | record (an 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.37846#R6FV |
| P2T1CH150B | P2T1CH150B | 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.25168#CBNL |
| P2T99NAJ9M | P2T99NAJ9M | statement | record (an 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.28181#SJQQ |
| P2TKNB1PJP | P2TKNB1PJP | statement | record (an 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#656B |
| P2TMXCHKM2 | P2TMXCHKM2 | definition | open | napkin tex/H113/quotient.tex#definition-3 |
| P2TV2XNR9B | P2TV2XNR9B | 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.08193#9N4V |
| P2V9K3KTWD | P2V9K3KTWD | statement | record (an 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#Y8M6 |
| P2VXCCCHM7 | P2VXCCCHM7 | statement | record (an 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.15405#IOS1 |
| P2VXTRPYDB | P2VXTRPYDB | statement | record (an 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#QY2J |
| P2WJ3YDH3H | P2WJ3YDH3H | statement | record (an 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.07370#FT60 |
| P2X1G95MTR | P2X1G95MTR | statement | open | lebl_ra ch-metric.tex#prop-8 |
| P2XEMXEBNG | P2XEMXEBNG | statement | record (an 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.04325#RN17 |
| P2Y9HRB31N | P2Y9HRB31N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#GVAP |
| P2YATEDDNN | P2YATEDDNN | statement | record (an 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.25168#1N1B |
| P2YH9JT3F9 | P2YH9JT3F9 | statement | record (an 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.02065#7751 |
| P2YQ07PGDZ | P2YQ07PGDZ | statement | record (an 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.27484#GLZL |
| P2YX9Z2TJ3 | P2YX9Z2TJ3 | statement | record (an 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.12053#QC7R |
| P2Z6JDCWZ7 | P2Z6JDCWZ7 | 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.34845#JYDZ |
| P2ZBZ90Z8G | P2ZBZ90Z8G | 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 2504.00267#FU6D |
| P2ZYVMRQF3 | P2ZYVMRQF3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.05451#ZBKS |
| P30KSCMVKK | P30KSCMVKK | statement | record (an 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#9NAZ |
| P311MCRPWR | P311MCRPWR | 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 2210.01497#J81Z |
| P314Y8JF65 | P314Y8JF65 | statement | record (an 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.14045#5T1Z |
| P318NQJC67 | P318NQJC67 | statement | record (an 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.37450#ZPFN |
| P3195ZF1W4 | P3195ZF1W4 | statement | open | hott_book setmath.tex#lem-5 |
| P31EDQ9TF5 | P31EDQ9TF5 | statement | record (an 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.05986#T1EE |
| P31Z9BYCQT | P31Z9BYCQT | statement | record (an 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.02798#22JY |
| P3259J0KFJ | P3259J0KFJ | statement | record (an 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.17066#KTST |
| P32JRBD8T7 | P32JRBD8T7 | 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.13295#WNNA |
| P32M57N686 | P32M57N686 | statement | record (an 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#CSTD |
| P32M87V9X6 | P32M87V9X6 | statement | record (an 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.11271#4CDG |
| P33M56HW15 | P33M56HW15 | statement | record (an 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.38953#ECFA |
| P33W7EYZB0 | P33W7EYZB0 | statement | record (an 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.00909#1AKG |
| P34V7VFYRQ | P34V7VFYRQ | statement | open | hott_book homotopy.tex#cor:sn-connected |
| P3514VZJYM | P3514VZJYM | 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 2102.09374#EP27 |
| P35X82GCWH | P35X82GCWH | statement | record (an 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#6JGA |
| P36D9N0JC6 | P36D9N0JC6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.11346#25VY |
| P36Z2P6GWP | P36Z2P6GWP | statement | record (an 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.03756#J007 |
| P372P49RDB | P372P49RDB | statement | record (an 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.03763#KWRM |
| P37F0BP65B | P37F0BP65B | statement | record (an 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.08480#KKWK |