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 501–600 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P5CFQEQ5Q7 | P5CFQEQ5Q7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.06338#MNQL |
| P5CJ3YZ30Y | P5CJ3YZ30Y | 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#IN4K |
| P5CJFEA3G0 | P5CJFEA3G0 | statement | record (an 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.22326#2VT2 |
| P5D7NC5Y9W | P5D7NC5Y9W | statement | record (an 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.37815#J61G |
| P5FAZCTD6D | P5FAZCTD6D | statement | record (an 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.30779#4S2N |
| P5FM27JG8C | P5FM27JG8C | 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 2605.24355#FPBF |
| P5G1Y6SDCH | P5G1Y6SDCH | 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#TSBO |
| P5HSZ961FZ | P5HSZ961FZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#VHQ3 |
| P5HY5V6KDF | P5HY5V6KDF | exercise | open | napkin tex/H113/quotient.tex#exercise-1 |
| P5JF786P10 | P5JF786P10 | proof | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#proof-1 |
| P5K3A5V1KC | P5K3A5V1KC | statement | record (an 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.12486#NFNQ |
| P5KEG13MRC | P5KEG13MRC | statement | record (an 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.09599#UNHR |
| P5KMY1GR6G | P5KMY1GR6G | statement | record (an 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.36411#NK1W |
| P5MHZJFS0C | P5MHZJFS0C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.12479#PTLN |
| P5MP2J9J69 | P5MP2J9J69 | statement | record (an 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.36714#JK62 |
| P5NAX52ADH | P5NAX52ADH | statement | record (an 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.13100#19H4 |
| P5NBC7PXCQ | P5NBC7PXCQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.12496#JF8X |
| P5NDR8VZCF | P5NDR8VZCF | statement | record (an 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.19023#CEKK |
| P5NKBCZS6A | P5NKBCZS6A | statement | record (an 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.13291#OQ23 |
| P5NKHYT0EY | P5NKHYT0EY | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-8 |
| P5NY2SG5VB | P5NY2SG5VB | statement | record (an 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.18242#9TF9 |
| P5PY15CDFS | P5PY15CDFS | statement | record (an 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.02535#X95X |
| P5Q2YWQHX9 | P5Q2YWQHX9 | example | open | napkin tex/diffgeo/forms.tex#example-6 |
| P5Q8MNH474 | P5Q8MNH474 | 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 2608.24190#7AAH |
| P5QCBQFX8V | P5QCBQFX8V | statement | record (an 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.19132#25K0 |
| P5QZ0419AX | P5QZ0419AX | statement | record (an 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.05066#1N7Y |
| P5QZ8P6WFM | P5QZ8P6WFM | statement | record (an 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.32174#A2E0 |
| P5R0RKTB2N | P5R0RKTB2N | statement | record (an 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.20956#FCZS |
| P5R3MRM7FB | P5R3MRM7FB | 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.20849#V1SW |
| P5S0VZCFT9 | P5S0VZCFT9 | example | open | napkin tex/cats/categories.tex#example-5 |
| P5S1QFGYD3 | P5S1QFGYD3 | statement | record (an 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.18246#GU4U |
| P5SEV9MHTY | P5SEV9MHTY | statement | record (an 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.12484#GRZ2 |
| P5STE1X1K1 | P5STE1X1K1 | statement | record (an 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.06785#1AGY |
| P5T3P4XZK4 | P5T3P4XZK4 | statement | record (an 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.12846#C2SX |
| P5TFPB389J | P5TFPB389J | proof | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-4 |
| P5TJSDABRQ | P5TJSDABRQ | statement | record (an 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.13142#7Y09 |
| P5VFCDN3MC | P5VFCDN3MC | statement | record (an 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.20025#VBX6 |
| P5W50A2G82 | P5W50A2G82 | statement | record (an 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.00113#8ZEW |
| P5WRK8FND1 | P5WRK8FND1 | statement | record (an 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.27078#VMT0 |
| P5XD719MWR | P5XD719MWR | statement | record (an 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#UI5C |
| P5XG07VT0B | P5XG07VT0B | statement | record (an 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#564I |
| P5XJNTCYAJ | P5XJNTCYAJ | unknown | open | |
| P5YQ6MNTVY | P5YQ6MNTVY | statement | open | ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrt2 |
| P5Z5557NXX | P5Z5557NXX | 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 2508.01642#H6MO |
| P5ZDZHZHTD | P5ZDZHZHTD | statement | record (an 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.23072#81H1 |
| P5ZE8J26T0 | P5ZE8J26T0 | 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.21752#INQA |
| P5ZEF6Q36Z | P5ZEF6Q36Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#WL1B |
| P611GBW6RE | P611GBW6RE | statement | record (an 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.25307#PDP5 |
| P615YRGGSD | P615YRGGSD | 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.12480#VB84 |
| P61HXAQ3E7 | P61HXAQ3E7 | statement | record (an 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.01057#7BD1 |
| P625NK8GTH | P625NK8GTH | statement | record (an 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#AOCN |
| P62DGGWS97 | P62DGGWS97 | statement | open | open_logic content/turing-machines/undecidability/universal-tm.tex#thm:universal-tm |
| P62F93RGKX | P62F93RGKX | statement | record (an 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.34856#AIWL |
| P63N1AZ0BH | P63N1AZ0BH | 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 math/9602216#A67Z |
| P63RZWKEB9 | P63RZWKEB9 | statement | record (an 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.04809#MNXN |
| P64QXAJ6V7 | P64QXAJ6V7 | 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.12908#TSC5 |
| P64ZJSQGFB | P64ZJSQGFB | 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#D6LC |
| P65F20KY9S | P65F20KY9S | statement | record (an 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.33185#86D1 |
| P65G698ENN | P65G698ENN | 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.01753#RG1H |
| P6602S33KM | P6602S33KM | proof | open | hott_book reals.tex#proof-14 |
| P662QP98AC | P662QP98AC | statement | record (an 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.25435#6S28 |
| P66B278NJ1 | P66B278NJ1 | statement | record (an 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.09882#9TLI |
| P66E86XWF8 | P66E86XWF8 | definition | open | lebl_ra ch-seq-ser.tex#defn-4 |
| P66Q6A4KQA | P66Q6A4KQA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#DFZ6 |
| P66QK52Q8K | P66QK52Q8K | 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.14236#4QJB |
| P67DC3N5NW | P67DC3N5NW | proof | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-3 |
| P67FAXKXZW | P67FAXKXZW | statement | record (an 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#JXO4 |
| P67TJ1VPZK | P67TJ1VPZK | statement | record (an 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.38735#DXET |
| P68GE6SH23 | P68GE6SH23 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#4AIL |
| P68H2TD2KB | P68H2TD2KB | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#exercise-3 |
| P68TF4V56S | P68TF4V56S | statement | record (an 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.27366#NZA7 |
| P698JDBVJB | P698JDBVJB | statement | record (an 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.29450#Z14W |
| P69A81JJJ4 | P69A81JJJ4 | 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.10077#NXT6 |
| P69FWYFA61 | P69FWYFA61 | 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.01888#0NE4 |
| P6A657NWMJ | P6A657NWMJ | statement | record (an 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.40214#FICW |
| P6BEPCB3S4 | P6BEPCB3S4 | statement | record (an 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.02042#WVOB |
| P6BR3E6Q9P | P6BR3E6Q9P | exercise | open | napkin tex/set-theory/ordinal.tex#exercise-1 |
| P6C2ZTMAF9 | P6C2ZTMAF9 | statement | record (an 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.06529#6YFA |
| P6CB5PXT1K | P6CB5PXT1K | statement | record (an 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.15094#YMPT |
| P6CT1MEPS0 | P6CT1MEPS0 | statement | record (an 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.15771#D9KC |
| P6D2MQ1RFS | P6D2MQ1RFS | statement | record (an 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#4CL1 |
| P6D4HGG0T6 | P6D4HGG0T6 | 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.06340#8YYM |
| P6DBS9BTKN | P6DBS9BTKN | statement | record (an 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#QBRO |
| P6DCVFB0FD | P6DCVFB0FD | statement | record (an 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.36204#5SPY |
| P6E4D34HZR | P6E4D34HZR | statement | record (an 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#JPRI |
| P6EEM1BKGF | P6EEM1BKGF | statement | record (an 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#BT9M |
| P6EW42J5HY | P6EW42J5HY | statement | record (an 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.21545#OHWW |
| P6EYCBRFAW | P6EYCBRFAW | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-65 |
| P6F4S5JQ5D | P6F4S5JQ5D | statement | record (an 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#J671 |
| P6FCTFPPJQ | P6FCTFPPJQ | statement | record (an 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#CQGK |
| P6FFS5YKV1 | P6FFS5YKV1 | statement | record (an 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.31615#ZBJQ |
| P6FXT8XAJB | P6FXT8XAJB | statement | open | napkin tex/linalg/transpose.tex#theorem-4 |
| P6G4M4MBNW | P6G4M4MBNW | statement | record (an 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.00113#PJM4 |
| P6G72RS8DM | P6G72RS8DM | statement | record (an 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.11082#TITX |
| P6GB1P7V8G | P6GB1P7V8G | statement | record (an 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.08382#KY7R |
| P6GDF8W7A5 | P6GDF8W7A5 | proof | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#proof-2 |
| P6H2D2ZWJC | P6H2D2ZWJC | statement | record (an 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.14068#0DII |
| P6H9Y886MX | P6H9Y886MX | statement | record (an 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.20207#HUAP |
| P6HD94K8V1 | P6HD94K8V1 | 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.16225#OVAN |
| P6HGH0F52G | P6HGH0F52G | statement | record (an 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.04264#B8FB |