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 601–700 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P6HQ6ZYEGW | P6HQ6ZYEGW | statement | record (an 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.25718#XHM2 |
| P6HR8QPQ31 | P6HR8QPQ31 | statement | record (an 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.22161#7XL3 |
| P6HRGXPF88 | P6HRGXPF88 | statement | record (an 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#MWZ8 |
| P6HSQDBT3Z | P6HSQDBT3Z | proof | open | applied_combinatorics source/s_kitchensink_zero-one-matrices.ptx#proof-1 |
| P6HTJJ4VWX | P6HTJJ4VWX | statement | record (an 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.12371#L81K |
| P6JT98Q0J0 | P6JT98Q0J0 | statement | record (an 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.30165#P1E0 |
| P6JXWAQTNM | P6JXWAQTNM | statement | record (an 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.07679#383F |
| P6K7TCW03Z | P6K7TCW03Z | statement | record (an 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.11143#SDT9 |
| P6KVVP0P40 | P6KVVP0P40 | statement | record (an 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.24465#UPAA |
| P6M612C91Q | P6M612C91Q | 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.07957#TH3G |
| P6M69CEJN7 | P6M69CEJN7 | exercise | open | napkin tex/measure/caratheodory.tex#problem-2 |
| P6MGFW6145 | P6MGFW6145 | proof | open | napkin tex/H113/ring-flavors.tex#proof-2 |
| P6MYFVTDPY | P6MYFVTDPY | statement | open | applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#theorem-1 |
| P6NKGKZ9VW | P6NKGKZ9VW | statement | record (an 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.01855#ADCN |
| P6NNMQWV1Q | P6NNMQWV1Q | statement | record (an 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.01802#E7D3 |
| P6NQZ3E3G9 | P6NQZ3E3G9 | statement | record (an 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.11823#DM3H |
| P6NTPHTNJV | P6NTPHTNJV | 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.38138#52BA |
| P6NWTJMK9H | P6NWTJMK9H | statement | record (an 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.17135#JFN4 |
| P6NYY8768V | P6NYY8768V | statement | record (an 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.26675#CSMO |
| P6NYZ36AQX | P6NYZ36AQX | statement | record (an 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#ZESF |
| P6P3S2DAAG | P6P3S2DAAG | statement | record (an 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.00596#Q3GJ |
| P6PNM4531F | P6PNM4531F | statement | record (an 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#JPDP |
| P6PXFWZ27T | P6PXFWZ27T | statement | record (an 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.02295#YC8N |
| P6Q7AW1RGC | P6Q7AW1RGC | 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.19954#CEZ2 |
| P6RG0GMG7N | P6RG0GMG7N | 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.06458#NA2D |
| P6RXDS4XK0 | P6RXDS4XK0 | 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.20801#GQKT |
| P6SCBG7BM6 | P6SCBG7BM6 | 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.26600#CPVT |
| P6SYNEFPVR | P6SYNEFPVR | statement | record (an 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.33590#0WG1 |
| P6T8P9MKHV | P6T8P9MKHV | 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.21935#E4UM |
| P6TRJ752PV | P6TRJ752PV | statement | record (an 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.34011#PECW |
| P6V25G8RP5 | P6V25G8RP5 | statement | record (an 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.10559#1WWJ |
| P6V5SJT7EM | P6V5SJT7EM | statement | record (an 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.05423#W9AY |
| P6VE0VMS27 | P6VE0VMS27 | exercise | open | napkin tex/calculus/differentiate.tex#problem-5 |
| P6VG2750FK | P6VG2750FK | statement | record (an 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.40274#FZPB |
| P6W4WV7EKS | P6W4WV7EKS | statement | record (an 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.24739#F33Z |
| P6WC5PABJ4 | P6WC5PABJ4 | 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.07280#5PBN |
| P6WD4SRY95 | P6WD4SRY95 | example | open | open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-3 |
| P6WK5EX7TJ | P6WK5EX7TJ | statement | record (an 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.02158#NAGJ |
| P6X2KJR7HW | P6X2KJR7HW | statement | record (an 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.07909#BJ9K |
| P6X3R0FA3G | P6X3R0FA3G | 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.05391#NVE8 |
| P6X7AY2TA7 | P6X7AY2TA7 | statement | open | ernst_ibl MAAPressVersion/Topology.tex#thm:union of open sets |
| P6XTH4VAN5 | P6XTH4VAN5 | statement | record (an 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.04305#GGCZ |
| P6Y2GY1AY6 | P6Y2GY1AY6 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-33 |
| P6Y5MZV523 | P6Y5MZV523 | statement | record (an 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.04305#VPJ0 |
| P6YSD56721 | P6YSD56721 | 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.07695#LBFK |
| P6Z9R3MCMK | P6Z9R3MCMK | statement | record (an 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#XJ3K |
| P6ZN8F5XDS | P6ZN8F5XDS | statement | record (an 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.37747#NS8H |
| P707YC9E3P | P707YC9E3P | unknown | open | |
| P70JG7F844 | P70JG7F844 | statement | record (an 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#GWHO |
| P70Y9P8R6J | P70Y9P8R6J | statement | record (an 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.03629#RKT2 |
| P71DVZJGM9 | P71DVZJGM9 | statement | record (an 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.40123#LRO3 |
| P71T1HY9PA | P71T1HY9PA | statement | record (an 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.21963#O743 |
| P726DA66RV | P726DA66RV | statement | record (an 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.06152#F03O |
| P727HB21CP | P727HB21CP | statement | record (an 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.03423#LM6Y |
| P72VQKM8GS | P72VQKM8GS | statement | record (an 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.04772#QI1K |
| P731ZR6XVE | P731ZR6XVE | 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#A50I |
| P73DY9RPRV | P73DY9RPRV | statement | record (an 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.18205#QVBB |
| P73HCTKYRD | P73HCTKYRD | statement | record (an 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#9QLG |
| P7519TSC5C | P7519TSC5C | statement | record (an 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.33926#5YZT |
| P756RTPK9Z | P756RTPK9Z | statement | record (an 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.21080#C20P |
| P756T45CM4 | P756T45CM4 | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-4 |
| P75FRJG9MX | P75FRJG9MX | statement | record (an 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.20153#P033 |
| P75R6H61W7 | P75R6H61W7 | 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.08935#4QR2 |
| P75T1B5XKD | P75T1B5XKD | 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.31883#8H9Y |
| P76JJ3AA6W | P76JJ3AA6W | statement | record (an 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#EKU9 |
| P76N1GDEHE | P76N1GDEHE | statement | record (an 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.28195#TTEU |
| 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 |
| 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 |