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 801–900 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P76V2TE6H2 | P76V2TE6H2 | definition | open | lebl_scv scv.tex#defn-25 |
| P7776S3W80 | P7776S3W80 | statement | record (an 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.04730#Z49B |
| P77W566Y7T | P77W566Y7T | definition | open | napkin tex/homology/cellular.tex#definition-1 |
| P77Z5E3DBY | P77Z5E3DBY | statement | record (an 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.09483#HYKD |
| P78CTPQM7M | P78CTPQM7M | statement | record (an 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.30663#QNSQ |
| P78EWPX012 | P78EWPX012 | statement | record (an 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.21945#LFVK |
| P78K9X59MY | P78K9X59MY | statement | record (an 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.17349#GUG7 |
| P78KHJ9KJA | P78KHJ9KJA | statement | record (an 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.30354#CX5B |
| P78N1HG70C | P78N1HG70C | 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.35691#YGHD |
| P78P1MQJK8 | P78P1MQJK8 | exercise | open | napkin tex/topology/fundamental-group.tex#exercise-1 |
| P78SNGEJ98 | P78SNGEJ98 | statement | record (an 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.35558#R2NN |
| P7950PX8JQ | P7950PX8JQ | 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 2601.22681#79QJ |
| P795R1436C | P795R1436C | statement | record (an 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.08018#TGMT |
| P79803W5N6 | P79803W5N6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q138958234, nLab Christian Saemann |
| P798T4JQRC | P798T4JQRC | statement | record (an 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.14022#OG73 |
| P79FQGTPY4 | P79FQGTPY4 | statement | record (an 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#0V05 |
| P79JXJQC3T | P79JXJQC3T | statement | record (an 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.14450#H9L2 |
| P79M82DFXG | P79M82DFXG | proof | open | hott_book hits.tex#proof-23 |
| P79W26VJZC | P79W26VJZC | statement | record (an 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.12669#40XN |
| P7A6V0D0SE | P7A6V0D0SE | statement | record (an 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.06755#YT0Y |
| P7AF8FWBWD | P7AF8FWBWD | statement | record (an 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.22288#QQL6 |
| P7ATFEV4HM | P7ATFEV4HM | statement | record (an 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#YONM |
| P7BBKBTEA2 | P7BBKBTEA2 | statement | record (an 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.08610#I2CG |
| P7BD7GT0CY | P7BD7GT0CY | 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.23605#MBTM |
| P7C39745GA | P7C39745GA | statement | record (an 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#BISA |
| P7C5W9EDWB | P7C5W9EDWB | statement | record (an 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.01915#6EF8 |
| P7CK7GTCE6 | P7CK7GTCE6 | statement | record (an 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#9Z24 |
| P7CTCJ8S31 | P7CTCJ8S31 | statement | record (an 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.09900#VIL9 |
| P7CV88KZEZ | P7CV88KZEZ | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-10 |
| P7CX948ZEP | P7CX948ZEP | statement | record (an 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.19311#HGKJ |
| P7D6SHWTNA | P7D6SHWTNA | statement | record (an 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/9902147#PMJJ |
| P7D9ABKY8N | P7D9ABKY8N | statement | record (an 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.10902#P0GJ |
| P7DEEQ7TQT | P7DEEQ7TQT | exercise | open | open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prob-2 |
| P7DJDXMV6S | P7DJDXMV6S | statement | record (an 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.26382#5Q06 |
| P7DXPPQ5SB | P7DXPPQ5SB | statement | record (an 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.16208#LXZQ |
| P7E2ACP9A4 | P7E2ACP9A4 | statement | record (an 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.24675#PPCU |
| P7ETH2JBW8 | P7ETH2JBW8 | statement | record (an 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.09422#6N40 |
| P7FKPKEF0G | P7FKPKEF0G | statement | record (an 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.16022#RVYX |
| P7FRG3C965 | P7FRG3C965 | statement | record (an 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.19468#NCI1 |
| P7G49MQ058 | P7G49MQ058 | statement | record (an 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.15559#BXBK |
| P7G8QW4MA8 | P7G8QW4MA8 | statement | record (an 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.36827#DVHS |
| P7GD6WAY12 | P7GD6WAY12 | problem | open | Wikipedia Isomorphism problem of Coxeter groups#9ZHN |
| P7H0FQ8WG7 | P7H0FQ8WG7 | 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.20050#X1AU |
| P7H2JYGBS5 | P7H2JYGBS5 | statement | record (an 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#YNHC |
| P7H3N6FQPK | P7H3N6FQPK | statement | record (an 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.20097#SCE3 |
| P7J4VN17BR | P7J4VN17BR | statement | record (an 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.34516#MCAB |
| P7JAXFQNDN | P7JAXFQNDN | definition | open | napkin tex/H113/ring-flavors.tex#definition-5 |
| P7JTTA4Z23 | P7JTTA4Z23 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.0174#MT3P |
| P7JXYM2AEF | P7JXYM2AEF | 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.14044#JTQI |
| P7K78HAMVY | P7K78HAMVY | statement | record (an 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.24599#ENHU |
| P7KMXEVYFN | P7KMXEVYFN | statement | record (an 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#CVTQ |
| P7KPPXK43M | P7KPPXK43M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#CZME |
| P7KZPEJMYN | P7KZPEJMYN | statement | record (an 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#0FFX |
| P7M2DFY92E | P7M2DFY92E | 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.37520#SG8I |
| P7MFAN3F5C | P7MFAN3F5C | statement | open | napkin tex/rep-theory/semisimple.tex#cor:finiteness |
| P7MX0TJZG7 | P7MX0TJZG7 | 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.03555#FE87 |
| P7MZQ1Q7ZZ | P7MZQ1Q7ZZ | statement | record (an 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.21725#CIC0 |
| P7N8P29SKR | P7N8P29SKR | statement | record (an 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.29227#CR3Y |
| P7N8R6EH5B | P7N8R6EH5B | statement | record (an 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.35543#MSIM |
| P7NHN5XFQ7 | P7NHN5XFQ7 | statement | record (an 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.19088#7WMO |
| P7NVJ2DBYX | P7NVJ2DBYX | statement | record (an 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.11906#NPIP |
| P7NWAFTQ78 | P7NWAFTQ78 | statement | record (an 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.31476#AKWG |
| P7NZWBTSDP | P7NZWBTSDP | statement | record (an 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.20558#SJ9V |
| P7Q2BXTTDZ | P7Q2BXTTDZ | statement | record (an 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.24206#PTKH |
| P7QKXJ024K | P7QKXJ024K | statement | record (an 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.15316#F704 |
| P7QQW5BK2V | P7QQW5BK2V | statement | record (an 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.02407#NDB5 |
| P7R1KTW979 | P7R1KTW979 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07401#ISNE |
| P7R3N6VVQ6 | P7R3N6VVQ6 | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-7 |
| P7S4YP4N5V | P7S4YP4N5V | statement | record (an 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.15831#DSP3 |
| P7SEVX5GV6 | P7SEVX5GV6 | 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 0805.4273#E404 |
| P7SJYC63M6 | P7SJYC63M6 | statement | open | napkin tex/rep-theory/semisimple.tex#thm:compred_schur |
| P7SMV7NNRP | P7SMV7NNRP | statement | record (an 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.22240#9VOG |
| P7SRM2XG8V | P7SRM2XG8V | statement | record (an 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.07537#29RG |
| P7SVS0XV0N | P7SVS0XV0N | statement | record (an 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.26713#P53F |
| P7SYJKFMM8 | P7SYJKFMM8 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-101 |
| P7T3GDNKDE | P7T3GDNKDE | 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.03874#QHRS |
| P7TGSAMS7T | P7TGSAMS7T | statement | record (an 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.02681#9QVI |
| P7TK6WQ152 | P7TK6WQ152 | statement | record (an 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.28961#3TWM |
| P7TKNA4FT3 | P7TKNA4FT3 | statement | record (an 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.07001#8YIQ |
| P7V02BANPG | P7V02BANPG | statement | record (an 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.21759#DLQ1 |
| P7VC3NK031 | P7VC3NK031 | statement | record (an 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.10581#PMB2 |
| P7W2MQHR0P | P7W2MQHR0P | statement | open | napkin tex/topology/metric-top.tex#proposition-3 |
| P7W8YJY82K | P7W8YJY82K | statement | record (an 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.07092#HYTQ |
| P7WFJ5MR4H | P7WFJ5MR4H | statement | record (an 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.02901#IS6M |
| P7XZVW1EK8 | P7XZVW1EK8 | statement | record (an 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#5RWK |
| P7YEC62XBC | P7YEC62XBC | statement | record (an 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.06746#DCCY |
| P7YGH5Q3H2 | P7YGH5Q3H2 | statement | record (an 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.35398#D4EG |
| P7ZDC28A52 | P7ZDC28A52 | statement | record (an 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.29925#0UJ7 |
| P8040DXV04 | P8040DXV04 | 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.23202#0ZAU |
| P806WNK68T | P806WNK68T | statement | record (an 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#SB0L |
| P809E7J3FS | P809E7J3FS | statement | record (an 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.33856#51R3 |
| P80FWPC8WM | P80FWPC8WM | statement | record (an 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.12238#W8T4 |
| P80NMBMHRQ | P80NMBMHRQ | exercise | open | lebl_scv scv.tex#exercise-160 |
| P80TTC369J | P80TTC369J | statement | record (an 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.40156#ZX6M |
| P80V33VB4X | P80V33VB4X | statement | record (an 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.14837#OALC |
| P811F5DRTY | P811F5DRTY | statement | record (an 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.03222#A1YU |
| P811VD9F11 | P811VD9F11 | statement | record (an 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.38131#J2MF |
| P81503KSJW | P81503KSJW | statement | record (an 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#9A3E |
| P816SVNWGD | P816SVNWGD | statement | record (an 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.10813#DIEH |
| P81K8FXYF0 | P81K8FXYF0 | statement | record (an 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.20391#1Q0B |