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 301–400 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P37SWEAJ5J | P37SWEAJ5J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#TCX1 |
| P385JP9C4T | P385JP9C4T | statement | record (an 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.24190#290B |
| P389BQF2YD | P389BQF2YD | statement | record (an 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.15805#PN8O |
| P38JF2T0A5 | P38JF2T0A5 | statement | open | hott_book hlevels.tex#thm:hlevel-prod |
| P38JRD3414 | P38JRD3414 | statement | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:iden2 |
| P3972TSC0T | P3972TSC0T | statement | record (an 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.15378#Y17A |
| P399FF7QKW | P399FF7QKW | statement | record (an 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.20466#JCAU |
| P39G5CTX22 | P39G5CTX22 | statement | open | lebl_ra ch-several-vars-ders.tex#mv:prop:contdiffpartials |
| P39KATNATK | P39KATNATK | statement | record (an 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.06473#Q9AC |
| P3A9FJVX0F | P3A9FJVX0F | statement | record (an 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.29839#JFLK |
| P3B85XDHNN | P3B85XDHNN | statement | record (an 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.09129#TQGJ |
| P3CC2HQ72X | P3CC2HQ72X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.10058#D8LL |
| P3CCVYZPTD | P3CCVYZPTD | 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.01946#RBCR |
| P3CD9WF0AB | P3CD9WF0AB | statement | record (an 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.30310#C3LN |
| P3CMG9N5QV | P3CMG9N5QV | statement | record (an 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.30086#8U2S |
| P3E245P1Q8 | P3E245P1Q8 | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-8 |
| P3E7GPSNHB | P3E7GPSNHB | statement | record (an 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.14741#LJ1J |
| P3ERM25EQA | P3ERM25EQA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#9PSL |
| P3FCNS9J4P | P3FCNS9J4P | statement | record (an 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.29469#R7G4 |
| P3G3S0BVDE | P3G3S0BVDE | statement | record (an 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.05179#HVA0 |
| P3G70CMY85 | P3G70CMY85 | 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.13229#L6R6 |
| P3GBB0TQTD | P3GBB0TQTD | statement | record (an 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.09561#AO5F |
| P3GK08SQM1 | P3GK08SQM1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#V5YS |
| P3GWY3R72Q | P3GWY3R72Q | 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.40054#M8LK |
| P3H11ZECKW | P3H11ZECKW | statement | record (an 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.12633#3QR7 |
| P3HRD6TWRK | P3HRD6TWRK | statement | record (an 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#W3FN |
| P3J42MT4CY | P3J42MT4CY | statement | record (an 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.00337#FX0Y |
| P3JTN7QS2K | P3JTN7QS2K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00811#DNQE |
| P3KNGH4S9F | P3KNGH4S9F | statement | record (an 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.11902#YA7A |
| P3KQRT6WQG | P3KQRT6WQG | statement | record (an 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.26340#R2YP |
| P3M7XBW6KM | P3M7XBW6KM | statement | record (an 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#ST71 |
| P3ME3XH158 | P3ME3XH158 | statement | record (an 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.08226#MB6D |
| P3MGN4FZ9S | P3MGN4FZ9S | example | open | napkin tex/homology/cup-product.tex#example-2 |
| P3MGS64KF5 | P3MGS64KF5 | statement | record (an 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.12908#SB96 |
| P3NGP3T155 | P3NGP3T155 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#I1SM |
| P3NKJ9N7AY | P3NKJ9N7AY | 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.25353#CVQY |
| P3NVGAFVPS | P3NVGAFVPS | exercise | open | napkin tex/alg-NT/dedekind.tex#problem-4 |
| P3P6W3DHQ7 | P3P6W3DHQ7 | statement | record (an 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.10372#9AJ6 |
| P3PBR03Q18 | P3PBR03Q18 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#H395 |
| P3PHB8B6V1 | P3PHB8B6V1 | 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 2311.00585#77AW |
| P3PPX3P8T5 | P3PPX3P8T5 | statement | record (an 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.12852#AUTP |
| P3PYDH31R2 | P3PYDH31R2 | statement | record (an 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.32650#OOGM |
| P3PYEAT77N | P3PYEAT77N | statement | record (an 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.05314#0QZR |
| P3QATYJETW | P3QATYJETW | statement | record (an 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.11965#HRDU |
| P3QEHRXX2W | P3QEHRXX2W | statement | record (an 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.12810#HZLP |
| P3QEV6XJCH | P3QEV6XJCH | statement | record (an 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#81IF |
| P3QZQ9TB0A | P3QZQ9TB0A | statement | record (an 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#VTFX |
| P3RNM9TTAN | P3RNM9TTAN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.21337#1X97 |
| P3RW7TKMW7 | P3RW7TKMW7 | 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.31278#6CO6 |
| P3RYRP3DSM | P3RYRP3DSM | 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 2608.24424#G1K9 |
| P3SRT0ZMFZ | P3SRT0ZMFZ | statement | record (an 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.10477#SJZH |
| P3TMJAXPZ8 | P3TMJAXPZ8 | statement | record (an 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#Z0DI |
| P3V451V7K5 | P3V451V7K5 | statement | record (an 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#U4RH |
| P3V61211N1 | P3V61211N1 | 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.24795#3SXE |
| P3W02M09ZQ | P3W02M09ZQ | statement | record (an 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#NFIF |
| P3WN9HFZG1 | P3WN9HFZG1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#3J5K |
| P3WPXV1FMH | P3WPXV1FMH | statement | record (an 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.26406#RN43 |
| P3X0S2HA3D | P3X0S2HA3D | 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.28794#U7DN |
| P3X5T09F5G | P3X5T09F5G | statement | record (an 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.00617#RAJU |
| P3X7GW8PWJ | P3X7GW8PWJ | statement | record (an 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#DO2H |
| P3XC0TVZB3 | P3XC0TVZB3 | statement | record (an 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.02079#WTWK |
| P3XNPT70FD | P3XNPT70FD | statement | record (an 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.32557#ULZX |
| P3XT4SRSFJ | P3XT4SRSFJ | statement | record (an 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.02073#V4HE |
| P3XT5RYJSQ | P3XT5RYJSQ | statement | record (an 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#OAPF |
| P3XZSM1WYM | P3XZSM1WYM | statement | record (an 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.05923#IYZF |
| P3Y9NG32G6 | P3Y9NG32G6 | statement | record (an 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.00770#P2BQ |
| P3YJH608Q1 | P3YJH608Q1 | statement | record (an 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.01436#Q4P0 |
| P3YP01A701 | P3YP01A701 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.16814#41DD |
| P3YZDEQSG3 | P3YZDEQSG3 | statement | record (an 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.26180#2GJD |
| P3Z8MFP6AA | P3Z8MFP6AA | exercise | open | napkin tex/linalg/inner-form.tex#sproblem-1 |
| P3ZQTFX61K | P3ZQTFX61K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.02207#A7UP |
| P3ZTF75NVW | P3ZTF75NVW | statement | record (an 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.04466#M4DN |
| P40G70A976 | P40G70A976 | statement | record (an 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.14973#D9BD |
| P40YBECART | P40YBECART | exercise | open | active_calculus source/activities/act-5-3-1.xml#act-5-3-1 |
| P411X3Q8ME | P411X3Q8ME | statement | record (an 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.32977#NYGM |
| P41YTGS6DQ | P41YTGS6DQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.2115#BSYU |
| P42GJHAJY2 | P42GJHAJY2 | 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.33682#225L |
| P438FHDD9S | P438FHDD9S | statement | record (an 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.14249#HOCS |
| P43JG1Z0FR | P43JG1Z0FR | statement | record (an 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#3GO7 |
| P44C5KNWHM | P44C5KNWHM | statement | record (an 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.15403#9567 |
| P44HYTTAHX | P44HYTTAHX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.09840#51OP |
| P452T5VV0Q | P452T5VV0Q | statement | record (an 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.10747#9RWA |
| P45A4780PF | P45A4780PF | statement | record (an 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.05506#A7IA |
| P467P4RNCD | P467P4RNCD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#YUTD |
| P46ENVY69T | P46ENVY69T | statement | record (an 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#EIJX |
| P46SYS6Z09 | P46SYS6Z09 | statement | record (an 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#ION6 |
| P46WK7S8RD | P46WK7S8RD | statement | record (an 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.06419#YL5L |
| P46WYRW9XN | P46WYRW9XN | 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.10928#A5XK |
| P4805RYF73 | P4805RYF73 | statement | record (an 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#2QRF |
| P484T7RED6 | P484T7RED6 | statement | record (an 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.05486#SUPR |
| P48A62MXZ2 | P48A62MXZ2 | 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.07957#EMEZ |
| P48EJ1SEXF | P48EJ1SEXF | statement | record (an 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.31445#XI93 |
| P48SYXH4Z6 | P48SYXH4Z6 | 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.32478#I7A4 |
| P4908AW0CJ | P4908AW0CJ | statement | record (an 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.38838#1E61 |
| P4A94WNGJE | P4A94WNGJE | 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.26479#PCHL |
| P4AEQQH79B | P4AEQQH79B | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-66 |
| P4B7RNTGWE | P4B7RNTGWE | exercise | open | napkin tex/cats/abelian.tex#exercise-1 |
| P4BNRA4K54 | P4BNRA4K54 | 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.02432#UKFQ |
| P4BTNZET2V | P4BTNZET2V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.01612#3R5K |
| P4C0P96JPP | P4C0P96JPP | statement | record (an 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.03175#0H7K |